23 search results - page 3 / 5 » aml 2010 |
AML
2010
13 years 6 months ago
2010
When no single universal model for a set of structures exists at a given cardinal, then one may ask in which models of set theory does there exist a small family which embeds the r...
AML
2010
13 years 2 months ago
2010
We study definability of second-order generalized quantifiers. We show that the question whether a second-order generalized quantifier Q1 is definable in terms of another quantifie...
AML
2010
13 years 6 months ago
2010
Abstract We prove that a sequence of sets containing representatives of cupping partners for every nonzero 0 2 enumeration degree cannot have a 0 2 enumeration. We also prove that ...
AML
2010
13 years 6 months ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
AML
2010
13 years 6 months ago
2010
Let J (M2 ) denote the -ideal associated with two-dimensional Miller forcing. We show that it is relatively consistent with ZFC that the additivity of J (M2 ) is bigger than the c...