A note on the variety of satisfaction classes

DOI10.1007/BF01634978zbMath0719.03016MaRDI QIDQ2639847

Roman Murawski

Publication date: 1990

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

recursively saturated models of PAfull inductive satisfaction classesmodels of some fragments of second-order arithmeticrecursively saturated models of arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Cites Work

• Unnamed Item
• Inductive full satisfaction classes
• Definable sets and expansions of models of Peano arithmetic
• Pointwise definable substructures of models of Peano arithmetic
• A note on satisfaction classes
• On elementary cuts in recursively saturated models of Peano Arithmetic
• Bounded Induction and Satisfaction Classes
• Construction of Satisfaction Classes for Nonstandard Models
• Full Satisfaction Classes and Recursive Saturation
• Toward model theory through recursive saturation

This page was built for publication: A note on the variety of satisfaction classes