20 search results - page 2 / 4 » mlq 2008 |
86
Voted
MLQ
2008
15 years 12 days ago
2008
82
Voted
MLQ
2008
15 years 12 days ago
2008
Abstract: Under the axiom of choice, every first countable space is a Fr
64
Voted
MLQ
2008
15 years 12 days 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
15 years 12 days ago
2008
We observe that removing contraction from a standard sequent calculus for first-order predicate logic preserves completeness for the modal fragment.
73
Voted
MLQ
2008
15 years 12 days 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.