- 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
|
|
Combinatorics on ideals and axiom a.James D. Sharp - 1994 - Journal of Symbolic Logic 59 (3):997-1000.details
|
|
Thin equivalence relations and inner models.Philipp Schlicht - 2014 - Annals of Pure and Applied Logic 165 (10):1577-1625.details
|
|
On potential embedding and versions of Martin's axiom.Sakaé Fuchino - 1992 - Notre Dame Journal of Formal Logic 33 (4):481-492.details
|
|
Non-constructive Properties of the Real Numbers.J. E. Rubin, K. Keremedis & Paul Howard - 2001 - Mathematical Logic Quarterly 47 (3):423-431.details
|
|
God meets Satan’s Apple: the paradox of creation.Rubio Daniel - 2018 - Philosophical Studies 175 (12):2987-3004.details
|
|
More forcing notions imply diamond.Andrzej Rosłanowski & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):299-313.details
|
|
Tópicos de Ultrafiltros.Franklin Galindo - 2020 - Divulgaciones Matematicas 21 (1-2):54-77.details
|
|
Constructibilidad relativizada y el Axioma de elección.Franklin Galindo & Carlos Di Prisco - 2010 - Mixba'al. Revista Metropolitana de Matemáticas 1 (1):23-40.details
|
|
Rosenthal families, filters, and semifilters.Miroslav Repický - 2021 - Archive for Mathematical Logic 61 (1):131-153.details
|
|
Ortega y Gasset on Georg Cantor’s Theory of Transfinite Numbers.Lior Rabi - 2016 - Kairos (15):46-70.details
|
|
Underdetermination of infinitesimal probabilities.Alexander R. Pruss - 2018 - Synthese 198 (1):777-799.details
|
|
Mereological sets of distributive classes.Andrzej Pietruszczak - 1996 - Logic and Logical Philosophy 4:105-122.details
|
|
Propositional Quantification in the Topological Semantics for S.Philip Kremer - 1997 - Notre Dame Journal of Formal Logic 38 (2):295-313.details
|
|
Countable Additivity, Idealization, and Conceptual Realism.Yang Liu - 2020 - Economics and Philosophy 36 (1):127-147.details
|
|
(1 other version)Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.details
|
|
On the axiom of union.Greg Oman - 2010 - Archive for Mathematical Logic 49 (3):283-289.details
|
|
Ipotesi del Continuo.Claudio Ternullo - 2017 - Aphex 16.details
|
|
Some consequences of Rado’s selection lemma.Marianne Morillon - 2012 - Archive for Mathematical Logic 51 (7-8):739-749.details
|
|
James sequences and Dependent Choices.Marianne Morillon - 2005 - Mathematical Logic Quarterly 51 (2):171-186.details
|
|
The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis.Justin Tatch Moore - 2006 - Annals of Pure and Applied Logic 140 (1):128-132.details
|
|
Set mapping reflection.Justin Tatch Moore - 2005 - Journal of Mathematical Logic 5 (1):87-97.details
|
|
The club principle and the distributivity number.Heike Mildenberger - 2011 - Journal of Symbolic Logic 76 (1):34 - 46.details
|
|
Specialising Aronszajn trees by countable approximations.Heike Mildenberger & Saharon Shelah - 2003 - Archive for Mathematical Logic 42 (7):627-647.details
|
|
Changing cardinal characteristics without changing ω-sequences or cofinalities.Heike Mildenberger & Saharon Shelah - 2000 - Annals of Pure and Applied Logic 106 (1-3):207-261.details
|
|
Template iterations with non-definable ccc forcing notions.Diego A. Mejía - 2015 - Annals of Pure and Applied Logic 166 (11):1071-1109.details
|
|
Matrix iterations and Cichon’s diagram.Diego Alejandro Mejía - 2013 - Archive for Mathematical Logic 52 (3-4):261-278.details
|
|
Tarski.Benedict Eastaugh - 2017 - In Alex Malpass & Marianna Antonutti Marfori (eds.), The History of Philosophical and Formal Logic: From Aristotle to Tarski. New York: Bloomsbury Publishing. pp. 293-313.details
|
|
Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.details
|
|
On meaningfulness and truth.BrianEdison McDonald - 2000 - Journal of Philosophical Logic 29 (5):433-482.details
|
|
Prime ideals on P ω (λ) with the partition property.Pierre Matet, Cédric Péan & Stevo Todorcevic - 2002 - Archive for Mathematical Logic 41 (8):743-764.details
|
|
Modal Logics That Need Very Large Frames.Marcus Kracht - 1999 - Notre Dame Journal of Formal Logic 40 (2):141-173.details
|
|
A Buchholz Derivation System for the Ordinal Analysis of KP + Π₃-Reflection.Markus Michelbrink - 2006 - Journal of Symbolic Logic 71 (4):1237 - 1283.details
|
|
Extending Partial Orders on o‐Minimal Structures to Definable Total Orders.Dugald Macpherson & Charles Steinhorn - 1997 - Mathematical Logic Quarterly 43 (4):456-464.details
|
|
Uniform unfolding and analytic measurability.Benedikt Löwe - 1998 - Archive for Mathematical Logic 37 (8):505-520.details
|
|
A Social Pragmatic View on the Concept of Normative Consistency.Berislav Žarnić - 2015 - European Journal of Analytic Philosophy 11 (2):56--78.details
|
|
A special class of almost disjoint families.Thomas E. Leathrum - 1995 - Journal of Symbolic Logic 60 (3):879-891.details
|
|
(1 other version)The size of $\tilde{T}$.Paul Larson - 2000 - Archive for Mathematical Logic 39 (7):541-568.details
|
|
In memoriam: James Earl Baumgartner (1943–2011).J. A. Larson - 2017 - Archive for Mathematical Logic 56 (7):877-909.details
|
|
Bounding by canonical functions, with ch.Paul Larson & Saharon Shelah - 2003 - Journal of Mathematical Logic 3 (02):193-215.details
|
|
Relevant first-order logic LP# and Curry’s paradox resolution.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal Volume 4, Issue 1-1, January 2015 DOI: 10.11648/J.Pamj.S.2015040101.12.details
|
|
Galileo’s paradox and numerosities.Piotr Błaszczyk - 2021 - Philosophical Problems in Science 70:73-107.details
|
|
Topology and models of ZFC at early Universe.Jerzy Król & Torsten Asselmeyer-Maluga - 2019 - Philosophical Problems in Science 66:15-33.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
|
|
Logically Simple Properties and Relations.Jan Plate - 2016 - Philosophers' Imprint 16:1-40.details
|
|
Un teorema sobre el Modelo de Solovay.Franklin Galindo - 2020 - Divulgaciones Matematicas 21 (1-2): 42–46.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
|
|
W.D. Hart, The Evolution of Logic. [REVIEW]Cristian Alejandro Gutiérrez Ramírez - 2014 - Critica 46 (137):129-137.details
|
|
Games and trees in infinitary logic: A survey.Jouko Väänänen - 1995 - In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba (eds.), Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 105--138.details
|
|