Reflection of Long Game Formulas

DOI10.1002/MALQ.19940400307MaRDI QIDQ4304095zbMATH OpenOpenAlexFDO

Authors Heikki Heikkilä, Jouko Väänänen

Publication date 15 June 1997

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

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

zbMATH Keywords

infinitary logicadmissible setssemantic gamegame quantifiers

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75) Logic on admissible sets (03C70)

Recommendations

• GAMES AND REFLECTION IN
• scientific article; zbMATH DE number 4072961
• scientific article; zbMATH DE number 4033736
• The determinacy of long games
• The Ehrenfeucht-Fraisse-Game of Length ω 1

Cites work

• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• Set theory. An introduction to independence proofs

Cited in

(4)

• Generic compactness reformulated
• scientific article; zbMATH DE number 5521851 (Why is no real title available?)
• The determinacy of long games
• Good-for-Game QPTL: An Alternating Hodges Semantics

This page was built for publication: Reflection of Long Game Formulas

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