Independence-friendly logic and axiomatic set theory

DOI10.1016/j.apal.2003.11.006zbMath1052.03010OpenAlexW2036984032MaRDI QIDQ598297

Jaakko Hintikka

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.006

zbMATH Keywords

Skolem functionAxiomatic set theoryIndependence-friendly logicTruth definition

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30)

Related Items

On Tarski's assumptions, What is the axiomatic method?, A sharing-based approach to supporting adaptation in service compositions, To Peirce Hintikka's thoughts

Cites Work

• Tarski's conception of logic
• Quantum logic as a fragment of independence-friendly logic
• Truth Definitions, Skolem Functions and Axiomatic Set Theory
• Finite Partially‐Ordered Quantifiers
• Finite partially-ordered quantification
• Completeness in the theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item