- On ramsey’s theorem and the existence of infinite chains or infinite anti-chains in infinite posets.Eleftherios Tachtsis - 2016 - Journal of Symbolic Logic 81 (1):384-394.details
|
|
Penrose's Gödelian Argument A Review of Shadows of the Mind by Roger Penrose. [REVIEW]S. Feferman - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2:21-32.details
|
|
Mathematical definability.Theodore A. Slaman - 1998 - In Harold Garth Dales & Gianluigi Oliveri (eds.), Truth in mathematics. New York: Oxford University Press, Usa. pp. 233.details
|
|
Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).details
|
|
O tzw. programie Gödla.Krzysztof Wójtowicz - 2001 - Zagadnienia Filozoficzne W Nauce 29.details
|
|
Lattice initial segments of the hyperdegrees.Richard A. Shore & Bjørn Kjos-Hanssen - 2010 - Journal of Symbolic Logic 75 (1):103-130.details
|
|
Counting systems and the First Hilbert problem.Yaroslav Sergeyev - 2010 - Nonlinear Analysis Series A 72 (3-4):1701-1708.details
|
|
A new applied approach for executing computations with infinite and infinitesimal quantities.Yaroslav D. Sergeyev - 2008 - Informatica 19 (4):567-596.details
|
|
Leibnizian models of set theory.Ali Enayat - 2004 - Journal of Symbolic Logic 69 (3):775-789.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
Identity, indiscernibility, and philosophical claims.Décio Krause & Antonio Mariano Nogueira Coelho - 2005 - Axiomathes 15 (2):191-210.details
|
|
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods.David Pincus - 1972 - Journal of Symbolic Logic 37 (4):721-743.details
|
|
Admissible ordinals and intrinsic consistency.Michael Machtey - 1970 - Journal of Symbolic Logic 35 (3):389-400.details
|
|
Omitting types in set theory and arithmetic.Julia F. Knight - 1976 - Journal of Symbolic Logic 41 (1):25-32.details
|
|
Generic expansions of structures.Julia F. Knight - 1973 - Journal of Symbolic Logic 38 (4):561-570.details
|
|
Trees.Thomas J. Jech - 1971 - Journal of Symbolic Logic 36 (1):1-14.details
|
|
Jumping through the transfinite: The master code hierarchy of Turing degrees.Harold T. Hodes - 1980 - Journal of Symbolic Logic 45 (2):204-220.details
|
|
Relations between some cardinals in the absence of the axiom of choice.Lorenz Halbeisen & Saharon Shelah - 2001 - Bulletin of Symbolic Logic 7 (2):237-261.details
|
|
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.details
|
|
Axioms of symmetry: Throwing darts at the real number line.Chris Freiling - 1986 - Journal of Symbolic Logic 51 (1):190-200.details
|
|
Models of set theory with more real numbers than ordinals.Paul E. Cohen - 1974 - Journal of Symbolic Logic 39 (3):579-583.details
|
|
ω-circularity of Yablo's paradox.Ahmet Çevik - forthcoming - Logic and Logical Philosophy:1.details
|
|
A Kuroda-style j-translation.Benno van den Berg - 2019 - Archive for Mathematical Logic 58 (5):627-634.details
|
|
The inscrutability of reference.Robert Williams - 2005 - Dissertation, University of St Andrewsdetails
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.details
|
|
Orthomodular-valued models for quantum set theory.Masanao Ozawa - 2017 - Review of Symbolic Logic 10 (4):782-807.details
|
|
Sets and supersets.Toby Meadows - 2016 - Synthese 193 (6):1875-1907.details
|
|
The set-theoretic multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.details
|
|
Mathematical Infinity, Its Inventors, Discoverers, Detractors, Defenders, Masters, Victims, Users, and Spectators.Edward G. Belaga - manuscriptdetails
|
|
Primitive recursive ordinal functions with added constants.Stanley H. Stahl - 1977 - Journal of Symbolic Logic 42 (1):77-82.details
|
|
Outer models and genericity.M. C. Stanley - 2003 - Journal of Symbolic Logic 68 (2):389-418.details
|
|
Partially ordered interpretations.Nobuyoshi Motohashi - 1977 - Journal of Symbolic Logic 42 (1):83-93.details
|
|
(1 other version)The independence of Ramsey's theorem.E. M. Kleinberg - 1969 - Journal of Symbolic Logic 34 (2):205-206.details
|
|
An embedding of classical logic in S4.Melvin Fitting - 1970 - Journal of Symbolic Logic 35 (4):529-534.details
|
|
A choice free theory of dedekind cardinals.Erik Ellentuck - 1969 - Journal of Symbolic Logic 34 (1):70-84.details
|
|
An algebraic difference between isols and cosimple isols.Erik Ellentuck - 1972 - Journal of Symbolic Logic 37 (3):557-561.details
|
|
Imbedding of the quantum logic in the modal system of Brower.Herman Dishkant - 1977 - Journal of Symbolic Logic 42 (3):321-328.details
|
|
On the inadequacy of inner models.Andreas Blass - 1972 - Journal of Symbolic Logic 37 (3):569-571.details
|
|
Generalized Löb’s Theorem.Strong Reflection Principles and Large Cardinal Axioms. Consistency Results in Topology.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal (Vol. 4, No. 1-1):1-5.details
|
|
Gödel on Deduction.Kosta Došen & Miloš Adžić - 2019 - Studia Logica 107 (1):31-51.details
|
|
Towards a unified framework for developing ethical and practical Turing tests.Balaji Srinivasan & Kushal Shah - 2019 - AI and Society 34 (1):145-152.details
|
|
A Relativization of Axioms of Strong Infinity to ^|^omega;1.Gaisi Takeuti - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):191-204.details
|
|
(1 other version)The roots of contemporary Platonism.Penelope Maddy - 1989 - Journal of Symbolic Logic 54 (4):1121-1144.details
|
|
An axiomatic theory of well-orderings.Oliver Deiser - 2011 - Review of Symbolic Logic 4 (2):186-204.details
|
|
An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory.Olivier Esser - 1997 - Mathematical Logic Quarterly 43 (3):369-377.details
|
|
The Development of Categorical Logic.John L. Bell - unknowndetails
|
|
Believing the axioms. I.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):481-511.details
|
|
Hanf numbers for omitting types over particular theories.Julia F. Knight - 1976 - Journal of Symbolic Logic 41 (3):583-588.details
|
|
The generalized continuum hypothesis is equivalent to the generalized maximization principle.Joel I. Friedman - 1971 - Journal of Symbolic Logic 36 (1):39-54.details
|
|