Truth Definitions, Skolem Functions and Axiomatic Set Theory

DOI10.2307/421033zbMath0918.03005OpenAlexW2148121910MaRDI QIDQ4227856

Jaakko Hintikka

Publication date: 17 August 1999

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0403-toc.htm

zbMATH Keywords

Henkin quantifierIF logicindependence friendly logicSkolemization

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Logic with extra quantifiers and operators (03C80) Basic properties of first-order languages and structures (03C07) Gödel numberings and issues of incompleteness (03F40)

Related Items (3)

On Tarski's assumptions ⋮ Independence-friendly logic and axiomatic set theory ⋮ Quantum logic as a fragment of independence-friendly logic

Cites Work

• Choice Implies Excluded Middle
• Finite partially-ordered quantification
• Consistency of the Continuum Hypothesis. (AM-3)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Truth Definitions, Skolem Functions and Axiomatic Set Theory