A formula with no recursively enumerable model
Andrzej Mostowski (1955)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
Andrzej Mostowski (1955)
Fundamenta Mathematicae
Similarity:
G. Kreisel (1950)
Fundamenta Mathematicae
Similarity:
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
J. Shoenfield (1961)
Fundamenta Mathematicae
Similarity:
Zofia Adamowicz, Leszek Aleksander Kołodziejczyk, Paweł Zbierski (2003)
Fundamenta Mathematicae
Similarity:
We define a recursive theory which axiomatizes a class of models of IΔ₀ + Ω ₃ + ¬ exp all of which share two features: firstly, the set of Δ₀ definable elements of the model is majorized by the set of elements definable by Δ₀ formulae of fixed complexity; secondly, Σ₁ truth about the model is recursively reducible to the set of true Σ₁ formulae of fixed complexity.
G. Kreisel, Hao Wang (1958)
Fundamenta Mathematicae
Similarity:
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
Marie Hájková, Petr Hájek (1972)
Fundamenta Mathematicae
Similarity:
G. Kreisel (1952)
Fundamenta Mathematicae
Similarity:
A. Troelstra (1975)
Fundamenta Mathematicae
Similarity:
Andrzej Mostowski (1952)
Fundamenta Mathematicae
Similarity: