- The Determinacy of Context-Free Games.Olivier Finkel - 2013 - Journal of Symbolic Logic 78 (4):1115-1134.details
|
|
The distribution of ITRM-recognizable reals.Merlin Carl - 2014 - Annals of Pure and Applied Logic 165 (9):1403-1417.details
|
|
Thin equivalence relations and inner models.Philipp Schlicht - 2014 - Annals of Pure and Applied Logic 165 (10):1577-1625.details
|
|
Partial orderings with the weak Freese-Nation property.Sakaé Fuchino, Sabine Koppelberg & Saharon Shelah - 1996 - Annals of Pure and Applied Logic 80 (1):35-54.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
|
|
Filtration-equivalent ℵ 1 -separable abelian groups of cardinality ℵ 1.Saharon Shelah & Lutz Strüngmann - 2010 - Annals of Pure and Applied Logic 161 (7):935-943.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
|
|
Non-constructive Properties of the Real Numbers.J. E. Rubin, K. Keremedis & Paul Howard - 2001 - Mathematical Logic Quarterly 47 (3):423-431.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
|
|
A generalization of the Dual Ellentuck Theorem.Lorenz Halbeisen & Pierre Matet - 2003 - Archive for Mathematical Logic 42 (2):103-128.details
|
|
Specialising Aronszajn trees by countable approximations.Heike Mildenberger & Saharon Shelah - 2003 - Archive for Mathematical Logic 42 (7):627-647.details
|
|
Typed lambda-calculus in classical Zermelo-Frænkel set theory.Jean-Louis Krivine - 2001 - Archive for Mathematical Logic 40 (3):189-205.details
|
|
On successors of Jónsson cardinals.J. Vickers & P. D. Welch - 2000 - Archive for Mathematical Logic 39 (6):465-473.details
|
|
A Model for Spacetime II. The Emergence of Higher Dimensions and Field Theory/Strings Dualities.Jerzy Król - 2006 - Foundations of Physics 36 (12):1778-1800.details
|
|
Exclusion Principles as Restricted Permutation Symmetries.S. Tarzi - 2003 - Foundations of Physics 33 (6):955-979.details
|
|
James sequences and Dependent Choices.Marianne Morillon - 2005 - Mathematical Logic Quarterly 51 (2):171-186.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
|
|
Fragility and indestructibility of the tree property.Spencer Unger - 2012 - Archive for Mathematical Logic 51 (5-6):635-645.details
|
|
Direct Proofs of Lindenbaum Conditionals.René Gazzari - 2014 - Logica Universalis 8 (3-4):321-343.details
|
|
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.details
|
|
A minimal Prikry-type forcing for singularizing a measurable cardinal.Peter Koepke, Karen Räsch & Philipp Schlicht - 2013 - Journal of Symbolic Logic 78 (1):85-100.details
|
|
A hierarchy of tree-automatic structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.details
|
|
Degrees of rigidity for Souslin trees.Gunter Fuchs & Joel David Hamkins - 2009 - Journal of Symbolic Logic 74 (2):423-454.details
|
|
A Buchholz Derivation System for the Ordinal Analysis of KP + Π₃-Reflection.Markus Michelbrink - 2006 - Journal of Symbolic Logic 71 (4):1237 - 1283.details
|
|
On potential embedding and versions of Martin's axiom.Sakaé Fuchino - 1992 - Notre Dame Journal of Formal Logic 33 (4):481-492.details
|
|
Issues in the foundations of science, I: Languages, structures, and models.Newton C. A. da Costa, Décio Krause & Otávio Bueno - unknowndetails
|
|
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.details
|
|
The category of inner models.Peter Koepke - 2002 - Synthese 133 (1-2):275 - 303.details
|
|
On the number of automorphisms of uncountable models.Saharon Shelah, Heikki Tuuri & Jouko Väänänen - 1993 - Journal of Symbolic Logic 58 (4):1402-1418.details
|
|
Does category theory provide a framework for mathematical structuralism?Geoffrey Hellman - 2003 - Philosophia Mathematica 11 (2):129-157.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
|
|
Universally baire sets and definable well-orderings of the reals.Sy D. Friedman & Ralf Schindler - 2003 - Journal of Symbolic Logic 68 (4):1065-1081.details
|
|
The Mathematics of Skolem's Paradox.Timothy Bays - 2002 - In Dale Jacquette (ed.), Philosophy of Logic. Malden, Mass.: North Holland. pp. 615--648.details
|
|
Galileo’s paradox and numerosities.Piotr Błaszczyk - 2021 - Philosophical Problems in Science 70:73-107.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
|
|
Algebraic Structures of Mathematical Foundations.Robert Murray Jones - 2018 - Open Journal of Philosophy 8 (4):401-407.details
|
|
Continuous higher randomness.Laurent Bienvenu, Noam Greenberg & Benoit Monin - 2017 - Journal of Mathematical Logic 17 (1):1750004.details
|
|
What is the theory without power set?Victoria Gitman, Joel David Hamkins & Thomas A. Johnstone - 2016 - Mathematical Logic Quarterly 62 (4-5):391-406.details
|
|
Towards a Formal Ontology of Information. Selected Ideas of K. Turek.Roman Krzanowski - 2016 - Zagadnienia Filozoficzne W Nauce 61:23-52.details
|
|
Cardinality without Enumeration.Athanassios Tzouvaras - 2005 - Studia Logica 80 (1):121-141.details
|
|
Indestructibility under adding Cohen subsets and level by level equivalence.Arthur W. Apter - 2009 - Mathematical Logic Quarterly 55 (3):271-279.details
|
|
A definable E 0 class containing no definable elements.Vladimir Kanovei & Vassily Lyubetsky - 2015 - Archive for Mathematical Logic 54 (5-6):711-723.details
|
|
Semistationary reection and weak square.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.details
|
|
The effective theory of Borel equivalence relations.Ekaterina B. Fokina, Sy-David Friedman & Asger Törnquist - 2010 - Annals of Pure and Applied Logic 161 (7):837-850.details
|
|
Indestructibility, measurability, and degrees of supercompactness.Arthur W. Apter - 2012 - Mathematical Logic Quarterly 58 (1):75-82.details
|
|
Effectivizing Inseparability.John Case - 1991 - Mathematical Logic Quarterly 37 (7):97-111.details
|
|
Mereological sets of distributive classes.Andrzej Pietruszczak - 1996 - Logic and Logical Philosophy 4:105-122.details
|
|
Matrix iterations and Cichon’s diagram.Diego Alejandro Mejía - 2013 - Archive for Mathematical Logic 52 (3-4):261-278.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
|
|