scientific article; zbMATH DE number 764208

MaRDI QIDQ4836153zbMATH OpenFDO

Authors Jyrki Akkanen

Publication date 14 June 1995

zbMATH Keywords

absoluteness of logicsabstract logicgame quantifier logicinfinitely deep languageKPU

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Other infinitary logic (03C75) Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95)

Recommendations

• A generalization of abstract model theory
• Strong logics of first and second order
• scientific article; zbMATH DE number 3941493
• Nice infinitary logics
• On Absoluteness

Cited in

(9)

• Perfect Pavelka logic
• Absoluteness and the Skolem Paradox
• THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
• Changing a Semantics: Opportunism or Courage?
• \(\in_\mu\)-logic -- a theory of propositional logics
• On Absoluteness
• LOGICALITY AND MODEL CLASSES
• Strong logics of first and second order
• Independence proofs in predicate logic with infinitely long expressions

This page was built for publication:

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