AML
2008
13 years 11 months ago
2008
Abstract. This paper develops the model theory of ordered structures that satisfy Keisler's regularity scheme, and its strengthening REF(L) (the reflection scheme) which is an...
AML
2008
14 years 17 days ago
2008
Relative to a hyperstrong cardinal, it is consistent that measure one covering fails relative to HOD. In fact it is consistent that there is a superstrong cardinal and for every re...
AML
2008
14 years 17 days ago
2008
We generalize ordinary register machines on natural numbers to machines whose registers contain arbitrary ordinals. Ordinal register machines are able to compute a recursive bounde...
AML
2008
14 years 17 days ago
2008
Abstract. We say that a coloring c : []n 2 is continuous if it is continuous with respect to some second countable topology on . A coloring c is potentially continuous if it is co...
AML
2008
14 years 17 days ago
2008
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms t...
AML
2008
14 years 17 days ago
2008
This document is a survey of the four papers [H], [Sch], [Com], [FandH]. It gives the relevant background and shows how the papers fit together to form a whole. Material from thos...
AML
2008
14 years 17 days ago
2008
Using GCH, we force the following: There are continuum many simple cardinal characteristics with pairwise different values. Mathematics Subject Classification (2000) 03E17
AML
2008
14 years 17 days ago
2008
We study an extensive connection between quotient forcings of Borel subsets of Polish spaces modulo a -ideal and quotient forcings of subsets of countable sets modulo an ideal.
AML
2008
14 years 17 days ago
2008
AML
2008
14 years 17 days ago
2008
Lascar described EK P as a composition of EL and the topological closure of EL (Casanovas et al. in J Math Log 1(2):305