2 research outputs found
Largest initial segments pointwise fixed by automorphisms of models of set theory
Given a model of set theory, and a nontrivial automorphism
of , let be the submodel of
whose universe consists of elements of such
that for every in the transitive closure of (where the
transitive closure of is computed within ). Here we study the
class of structures of the form ,
where the ambient model satisfies a frugal yet robust fragment of
known as , and whenever is a finite
ordinal in the sense of . We show that every structure in
satisfies
. We also show that the
following countable structures are in : (a) transitive models of
, (b) recursively
saturated models of ,
(c) models of . It follows from (b) that the theory of
is precisely -Collection.
We conclude by proving a refinement of a result due to Amir Togha.Comment: 44 page
Rank-initial embeddings of non-standard models of set theory
A theoretical development is carried to establish fundamental results about
rank-initial embeddings and automorphisms of countable non-standard models of
set theory, with a keen eye for their sets of fixed points. These results are
then combined into a "geometric technique" used to prove several results about
countable non-standard models of set theory. In particular, back-and-forth
constructions are carried out to establish various generalizations and
refinements of Friedman's theorem on the existence of rank-initial embeddings
between countable non-standard models of the fragment
+ -Separation of ; and Gaifman's technique
of iterated ultrapowers is employed to show that any countable model of
+ " is weakly compact" can be elementarily
rank-end-extended to models with well-behaved automorphisms whose sets of fixed
points equal the original model. These theoretical developments are then
utilized to prove various results relating self-embeddings, automorphisms,
their sets of fixed points, strong rank-cuts, and set theories of different
strengths. Two examples: The notion of "strong rank-cut" is characterized (i)
in terms of the theory + " is weakly compact", and
(ii) in terms of fixed-point sets of self-embeddings