Automorphisms of countable recursively saturated models of PA: A survey

DOI10.1305/NDJFL/1040136912zbMATH Open0848.03015OpenAlexW1974949696MaRDI QIDQ1913626FDOQ1913626

Authors: Henryk Kotlarski 

Publication date: 22 May 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040136912

Recommendations

• Automorphisms of countable short recursively saturated models of PA
• Results on automorphisms of recursively saturated models of PA
• scientific article; zbMATH DE number 2144534
• On two questions concerning the automorphism groups of countable recursively saturated models of PA
• Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• Automorphisms of recursively saturated models of arithmetic
• Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets
• Automorphisms of saturated and boundedly saturated models of arithmetic
• Automorphism groups of countable arithmetically saturated models of Peano arithmetic

zbMATH Keywords

surveyautomorphism groupsopen problemsrecursive saturationcountable recursively saturated models of Peano Arithmetic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Models with special properties (saturated, rigid, etc.) (03C50) Models of arithmetic and set theory (03C62)

Cites Work

• Title not available (Why is that?)
• Models Without Indiscernibles
• The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
• Title not available (Why is that?)
• Title not available (Why is that?)
• Infinite permutation groups. II: Subgroups of small index
• Title not available (Why is that?)
• Minimal satisfaction classes with an application to rigid models of Peano arithmetic
• On two questions concerning the automorphism groups of countable recursively saturated models of PA
• On elementary cuts in recursively saturated models of Peano Arithmetic
• Models with compactness properties relative to an admissible language
• Automorphisms of models of true arithmetic: Recognizing some basic open subgroups
• Recursively saturated models generated by indiscernibles
• Models of axiomatic theories admitting automorphisms
• Title not available (Why is that?)
• Toward model theory through recursive saturation
• Automorphisms of recursively saturated models of arithmetic
• Results on automorphisms of recursively saturated models of PA
• Models and types of Peano's arithmetic
• Title not available (Why is that?)
• Recursively saturated nonstandard models of arithmetic
• GROUPS OF AUTOMORPHISMS OF N₀-CATEGORICAL STRUCTURES
• On closed elementary cuts in recursively saturated models of Peano arithmetic
• The Automorphism Group of a Countable Recursively Saturated Structure
• Infinitary logic: In memoriam Carol Karp. A collection of papers by various authors
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Title not available (Why is that?)
• Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely

Cited In (17)

• A Galois correspondence for countable short recursively saturated models of PA
• Automorphism groups of arithmetically saturated models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automorphism groups of models of Peano arithmetic
• Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts
• Results on automorphisms of recursively saturated models of PA
• Title not available (Why is that?)
• Generic automorphisms and graph coloring
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• Automorphism groups of countable arithmetically saturated models of Peano arithmetic
• More on extending automorphisms of models of Peano Arithmetic
• Automorphisms of saturated and boundedly saturated models of arithmetic
• Automorphisms of models of arithmetic: a unified view
• On two questions concerning the automorphism groups of countable recursively saturated models of PA
• Automorphisms of recursively saturated models of arithmetic
• Title not available (Why is that?)

This page was built for publication: Automorphisms of countable recursively saturated models of PA: A survey

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