Model-completeness in a first order language with a generalized quantifier

Shlomo Vinner

doi:10.2140/pjm.1975.56.265

Model-completeness in a first order language with a generalized quantifier

Shlomo Vinner^*

^*Corresponding author for this work

Department of Science Teaching

Research output: Contribution to journal › Article › peer-review

8 Scopus citations

Abstract

The concept of Model-Completeness is defined in a first order language with a generalized quantifier. A necessary and sufficient condition is given for that Model-Completeness and its relation to categoricity is discussed.

Original language	English
Pages (from-to)	265-273
Number of pages	9
Journal	Pacific Journal of Mathematics
Volume	56
Issue number	1
DOIs	https://doi.org/10.2140/pjm.1975.56.265
State	Published - Jan 1975

Access to Document

10.2140/pjm.1975.56.265

Cite this

@article{de9b20ada5794b8fbe206e7394c63327,

title = "Model-completeness in a first order language with a generalized quantifier",

abstract = "The concept of Model-Completeness is defined in a first order language with a generalized quantifier. A necessary and sufficient condition is given for that Model-Completeness and its relation to categoricity is discussed.",

author = "Shlomo Vinner",

year = "1975",

month = jan,

doi = "10.2140/pjm.1975.56.265",

language = "אנגלית",

volume = "56",

pages = "265--273",

journal = "Pacific Journal of Mathematics",

issn = "0030-8730",

publisher = "Mathematical Sciences Publishers",

number = "1",

}

TY - JOUR

T1 - Model-completeness in a first order language with a generalized quantifier

AU - Vinner, Shlomo

PY - 1975/1

Y1 - 1975/1

N2 - The concept of Model-Completeness is defined in a first order language with a generalized quantifier. A necessary and sufficient condition is given for that Model-Completeness and its relation to categoricity is discussed.

AB - The concept of Model-Completeness is defined in a first order language with a generalized quantifier. A necessary and sufficient condition is given for that Model-Completeness and its relation to categoricity is discussed.

UR - https://www.scopus.com/pages/publications/84972571651

U2 - 10.2140/pjm.1975.56.265

DO - 10.2140/pjm.1975.56.265

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84972571651

SN - 0030-8730

VL - 56

SP - 265

EP - 273

JO - Pacific Journal of Mathematics

JF - Pacific Journal of Mathematics

IS - 1

ER -

Model-completeness in a first order language with a generalized quantifier

Abstract

Access to Document

Other files and links

Fingerprint

Cite this