103 search results - page 10 / 21 » jsyml 2006 |
JSYML
2006
14 years 10 months ago
2006
Abstract. We produce counterexamples to the unique and cofinal branches hypotheses, assuming (slightly less than) the existence of a cardinal which is strong past a Woodin cardinal...
JSYML
2006
14 years 10 months ago
2006
Abstract. Using the Friedman-Koepke Hyperfine Structure Theory of [2], we provide a short construction of a gap 1 morass in the constructible universe.
60
Voted
JSYML
2000
14 years 10 months ago
2000
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
JSYML
2000
14 years 10 months ago
2000
We investigate topological properties of subsets S of the real plane, expressed by first-order logic sentences in the language of the reals augmented with a binary relation symbol...
JSYML
2000
14 years 10 months ago
2000
We show that to every recursive total continuous functional there is a representative of in the hierearchy of partial continuous functionals such that is S1 - S9 computable ov...