Sciweavers

13 search results - page 1 / 3
» mlq 2010
Sort
View
MLQ
2010
110views more  MLQ 2010»
13 years 2 months ago
The Bounded Axiom A Forcing Axiom
Thilo Weinert
MLQ
2010
56views more  MLQ 2010»
13 years 2 months ago
Unavoidable sequences in constructive analysis
Joan Rand Moschovakis
MLQ
2010
66views more  MLQ 2010»
13 years 2 months ago
Degree spectra and immunity properties
Barbara F. Csima, Iskander Sh. Kalimullin
MLQ
2010
68views more  MLQ 2010»
13 years 2 months ago
A discrete representation of free MV-algebras
Antonio di Nola, Revaz Grigolia, Luca Spada
MLQ
2010
107views more  MLQ 2010»
12 years 10 months ago
Confined modified realizability
Gilda Ferreira, Paulo Oliva