MLQ
2008
13 years 11 months ago
2008
MLQ
2008
13 years 11 months ago
2008
We observe that removing contraction from a standard sequent calculus for first-order predicate logic preserves completeness for the modal fragment.
MLQ
2008
13 years 11 months ago
2008
MLQ
2008
13 years 11 months ago
2008
Abstract. We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.
MLQ
2008
13 years 11 months ago
2008
We work out the details of a schema for a mixed support forcing iteration, which generalizes the Mitchell model [7] with no Aronszajn trees on 2. The main purpose of this paper is ...
MLQ
2008
13 years 11 months ago
2008
MLQ
2008
13 years 11 months ago
2008
MLQ
2008
13 years 11 months ago
2008
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
MLQ
2008
13 years 11 months ago
2008
We prove that g (the groupwise density number) is smaller or equal to b+, the successor of the minimal cardinality of an unbounded subset of . This is true even for the version of ...
MLQ
2008
13 years 11 months ago
2008
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...