Extensionality versus constructivity (2000)

Cached

Download Links

by Silvio Valentini
Venue:Mathematical logic Quarterly
Citations:3 - 0 self

Active Bibliography

7 Can you add power-sets to Martin-Löf intuitionistic set theory? – Maria Emilia Maietti, Silvio Valentini - 2000
MATHEMATICAL LOGIC QUARTERLY – A Journal, Mathematical Logic, John L. Bell, M Lq - 2007
1 EM + Ext − + ACint is equivalent to ACext – Jesper Carlström - 2004
9 A Topos for Algebraic Quantum Theory – Chris Heunen, Nicolaas P. Landsman, Bas Spitters - 2009
2 A minimalist two-level foundation for constructive mathematics – Maria Emilia Maietti - 811
Lambda-Calcolo E Teoria Dei Tipi – Silvio Valentini
1 Variations on Realizability: Realizing the Propositional Axiom of Choice – J. M. E. Hyland - 2000
JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC PRETOPOS – Maria Emilia Maietti
1 Quotients over Minimal Type Theory – Maria Emilia Maietti
2 Logic-Motivated Choice of Fuzzy Logic Operators – Pratit Santiprabhob, Hung T. Nguyen, Witold Pedrycz - 2001
1 Boolean Algebras and Distributive Lattices Treated Constructively – John L. Bell - 1999
4 Toposes pour les vraiment nuls – Steven Vickers - 1996
STRICT ∞-CATEGORIES. CONCRETE DUALITY – G. V. Kondratiev - 2006
Sheafifying Consistent Histories – Ioannis Raptis - 2001
Presheaves, Sheaves and their Topoi in Quantum Gravity and Quantum Logic ∗ – Ioannis Raptis - 2001
2 A Theory of Adjoint Functors —with some Thoughts about their Philosophical Significance – David Ellerman - 2005
Is the Incorporation of Exotic Mathematics Necessary for a Solution of the Mind-Brain Problem? I think it is! – Jerome Iglowitz, Jerome Iglowitz
Computer Science Journal of Moldova, vol.20, no.3(60), 2012 Basics of Intensionalized Data: Presets, Sets, – Nominats, Mykola Nikitchenko, Alexey Chentsov
8 Intuitionistic Sets and Ordinals – Paul Taylor - 1996