20 search results - page 2 / 4 » mlq 2008 |
72
Voted
MLQ
2008
14 years 10 months ago
2008
65
Voted
MLQ
2008
14 years 10 months ago
2008
Abstract: Under the axiom of choice, every first countable space is a Fr
53
Voted
MLQ
2008
14 years 10 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 ...
75
Voted
MLQ
2008
14 years 10 months ago
2008
We observe that removing contraction from a standard sequent calculus for first-order predicate logic preserves completeness for the modal fragment.
62
Voted
MLQ
2008
14 years 10 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.