Conservative extensions of models of arithmetic.
Andreas Blass (1980)
Archiv für mathematische Logik und Grundlagenforschung
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 “A note on undecidable extensions of monadic second order successor arithmetic.”
Conservative extensions of models of arithmetic.
Interpretationen der Heyting-Arithmetik endlicher Typen.
Martin Stein (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On the elementary theory of inductive order.
E.A. Sonenberg (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Natural limitations of decisions procedures for arithmetic with bounded quantifiers.
Daniele Mundici (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Generalized ultrapowers.
Joram Hirschfeld (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The recursive sets in certain monadic second order fragments of arithmetic.
Dirk Siefkes (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
An extension of the Kreisel-Putman system.
N. Georgieva (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The arithmetic and turing degrees are not elementary equivalent.
Richard A. Shore (1984)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On cut elimination in the presence of peirce rule.
L. Gordeev (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Choice sequences and reduction processes.
R. Haberthür (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A version of the ...1-reflection principle for CFA provable in PRA.
Peter Päppinghaus (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Generalized quantifiers and well orderings.
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: