|
6
|
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
|
|
6
|
A Topos for Algebraic Quantum Theory
– Chris Heunen, Nicolaas P. Landsman, Bas Spitters
- 2009
|
|
|
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
|
|
60
|
Schema Equivalence in Heterogeneous Systems: Bridging Theory and Practice
– R. J. Miller, Y. E. Ioannidis, R. Ramakrishnan
- 1993
|
|
|
STRICT ∞-CATEGORIES. CONCRETE DUALITY
– G. V. Kondratiev
- 2006
|
|
|
A Theory of Adjoint Functors —with some Thoughts about their Philosophical Significance
– David Ellerman
- 2005
|
|
6
|
Intuitionistic Sets and Ordinals
– Paul Taylor
- 1996
|
|
|
Sheafifying Consistent Histories
– Ioannis Raptis
- 2001
|
|
|
Locality, Weak or Strong Anticipation and Quantum Computing. I. Non-locality in Quantum Theory
– M. A. Heather, B. N. Rossiter
|
|
3
|
Axiom of Choice and Excluded Middle in Categorical Logic
– Steven Awodey
- 1995
|
