2,643 research outputs found
Laver and set theory
In this commemorative article, the work of Richard Laver is surveyed in its full range and extent.Accepted manuscrip
Embeddings into outer models
We explore the possibilities for elementary embeddings , where
and are models of ZFC with the same ordinals, , and
has access to large pieces of . We construct commuting systems of such maps
between countable transitive models that are isomorphic to various canonical
linear and partial orders, including the real line
Reverse Mathematics and Algebraic Field Extensions
This paper analyzes theorems about algebraic field extensions using the
techniques of reverse mathematics. In section 2, we show that
is equivalent to the ability to extend -automorphisms of field extensions to
automorphisms of , the algebraic closure of . Section 3 explores
finitary conditions for embeddability. Normal and Galois extensions are
discussed in section 4, and the Galois correspondence theorems for infinite
field extensions are treated in section 5.Comment: 25 page
- …