Omitting types of prenex formulas
- 1 June 1967
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 32 (1) , 61-74
- https://doi.org/10.2307/2271243
Abstract
In the literature, a type Γ is a set of formulas ϕ(ν0) in the one free variable ν0. A model M realizes Γ if there is an element a of M such thatM ╞ ϕ [a] for all ϕ ∈ Γ.A model M omits Γ if no element of M realizes Γ. Evidently, the two statements:(*) M realizes Γand(**) M omits ΓKeywords
This publication has 7 references indexed in Scilit:
- OMITTING CLASSES OF ELEMENTSPublished by Elsevier ,2014
- On Model-CompletenessTheoria, 2008
- Modelle der ArithmetikPublished by Springer Nature ,1990
- Categoricity in powerTransactions of the American Mathematical Society, 1965
- Introduction to Model Theory and to the Metamathematics of Algebra. By A. Robinson. Pp. 284. 60s. 1963. (North Holland Publishing Co.)The Mathematical Gazette, 1964
- Models of complete theoriesBulletin of the American Mathematical Society, 1963
- Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and Decidability.The Journal of Symbolic Logic, 1959