20 search results - page 2 / 4 » mlq 2008 |
MLQ
2008
13 years 5 months ago
2008
MLQ
2008
13 years 5 months ago
2008
Abstract: Under the axiom of choice, every first countable space is a Fr
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
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
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.