Existential interpretation. II.
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Some undecidable theories with monadic predicates and without equality.”
Existential interpretation. II.
On Families of Sets represented in Theories.
Hilary Putnam (1962/63)
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:
The unique existential quantifier.
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Constructive order types, III.
John N. Crossley, P.H.G. Aczel (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On the decidability of p', p'' and p''*.
N. Georgieva (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Undecidability vs transfinite induction for the consistency of hyperarithmetical sets.
S. Caporaso, G. Pani (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Remarks on descriptions and natural deduction. II.
R. Montague, D. Kalish (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Remarks on descriptions and natural deduction.
R. Montague, D. Kalish (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: