Results 151 to 158 of about 109,181 (158)

Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe

Annals of Pure and Applied Logic, 2003
exaly  

Proof Theory and Constructive Mathematics

2005
openaire   +1 more source

Systems of explicit mathematics with non-constructive μ-operator and join

Annals of Pure and Applied Logic, 1996
exaly  

A note on Bar Induction in Constructive Set Theory

Mathematical Logic Quarterly, 2006
exaly  

A General Constructive Proof Technique

Electronic Notes in Theoretical Computer Science, 2005
exaly  

The breakthrough proof bringing mathematics closer to a grand unified theory

Nature
exaly  

AN INTRODUCTION TO THE THEORY OF C*-ALGEBRAS IN CONSTRUCTIVE MATHEMATICS

2005
exaly  

Proof and Computation

2018
exaly