Outer models and genericity
نویسندگان
چکیده
منابع مشابه
Outer models and genericity
1. Introduction Why is forcing the only known method for constructing outer models of set theory? If V is a standard transitive model of ZFC, then a standard transitive model W of ZFC is an outer model of V if V ⊆ W and V ∩ OR = W ∩ OR. Is every outer model of a given model a generic extension? At one point Solovay conjectured that if 0 # exists, then every real that does not construct 0 # lies...
متن کاملDefinable Genericity and Outer Models
2. Definable genericity . . . . . . . . . . . . . . . . . . . . . . . . 2 2.1. Levels of class genericity . . . . . . . . . . . . . . . . . . . . . 2 2.2. Equivalents of definable genericity . . . . . . . . . . . . . . . . . 3 3. Rudimentary extensions . . . . . . . . . . . . . . . . . . . . . . 5 3.1. Two languages . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.2. Semantics . . . . . . ...
متن کاملIncreasing Reuse in Component Models through Genericity
A current limitation to component reusability is that component models target to describe a deployed assembly and thus bind the behavior of a component to the data-types it manipulates. This paper studies the feasibility of supporting genericity within component models, including component and port types. The proposed approach works by extending the meta-model of an existing component model. It...
متن کاملOn Group-theoretic Models of Randomness and Genericity
We compare the random group model of Gromov and the model of generic groups of Arzhantseva and Ol’shanskii.
متن کاملCosets and genericity
In a connected group of finite Morley rank in which the generic element belongs to a connected nilpotent subgroup, proper normalizing cosets of definable subgroups are not generous. We explain why this is true and what consequences this has on an abstract theory of Weyl groups in groups of finite Morley rank. The only known infinite simple groups of finite Morley rank are the simple algebraic g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2003
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1052669057