Graduate studies at Western
Journal of Symbolic Logic 68 (3):828-836 (2003)
|Abstract||It is proved in this paper that the positive abstraction scheme is consistent with extensionality only if one drops equality out of the language. The theory obtained is then compared with GPK, a wellknown set theory based on an extended positive comprehension scheme|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Leen Spruit (2004). Agent Intellect and Phantasms. On the Preliminaries of Peripatetic Abstraction. Poznan Studies in the Philosophy of the Sciences and the Humanities 82 (1):125-146.
Daniel Dzierzgowski (1998). Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality. Studia Logica 61 (3):417-428.
Roland Hinnion (1994). Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic. Notre Dame Journal of Formal Logic 35 (1):15-40.
Ross T. Brady (1971). The Consistency of the Axioms of Abstraction and Extensionality in a Three-Valued Logic. Notre Dame Journal of Formal Logic 12 (4):447-453.
Uwe Petersen (2000). Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction. Studia Logica 64 (3):365-403.
Maria Dimova-Cookson (2003). A New Scheme of Positive and Negative Freedom: Reconstructing T. H. Green on Freedom. Political Theory 31 (4):508-532.
Shunsuke Yatabe & Hiroyuki Inaoka (2006). On Evans's Vague Object From Set Theoretic Viewpoint. Journal of Philosophical Logic 35 (4):423 - 434.
M. Randall Holmes (2004). Paradoxes in Double Extension Set Theories. Studia Logica 77 (1):41 - 57.
Pierluigi Minari (1999). Theories of Types and Names with Positive Stratified Comprehension. Studia Logica 62 (2):215-242.
Olivier Esser (2000). Inconsistency of the Axiom of Choice with the Positive Theory GPK+ ∞. Journal of Symbolic Logic 65 (4):1911 - 1916.
Added to index2009-01-28
Total downloads11 ( #107,498 of 739,404 )
Recent downloads (6 months)1 ( #61,680 of 739,404 )
How can I increase my downloads?