MLQ
2008
13 years 5 months ago
2008
MLQ
2008
13 years 5 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 5 months ago
2008
MLQ
2008
13 years 5 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 5 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 5 months ago
2008
MLQ
2008
13 years 5 months ago
2008
MLQ
2008
13 years 5 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 5 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 5 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...