The completeness of logic with the added quantifier "there are uncountable many"
R. Vaught (1964)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Non standard interpretations of higher order theories”
The completeness of logic with the added quantifier "there are uncountable many"
Non-extensional equality
A. Troelstra (1975)
Fundamenta Mathematicae
Similarity:
Note on arithmetic models for consistent formulae of the predicate calculus
G. Kreisel (1950)
Fundamenta Mathematicae
Similarity:
Models of second order arithmetic with definable Skolem functions
Andrzej Mostowski (1972)
Fundamenta Mathematicae
Similarity:
Axiomatizability of second order arithmetic with ω-rule
Paweł Zbierski (1978)
Fundamenta Mathematicae
Similarity:
On expansions of β-models
J. Bilý, L. Bukovský (1974)
Fundamenta Mathematicae
Similarity:
A note on the Mac Dowell-Specker theorem
Peter Clote (1987)
Fundamenta Mathematicae
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
Some problem in elementary arithmetics
D. Jensen, A. Ehrenfeucht (1976)
Fundamenta Mathematicae
Similarity:
On the extending of models (II)
J. Łoś, R. Suszko (1955)
Fundamenta Mathematicae
Similarity: