Interpretationen der Heyting-Arithmetik endlicher Typen.
La propriété des corps
L’autre axiome du choix
L’« axiome du choix simple » est le principe selon lequel on peut choisir un élément dans tout ensemble non vide. Cet « autre axiome du choix » a une histoire paradoxale et riche, dont la première partie de cet article recherche les traces et repère les enjeux. Apparaissent comme décisifs le statut de la théorie des ensembles dans les mathématiques intuitionnistes, mais aussi la tension croissante entre technicisation de la logique et réflexion épistémologique des mathématiciens. La deuxième partie...
Logique, catégories et faisceaux
Modal Translations of Heyting and Peano Arithmetic
Non-extensional equality
On a Foundation for Mathematics- a View of Mathematics I
On a new method in intuitionist linear analysis
On a weakening of Markov's principle.
On independent recursive axiomatisation in intuitionistic logic
On Intuitionistic Sentential Connectives I.
On separation axioms in intuitionistic topological spaces.
On the structure of intuitionistic algebras with relational probabilities.
Trillas ([1]) has defined a relational probability on an intuitionistic algebra and has given its basic properties. The main results of this paper are two. The first one says that a relational probability on a intuitionistic algebra defines a congruence such that the quotient is a Boolean algebra. The second one shows that relational probabilities are, in most cases, extensions of conditional probabilities on Boolean algebras.
Operazioni di Brouwer e realizzabilità formalizzata
Products in the category of apartness spaces
Reduced Products Of Saturated Intuitionistic Theories
Reduced products of saturated intuitionistic theories.
The creative subject and Heyting's arithmetic
The double powerlocale and exponentiation: A case study in geometric logic.
Topological properties of the real numbers object in a topos