Conservative extensions of models of arithmetic.
Andreas Blass (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
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: