Automorphisms of Homogeneous Structures

Notre Dame Journal of Formal Logic 46 (4):419-424 (2005)
  Copy   BIBTEX

Abstract

We give an example of a simple ω-categorical theory such that for any finite set of parameters the corresponding constant expansion does not satisfy the PAPA. We describe a wide class of homogeneous structures with generic automorphisms and show that some natural reducts of our example belong to this class

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1134397660

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The forth part of the back and forth map in countable homogeneous structures.S. J. McLeish - 1997 - Journal of Symbolic Logic 62 (3):873-890.
Notes on symmetries.Gordon Belot - 2003 - In Katherine A. Brading & Elena Castellani (eds.), Symmetries in Physics: Philosophical Reflections. Cambridge University Press. pp. 393--412.
Automorphism groups of trivial strongly minimal structures.Thomas Blossier - 2003 - Journal of Symbolic Logic 68 (2):644-668.
S-homogeneity and automorphism groups.Elisabeth Bouscaren & Michael C. Laskowski - 1993 - Journal of Symbolic Logic 58 (4):1302-1322.
On orbits, of prompt and low computably enumerable sets.Kevin Wald - 2002 - Journal of Symbolic Logic 67 (2):649-678.
Interpreting groups in ω-categorical structures.Dugald Macpherson - 1991 - Journal of Symbolic Logic 56 (4):1317-1324.
On computable automorphisms of the rational numbers.A. S. Morozov & J. K. Truss - 2001 - Journal of Symbolic Logic 66 (3):1458-1470.
ℵ0-categorical tree-decomposable structures.A. H. Lachlan - 1992 - Journal of Symbolic Logic 57 (2):501 - 514.
Isomorphism of Homogeneous Structures.John D. Clemens - 2009 - Notre Dame Journal of Formal Logic 50 (1):1-22.
Countable homogeneous relational structures and ℵ0-categorical theories.C. Ward Henson - 1972 - Journal of Symbolic Logic 37 (3):494 - 500.
Reconstruction of Homogeneous Relational Structures.Silvia Barbina & Dugald Macpherson - 2007 - Journal of Symbolic Logic 72 (3):792 - 802.
Ramsey Theory for Countable Binary Homogeneous Structures.Jean A. Larson - 2005 - Notre Dame Journal of Formal Logic 46 (3):335-352.
Finitely constrained classes of homogeneous directed graphs.Brenda J. Latka - 1994 - Journal of Symbolic Logic 59 (1):124-139.
Automorphisms of the lattice of recursively enumerable sets.Peter Cholak - 1995 - Providence, RI: American Mathematical Society.
Combinatorial and recursive aspects of the automorphism group of the countable atomless Boolean algebra.E. W. Madison & B. Zimmermann-Huisgen - 1986 - Journal of Symbolic Logic 51 (2):292-301.

Analytics

Added to PP
2010-08-24

Downloads
13 (#1,017,336)

6 months
2 (#1,229,212)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An ω-categorical structure with amenable automorphism group.Aleksander Ivanov - 2015 - Mathematical Logic Quarterly 61 (4-5):307-314.
Bowtie‐free graphs and generic automorphisms.Daoud Siniora - 2023 - Mathematical Logic Quarterly 69 (2):221-230.

Add more citations

References found in this work

Generic structures and simple theories.Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):71-92.
Laforte, G., see Downey, R.T. Arai, Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):287.
Reducts of the random graph.Simon Thomas - 1991 - Journal of Symbolic Logic 56 (1):176-181.

Add more references