Truth Definitions, Skolem Functions and Axiomatic Set Theory

DOI10.2307/421033MaRDI QIDQ4227856zbMATH OpenOpenAlexFDO

Authors Jaakko Hintikka

Publication date 17 August 1999

Published in The 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) Basic properties of first-order languages and structures (03C07) Logic with extra quantifiers and operators (03C80) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• Independence-friendly logic and axiomatic set theory
• Axiomatization of a Skolem function in intuitionistic logic
• Skolem functions in non-classical logics
• On Skolem functions in proof theory

Cites work

• Choice Implies Excluded Middle
• Consistency of the Continuum Hypothesis. (AM-3)
• Finite partially-ordered quantification
• scientific article; zbMATH DE number 3782930 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 755667 (Why is no real title available?)
• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)

Cited in

(7)

• Skolem fragments
• Quantum logic as a fragment of independence-friendly logic
• Hintikka and the functions of logic
• On Tarski's assumptions
• Axiomatization of a Skolem function in intuitionistic logic
• Skolem functions in non-classical logics
• Independence-friendly logic and axiomatic set theory

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

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