GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS

DOI10.1002/MALQ.19920380103MaRDI QIDQ4295207zbMATH OpenOpenAlexFDO

Authors Roman Kossak, Henryk Kotlarski

Publication date 1 December 1994

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19920380103

zbMATH Keywords

inductive satisfaction classesrecursively saturated modelSvenonius games

Mathematics Subject Classification ID

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

Recommendations

• A note on satisfaction classes
• A note on the variety of satisfaction classes
• scientific article; zbMATH DE number 1222926
• Four problems concerning recursively saturated models of arithmetic
• scientific article; zbMATH DE number 1222930

Cited in

(7)

• Four problems concerning recursively saturated models of arithmetic
• A note on satisfaction classes
• Satisfaction classes via cut elimination
• A note on the variety of satisfaction classes
• scientific article; zbMATH DE number 1222930 (Why is no real title available?)
• Injecting inconsistencies into models of PA
• Satisfaction is not absolute

This page was built for publication: GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS

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