- From absolute to local mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
Heyting-valued interpretations for Constructive Set Theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.details
|
|
Two episodes in the unification of logic and topology.E. R. Grosholz - 1985 - British Journal for the Philosophy of Science 36 (2):147-157.details
|
|
Categories, toposes and sets.J. L. Bell - 1982 - Synthese 51 (3):293 - 337.details
|
|
Derived rules for predicative set theory: an application of sheaves.Benno van den Berg & Ieke Moerdijk - 2012 - Annals of Pure and Applied Logic 163 (10):1367-1383.details
|
|
Isomorphism of structures in s-toposes.J. L. Bell - 1981 - Journal of Symbolic Logic 46 (3):449-459.details
|
|
Mathematical quantum theory I: Random ultrafilters as hidden variables.William Boos - 1996 - Synthese 107 (1):83 - 143.details
|
|
On Confusions About Bivalence and Excluded Middle.David DeVidi & Graham Solomon - 1999 - Dialogue 38 (4):785-.details
|
|
(1 other version)Second‐Order Logic and Set Theory.Jouko Väänänen - 2015 - Philosophy Compass 10 (7):463-478.details
|
|
CZF does not have the existence property.Andrew W. Swan - 2014 - Annals of Pure and Applied Logic 165 (5):1115-1147.details
|
|
Cosmological choices.David Finkelstein - 1982 - Synthese 50 (3):399 - 420.details
|
|
Recollections of logicians, mathematicians and philosophers.John L. Bell - 2023 - Logic Journal of the IGPL 31 (6):1232-1250.details
|
|
Minimal elementary extensions of models of set theory and arithmetic.Ali Enayat - 1990 - Archive for Mathematical Logic 30 (3):181-192.details
|
|
Orthospaces and quantum logic.J. L. Bell - 1985 - Foundations of Physics 15 (12):1179-1202.details
|
|
Local possibilistic logic.Luca Boldrin & Claudio Sossai - 1997 - Journal of Applied Non-Classical Logics 7 (3):309-333.details
|
|
Topos Theory in Montréal in the 1970s: My Personal Involvement.Gonzalo E. Reyes - 2019 - History and Philosophy of Logic 40 (4):389-402.details
|
|
Topological Foundations of Cognitive Science.Carola Eschenbach, Christopher Habel & Barry Smith (eds.) - 1984 - Hamburg: Graduiertenkolleg Kognitionswissenschaft.details
|
|
Against cantorism.Allen P. Hazen - 1994 - Sophia 33 (2):21-32.details
|
|
(1 other version)Boolean‐Valued Models of Set Theory with Automorphisms.E. G. Hernandez - 1986 - Mathematical Logic Quarterly 32 (7‐9):117-130.details
|
|
(1 other version)Boolean-Valued Models of Set Theory with Automorphisms.E. G. Hernandez - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (7-9):117-130.details
|
|
(1 other version)On the Mathematical Content of the Theory of Classes KM.Ramón Jansana - 1989 - Mathematical Logic Quarterly 35 (5):399-412.details
|
|
(1 other version)On the Mathematical Content of the Theory of Classes KM.Ramón Jansana - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):399-412.details
|
|
Constructive set theoretic models of typed combinatory logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.details
|
|
All the mathematics in the world: logical validity and classical set theory.David Charles McCarty - 2017 - Philosophical Problems in Science 63:5-29.details
|
|
Logical rules and the determinacy of meaning.Charles McCarty - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):89-98.details
|
|
The consequence relation preserving logical information.Andrzej Pietruszczak - 2004 - Logic and Logical Philosophy 13:89-120.details
|
|
The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras.Bas Spitters - 2012 - Foundations of Physics 42 (7):896-908.details
|
|
A Model for Spacetime: The Role of Interpretation in Some Grothendieck Topoi. [REVIEW]Jerzy Król - 2006 - Foundations of Physics 36 (7):1070-1098.details
|
|
W.D. Hart, The Evolution of Logic. [REVIEW]Cristian Alejandro Gutiérrez Ramírez - 2014 - Critica 46 (137):129-137.details
|
|