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

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)