The role of the omitting types theorem in infinitary logic.
Jon Barwise (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Some remarks about the connections between combinatory logic and axiomatic recursion theory.”
The role of the omitting types theorem in infinitary logic.
A Simplified Nomalization of Predicate Logic with Identity.
Alfred Tarski (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Bolzano's propositional Logic.
Y. Bar-Hillel (1950/52)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Some generalizations to two systems of set theory based on combinatory logic.
M.W. Bunder (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Predicate calculus of arbitrarily high finite order.
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On the Logic of Variable Binders.
Rolf Schock (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A Remark on Equational Completeness.
H. Ribeiro, R. Schwabauer (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On orderings of the family of all logics.
M. Krynicki, J. Väänänen (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
1 - Consistency and Faithful Interpretations.
G. Kreisel, S. Feferman (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On Definitions.
Rolf Schock (1965)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A Note Concerning the Rules of Inference for Quantifiers.
Roman Suszko (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A note on k-axiomatisations of identity.
Joan Rand Moschovakis (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: