Sciweavers

15 search results - page 2 / 3
» mlq 2007
Sort
View
MLQ
2007
73views more  MLQ 2007»
13 years 4 months ago
Existence of EF-equivalent non-isomorphic models
Abstract. We prove the existence of pairs of models of the same cardinality λ which are very equivalent according to EF games, but not isomorphic. We continue the paper [4], but w...
Chanoch Havlin, Saharon Shelah
MLQ
2007
65views more  MLQ 2007»
13 years 4 months ago
Non-standard analysis in ACA0 and Riemann mapping theorem
Abstract. This research is motivated by the program of Reverse Mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second order arithmetic...
Keita Yokoyama
MLQ
2007
83views more  MLQ 2007»
13 years 4 months ago
Computing the complexity of the relation of isometry between separable Banach spaces
We compute here the Borel complexity of the relation of isometry between separable Banach spaces, using results of Gao, Kechris [1] and Mayer-Wolf [4]. We show that this relation ...
Julien Melleray
MLQ
2007
108views more  MLQ 2007»
13 years 4 months ago
Coloring linear orders with Rado's partial order
Let R be the preorder of embeddability between countable linear orders colored with elements of Rado’s partial order (a standard example of a wqo which is not a bqo). We show tha...
Riccardo Camerlo, Alberto Marcone
MLQ
2007
73views more  MLQ 2007»
13 years 4 months ago
On completely nonmeasurable unions
Assume that there is no quasi-measurable cardinal not greater than 2ω . We show that for a c.c.c. σ-ideal I with a Borel base of subsets of an uncountable Polish space, if A is a...
Szymon Zeberski