Synthetic compontents of infinite classes of postulates.
Pavel Tichy (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Prefix classes of Krom formulae with identity.”
Synthetic compontents of infinite classes of postulates.
Compact and ...-compact formulas in L..., ...
Bonnie Gold (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Existential interpretation. II.
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The unique existential quantifier.
H.B. Enderton (1970)
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:
On Families of Sets represented in Theories.
Hilary Putnam (1962/63)
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:
On the decidability of p', p'' and p''*.
N. Georgieva (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: