Documents Related by Co-Citation

26 The Consistency of the Continuum Hypothesis – K Gödel - 1940
31 The Incompleteness Theorems – R M Smullyan
11 em Set-theoretic functions for elementary syntax – R O Gandy - 1974
6 On Safety Domain independence and capturability of database queries – M Kiffer - 1988
4 Safety Signatures for First-order Languages and Their Applications – Arnon Avron - 2004
1061 Principles of Database and KnowledgeBase Systems. Volume I: Classical Database Systems – J D Ullman - 1988
274 Set Theory: An Introduction to Independence Proofs – Kenneth Kunen - 1980
111 The fine structure of the constructible hierarchy – R B Jensen - 1972
3 A Note on Naive Set Theory in LP – Greg Restall - 1992
8 The Mathematical Development Of Set Theory - From Cantor To Cohen – Akihiro Kanamori - 1996
6 Burali-Forti’s paradox: A reappraisal of its origins. Historia Mathematica 8(3):319–350 – G H Moore, A Garciadiego - 1981
7 Inconsistent Mathematics. The Stanford Encyclopedia of Philosophy (2008 – C Mortensen
2 Ultralogic as Universal? Relevance Logic Newsletter 2: 50–90 and 138–175 – R Routley - 1977
2 Alternative Axiomatic Set Theories. The Stanford Encyclopedia of Philosophy (2012 – M R Holmes
1 The Russell paradox in the systems NFn – A I Arruda - 1980
1 Russell’s set versus the universal set in paraconsistent set theory. Logique et Analyse 98 – A I Arruda, D Batens - 1982
1 Quasi-truth in quasi-set theory. Synthese – O Bueno - 2000
1 the foundations of science. Synthese 154(3): 383–399 – paraconsistency Quasi-truth - 2007
1 Grundlagen einer allegemeinen Mannigfaltigkeitslehre. Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen – G Cantor - 1996