EUDML | $\omega $-satisfiability, $\omega $-consistency property, and the downward Lowenheim Skolem theorem for $L_{k,k}$

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “ $ω$ -satisfiability, $ω$ -consistency property, and the downward Lowenheim Skolem theorem for $L_{k, k}$ ”

$λ$ -satisfiability, $λ$ -consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for $L_{k, k}$ with $k$ a strong limit cardinal of cofinality $λ$

Ruggero Ferro (1988)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

Generalizing Vaught sentences from ω to strong cofinality ω

M. Makkai (1974)

Fundamenta Mathematicae

Similarity:

Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality

Ruggero Ferro (1976)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

n - Infinite Forcing via Infinite Forcing

Milan Grulović (2001)

Publications de l'Institut Mathématique

Similarity:

On defining well-orderings

E. Lopez-Escobar (1966)

Fundamenta Mathematicae

Similarity:

Comments on Ultraproducts of Forcing Systems

Milan Grulović (2001)

Publications de l'Institut Mathématique

Similarity:

An analysis of Karp’s interpolation theorem and the notion of $k$ -consistency property

Ruggero Ferro (1981)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

Skolem-type normal forms for first-order languages with a generalized quantifier

G. Fuhrken (1964)

Fundamenta Mathematicae

Similarity:

Kripke models for intuitionistic theories with decidable atomic formulas.

Marković, Zoran (1984)

Publications de l'Institut Mathématique. Nouvelle Série

Similarity:

Seq-consistency property and interpolation theorems

Ruggero Ferro (1983)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

On ω-models which are not β-models

Andrzej Mostowski, Y. Suzuki (1969)

Fundamenta Mathematicae

Similarity: