Sciweavers

81 search results - page 2 / 17
» mlq 2006
Sort
View
MLQ
2006
54views more  MLQ 2006»
14 years 10 months ago
On local non-compactness in recursive mathematics
Jakob Grue Simonsen
MLQ
2006
86views more  MLQ 2006»
14 years 10 months ago
Calculus on strong partition cardinals
James M. Henle
MLQ
2002
65views more  MLQ 2002»
14 years 10 months ago
On Weak Markov's Principle
Ulrich Kohlenbach
MLQ
2002
59views more  MLQ 2002»
14 years 10 months ago
Weak Arithmetics and Kripke Models
Morteza Moniri