Robinson forcing is not absolute

Related Items

Infinite forcing and the generic multiverse

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Set theory. An introduction to large cardinals
The forcing companions of number theories
Forcing, arithmetic, division rings
Model theory and algebra. A memorial tribute to Abraham Robinson
Elementary induction on abstract structures
Aspects of constructibility
Infinite Abelian groups, Whitehead problem and some constructions
Model theory
The Shoenfield absoluteness lemma
Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
Lectures in set theory with particular emphasis on the method of forcing
Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
On algebraically closed groups
Some consequences of the axiom of constructibility
m-existentially complete structures
A Note on Axioms for Infinite-Generic Structures
Commutative Regular Rings without Prime Model Extensions
The Model Companion of ZF
Existentially closed structures
The subscript of ℵ_{𝑛} ,projective dimension, and the vanishing of lim_{←}⁽ⁿ⁾
Omitting quantifier-free types in generic structures
A hierarchy of formulas in set theory
Completing theories by forcing
Model-completions and modules
On the notion of algebraic closedness for noncommutative groups and fields
Persistent and invariant formulas relative to theories of higher order
Absolute logics and L∞ω
DIOPHANTINE REPRESENTATION OF ENUMERABLE PREDICATES
Forcing for Infinitary Languages
The model-companion of a class of structures
Consistency of the Continuum Hypothesis. (AM-3)