- Expanding the notion of inconsistency in mathematics: the theoretical foundations of mutual inconsistency.Carolin Antos - forthcoming - From Contradiction to Defectiveness to Pluralism in Science: Philosophical and Formal Analyses.details
|
|
Topological Aspects of Combinatorial Possibility.Thomas Mormann - 1997 - Logic and Logical Philosophy 5:75 - 92.details
|
|
Book Reviews. [REVIEW][author unknown] - 2005 - History and Philosophy of Logic 26 (2):145-172.details
|
|
The Mathematics of Skolem's Paradox.Timothy Bays - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 615--648.details
|
|
Applications of ultraproducts: from compactness to fuzzy elementary classes.P. Dellunde - 2014 - Logic Journal of the IGPL 22 (1):166-180.details
|
|
A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation.Arief Daynes - 2000 - Archive for Mathematical Logic 39 (8):581-598.details
|
|
A covering lemma for L(ℝ).Daniel W. Cunningham - 2002 - Archive for Mathematical Logic 41 (1):49-54.details
|
|
Unions and the axiom of choice.Omar De la Cruz, Eric J. Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2008 - Mathematical Logic Quarterly 54 (6):652-665.details
|
|
Fundamentality from grounding trees.Fabrice Correia - 2021 - Synthese 199 (3-4):5965-5994.details
|
|
Da Costa on ontology: a naturalistic interpretation.Antonio Mariano Nogueira Coelho - 2011 - Manuscrito 34 (1):143-150.details
|
|
The failure of GCH at a degree of supercompactness.Brent Cody - 2012 - Mathematical Logic Quarterly 58 (1):83-94.details
|
|
On supercompactness and the continuum function.Brent Cody & Menachem Magidor - 2014 - Annals of Pure and Applied Logic 165 (2):620-630.details
|
|
Easton’s theorem in the presence of Woodin cardinals.Brent Cody - 2013 - Archive for Mathematical Logic 52 (5-6):569-591.details
|
|
Effectivizing Inseparability.John Case - 1991 - Mathematical Logic Quarterly 37 (7):97-111.details
|
|
The distribution of ITRM-recognizable reals.Merlin Carl - 2014 - Annals of Pure and Applied Logic 165 (9):1403-1417.details
|
|
Large cardinals and definable well-orders on the universe.Andrew D. Brooke-Taylor - 2009 - Journal of Symbolic Logic 74 (2):641-654.details
|
|
Indestructibility of Vopěnka’s Principle.Andrew D. Brooke-Taylor - 2011 - Archive for Mathematical Logic 50 (5-6):515-529.details
|
|
Forcing indestructibility of MAD families.Jörg Brendle & Shunsuke Yatabe - 2005 - Annals of Pure and Applied Logic 132 (2):271-312.details
|
|
Forking in short and tame abstract elementary classes.Will Boney & Rami Grossberg - 2017 - Annals of Pure and Applied Logic 168 (8):1517-1551.details
|
|
Continuous higher randomness.Laurent Bienvenu, Noam Greenberg & Benoit Monin - 2017 - Journal of Mathematical Logic 17 (1):1750004.details
|
|
Elementary equivalences and accessible functors.T. Beke & J. Rosický - 2018 - Annals of Pure and Applied Logic 169 (7):674-703.details
|
|
Abstract elementary classes and accessible categories.Tibor Beke & Jirí Rosický - 2012 - Annals of Pure and Applied Logic 163 (12):2008-2017.details
|
|
A diamond example of an ordinal graph with no infinite paths.James E. Baumgartner & Jean A. Larson - 1990 - Annals of Pure and Applied Logic 47 (1):1-10.details
|
|
Richness and Reflection.Neil Barton - 2016 - Philosophia Mathematica 24 (3):330-359.details
|
|
Forcing and the Universe of Sets: Must We Lose Insight?Neil Barton - 2020 - Journal of Philosophical Logic 49 (4):575-612.details
|
|
C(n)-cardinals.Joan Bagaria - 2012 - Archive for Mathematical Logic 51 (3-4):213-240.details
|
|
Sheaf toposes for realizability.Steven Awodey & Andrej Bauer - 2008 - Archive for Mathematical Logic 47 (5):465-478.details
|
|
Forcing notions in inner models.David Asperó - 2009 - Archive for Mathematical Logic 48 (7):643-651.details
|
|
Antinomicity and the axiom of choice. A chapter in antinomic mathematics.Florencio G. Asenjo - 1996 - Logic and Logical Philosophy 4:53-95.details
|
|
Foundational implications of the inner model hypothesis.Tatiana Arrigoni & Sy-David Friedman - 2012 - Annals of Pure and Applied Logic 163 (10):1360-1366.details
|
|
Some remarks on a question of D. H. Fremlin regarding ε-density.Arthur W. Apter & Mirna Džamonja - 2001 - Archive for Mathematical Logic 40 (7):531-540.details
|
|
The consistency strength of choiceless failures of SCH.Arthur W. Apter & Peter Koepke - 2010 - Journal of Symbolic Logic 75 (3):1066-1080.details
|
|
On some questions concerning strong compactness.Arthur W. Apter - 2012 - Archive for Mathematical Logic 51 (7-8):819-829.details
|
|
Making all cardinals almost Ramsey.Arthur W. Apter & Peter Koepke - 2008 - Archive for Mathematical Logic 47 (7-8):769-783.details
|
|
Indestructible strong compactness but not supercompactness.Arthur W. Apter, Moti Gitik & Grigor Sargsyan - 2012 - Annals of Pure and Applied Logic 163 (9):1237-1242.details
|
|
Indestructibility, instances of strong compactness, and level by level inequivalence.Arthur W. Apter - 2010 - Archive for Mathematical Logic 49 (7-8):725-741.details
|
|
Indestructibility, measurability, and degrees of supercompactness.Arthur W. Apter - 2012 - Mathematical Logic Quarterly 58 (1):75-82.details
|
|
Indestructibility under adding Cohen subsets and level by level equivalence.Arthur W. Apter - 2009 - Mathematical Logic Quarterly 55 (3):271-279.details
|
|
Identity crises and strong compactness III: Woodin cardinals. [REVIEW]Arthur W. Apter & Grigor Sargsyan - 2006 - Archive for Mathematical Logic 45 (3):307-322.details
|
|
Failures of SCH and Level by Level Equivalence.Arthur W. Apter - 2006 - Archive for Mathematical Logic 45 (7):831-838.details
|
|
Consecutive Singular Cardinals and the Continuum Function.Arthur W. Apter & Brent Cody - 2013 - Notre Dame Journal of Formal Logic 54 (2):125-136.details
|
|
A remark on the tree property in a choiceless context.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (5-6):585-590.details
|
|
Nothing But Gold. Complexities in Terms of Non-difference and Identity: Part 1. Coreferential Puzzles.Alberto Anrò - 2021 - Journal of Indian Philosophy 49 (3):361-386.details
|
|
Nothing but Gold: Complexities in terms of Non-difference and Identity. Part 2. Contrasting Equivalence, Equality, Identity, and Non-difference.Alberto Anrò - 2021 - Journal of Indian Philosophy 49 (3):387-420.details
|
|
Why the Angels Cannot Choose.J. McKenzie Alexander - 2012 - Australasian Journal of Philosophy 90 (4):619 - 640.details
|
|
Underdetermination of infinitesimal probabilities.Alexander R. Pruss - 2018 - Synthese 198 (1):777-799.details
|
|
Deontic logic as a study of conditions of rationality in norm-related activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. London, UK: College Publications. pp. 272-287.details
|
|
Believability Relations for Select-Direct Sentential Revision.Li Zhang - 2017 - Studia Logica 105 (1):37-63.details
|
|
Bounded Namba forcing axiom may fail.Jindrich Zapletal - 2018 - Mathematical Logic Quarterly 64 (3):170-172.details
|
|
A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees.Teruyuki Yorioka - 2010 - Annals of Pure and Applied Logic 161 (4):469-487.details
|
|