Arithmetically saturated models of arithmetic

DOI10.1305/NDJFL/1040136914zbMATH Open0848.03017OpenAlexW1990598296MaRDI QIDQ1913628FDOQ1913628

Authors: James H. Schmerl, Roman Kossak 

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/1040136914

Recommendations

• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Automorphism groups of countable arithmetically saturated models of Peano arithmetic
• Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets

zbMATH Keywords

automorphism groupfixed pointPeano arithmeticrecursive saturationcofinalityopen subgroupsarithmetically saturated models of PAlattice of elementary substructures

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Models of arithmetic and set theory (03C62)

Cites Work

• Title not available (Why is that?)
• Ultrafilters and types on models of arithmetic
• Subgroups of Infinite Symmetric Groups
• The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
• Title not available (Why is that?)
• On elementary cuts in recursively saturated models of Peano Arithmetic
• Automorphisms of recursively saturated models of arithmetic
• Title not available (Why is that?)
• Finite Substructure Lattices of Models of Peano Arithmetic
• Title not available (Why is that?)
• Models with the ω-property
• 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?)
• Recursively saturated nonstandard models of arithmetic; addendum
• Title not available (Why is that?)

Cited In (19)

• Automorphism groups of arithmetically saturated models
• Bounded Scott Set Saturation
• Automorphism groups of models of Peano arithmetic
• Decoding in the automorphism group of a recursively saturated model of arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Models of arithmetic in \(A\)-isols
• Title not available (Why is that?)
• Regularity in models of arithmetic
• On cofinal submodels and elementary interstices
• Order-types of models of arithmetic and a connection with arithmetic saturation
• Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
• Saturated models
• Automorphism groups of countable arithmetically saturated models of Peano arithmetic
• Automorphism groups of saturated models of Peano arithmetic
• Automorphisms of saturated and boundedly saturated models of arithmetic
• Recursively saturated nonstandard models of arithmetic; addendum
• Automorphisms of models of arithmetic: a unified view
• The complexity of classification problems for models of arithmetic

This page was built for publication: Arithmetically saturated models of arithmetic

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