Transplendent models: expansions omitting a type

DOI10.1215/00294527-1716739zbMath1258.03041OpenAlexW2066255486MaRDI QIDQ1762364

Richard W. Kaye, Fredrik Engström

Publication date: 23 November 2012

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

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1348524119

zbMATH Keywords

models of arithmeticomitting typesresplendent modelssatisfaction classesstandard cut

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Other model constructions (03C30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automorphisms of recursively saturated models of arithmetic
• Extendible Sets in Peano Arithmetic
• Construction of Satisfaction Classes for Nonstandard Models
• An introduction to recursively saturated and resplendent models
• Models with compactness properties relative to an admissible language
• Automorphisms moving all non-algebraic points and an application to NF

This page was built for publication: Transplendent models: expansions omitting a type