Switch to: References

Citations of:

[Omnibus Review]

Journal of Symbolic Logic 32 (1):128-129 (1967)

Add citations

You must login to add citations.

Satisfaction relations for proper classes: Applications in logic and set theory.Robert A. Van Wesep - 2013 - Journal of Symbolic Logic 78 (2):345-368.details We develop the theory of partial satisfaction relations for structures that may be proper classes and define a satisfaction predicate ($\models^*$) appropriate to such structures. We indicate the utility of this theory as a framework for the development of the metatheory of first-order predicate logic and set theory, and we use it to prove that for any recursively enumerable extension $\Theta$ of ZF there is a finitely axiomatizable extension $\Theta'$ of GB that is a conservative extension of $\Theta$. We also (...) Download Export citation Bookmark 1 citation
Leon Chwistek, The Principles of the Pure Type Theory , translated by Adam Trybus with an Introductory Note by Bernard Linsky.Adam Trybus - 2012 - History and Philosophy of Logic 33 (4):329-352.details ‘The Principles of the Pure Type Theory’ is a translation of Leon Chwistek's 1922 paper ‘Zasady czystej teorii typów’. It summarizes Chwistek's results from a series of studies of the logic of Whitehead and Russell's Principia Mathematica which were published between 1912 and 1924. Chwistek's main argument involves a criticism of the axiom of reducibility. Moreover, ‘The Principles of the Pure Type Theory’ is a source for Chwistek's views on an issue in Whitehead and Russell's ‘no-class theory of classes’ involving (...) the notion of ‘scope’. (shrink) Download Export citation Bookmark 3 citations
Forcing Axioms, Finite Conditions and Some More.Mirna Džamonja - 2013 - In Kamal Lodaya (ed.), Logic and Its Applications. Springer. pp. 17--26.details Download Export citation Bookmark 1 citation

1