Sciweavers

20 search results - page 3 / 4
» mlq 2008
Sort
View
MLQ
2008
108views more  MLQ 2008»
14 years 10 months ago
Comparison of Picard groups in dimension 1
We compare two Picard groups in dimension one. Our proofs are constructive and the results generalize a theorem of J. Sands [11]. MSC 2000: 13C15, 13C20, 03F65, 13F45
Henri Lombardi, Claude Quitté
MLQ
2008
79views more  MLQ 2008»
14 years 10 months ago
Generating ultrafilters in a reasonable way
Abstract. We continue investigations of reasonable ultrafilters on uncountable cardinals defined in Shelah [8]. We introduce a general scheme of generating a filter on from filter...
Andrzej Roslanowski, Saharon Shelah
MLQ
2008
67views more  MLQ 2008»
14 years 10 months ago
Classical truth in higher types
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...
Ulrich Berger
MLQ
2008
133views more  MLQ 2008»
14 years 10 months ago
Unions and the axiom of choice
We study statements about countable and well ordered unions and how they are related to each other and to countable and well ordered forms of the axiom of choice.
Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyr...
MLQ
2008
50views more  MLQ 2008»
14 years 10 months ago
Long Borel hierarchies
We show that there is a model of ZF in which the Borel hierarchy on the reals has length 2. This implies that 1 has countable cofinality, so the axiom of choice fails very badly i...
Arnold W. Miller