pith. sign in

arxiv: 1404.1427 · v2 · pith:ECHVRA2Qnew · submitted 2014-04-05 · 🧮 math.LO

Extentability of Automorphisms of Generic Substructures

classification 🧮 math.LO
keywords genericalgebraicityautomorphismfraissefullisometryurysohnanalysis
0
0 comments X
read the original abstract

We show that if g is a generic (in the sense of Baire category) isometry of a generic subspace of the Urysohn metric space U, then g does not extend to a full isometry of U. The same holds for the Urysohn sphere S. Let M be a Fraisse L-structure, where L is a relational countable language and M has no algebraicity. We provide necessary and sufficient conditions for the following to hold: for a generic substructure A of M, every automorphism f in Aut(A) extends to a full automorphism f in Aut(M). From our analysis, a dichotomy arises and some structural results are derived that, in particular, apply to omega-stable Fraisse structures without algebraicity.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.