Existential interpretation. II.
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “On Families of Sets represented in Theories.”
Existential interpretation. II.
The unique existential quantifier.
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Saturation and omitting types.
D.W.H. Gillam (1977)
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:
Hierarchies of number-theoretic functions. I.
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hierarchies of number-theoretic functions. II.
M.H. Löb, S.S. Wainer (1970)
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:
Remarks on limitultrapowers.
Halldor Gudjónsson (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On necessary but not-sufficient conditions.
Hidehisa Sakai (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: