Sciweavers

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