Some problem in elementary arithmetics
D. Jensen, A. Ehrenfeucht (1976)
Fundamenta Mathematicae
Similarity:
D. Jensen, A. Ehrenfeucht (1976)
Fundamenta Mathematicae
Similarity:
L. Kirby, K. McAllon, R. Murawski (1981)
Fundamenta Mathematicae
Similarity:
Henryk Kotlarski (1983)
Fundamenta Mathematicae
Similarity:
Roman Kossak (1984)
Fundamenta Mathematicae
Similarity:
Roman Kossak, Henryk Kotlarski (1988)
Fundamenta Mathematicae
Similarity:
Žarko Mijajlović (1983)
Publications de l'Institut Mathématique
Similarity:
Peter Clote (1987)
Fundamenta Mathematicae
Similarity:
Andrzej Mostowski (1972)
Fundamenta Mathematicae
Similarity:
Andrzej Mostowski (1953)
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.
Wojciech Guzicki (1981)
Fundamenta Mathematicae
Similarity: