The Automorphism Group of a Countable Recursively Saturated Structure

DOI10.1112/PLMS/S3-65.2.225zbMATH Open0763.20002OpenAlexW2041173910MaRDI QIDQ4024969FDOQ4024969

Authors: Richard Kaye 

Publication date: 18 February 1993

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/plms/s3-65.2.225

Recommendations

• Automorphisms of recursively saturated models of arithmetic
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• On two questions concerning the automorphism groups of countable recursively saturated models of PA
• Decoding in the automorphism group of a recursively saturated model of arithmetic
• Automorphism groups of countable arithmetically saturated models of Peano arithmetic

zbMATH Keywords

automorphism groupsfree subgroupcomplete theorystable structurecountable recursively saturated models

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57) Subgroup theorems; subgroup growth (20E07) Infinite automorphism groups (20B27)

Cited In (11)

• Homogeneous actions on the random graph
• Saturated models and models that are generated by indiscernibles
• Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts
• Automorphism groups of decidable models
• Automorphisms of countable recursively saturated models of PA: A survey
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• Title not available (Why is that?)
• Title not available (Why is that?)
• On two questions concerning the automorphism groups of countable recursively saturated models of PA
• Automorphisms of recursively saturated models of arithmetic
• The automorphism groups of relatively free algebras

This page was built for publication: The Automorphism Group of a Countable Recursively Saturated Structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4024969)