On the categoricity in power of elementary deductive systems and some related problems
J. Łoś (1954)
Colloquium Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Skolem-type normal forms for first-order languages with a generalized quantifier”
On the categoricity in power of elementary deductive systems and some related problems
Approximating the standard model of analysis
H. Enderton, Harvey Friedman (1971)
Fundamenta Mathematicae
Similarity:
Natural models of set theories
R. Montague, R. Vaught (1959)
Fundamenta Mathematicae
Similarity:
On defining well-orderings
E. Lopez-Escobar (1966)
Fundamenta Mathematicae
Similarity:
On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
Generalizing Vaught sentences from ω to strong cofinality ω
M. Makkai (1974)
Fundamenta Mathematicae
Similarity:
Second order forcing, algebraically closed structures, and large cardinals
G. Cherlin (1975)
Fundamenta Mathematicae
Similarity:
On the extending of models (I)
J. Łoś (1955)
Fundamenta Mathematicae
Similarity:
On the extending of models (IV)
J. Łoś, R. Suszko (1957)
Fundamenta Mathematicae
Similarity:
Internally standard set theories
George Wilmers (1971)
Fundamenta Mathematicae
Similarity:
Uncountable β-models with countable height
Wojciech Guzicki (1974)
Fundamenta Mathematicae
Similarity: