Showing 1 - 3 results of 3 for search 'Jean-Louis Krivine', query time: 0.02s
Refine Results
-
1
A program for the full axiom of choice by Jean-Louis Krivine
Published 2021-09-01
Article -
2
Realizability algebras II : new models of ZF + DC by Jean-Louis Krivine
Published 2012-02-01
Article -
3
Realizability algebras: a program to well order R by Jean-Louis Krivine
Published 2011-08-01
Article