The Logic of Choice

DOI10.2307/2586700MaRDI QIDQ4527924zbMATH OpenOpenAlexFDO

Authors Andreas Blass, Yuri Gurevich

Publication date 23 November 2001

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

Full work available at URL https://doi.org/10.2307/2586700

zbMATH Keywords

abstract state machinesdelta operatorchoice operatorsHilbert's epsilon symbolindependent choice

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• Epsilon-logic is more expressive than first-order logic over finite structures
• Fixed-point Logics with Nondeterministic Choice
• scientific article; zbMATH DE number 1342208
• Intuitionistic ϵ‐ and τ‐calculi
• Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present

Cites work

• scientific article; zbMATH DE number 784042 (Why is no real title available?)
• scientific article; zbMATH DE number 821280 (Why is no real title available?)
• Descriptive set theory

Cited in

(9)

• A Tailor-Made Test of Intransitive Choice
• On the expressiveness of choice quantification
• The epsilon calculus and Herbrand complexity
• Interpreting HOL in the calculus of constructions
• Hilbert's epsilon as an operator of indefinite committed choice
• Herbrand complexity and the epsilon calculus with equality
• Implicit complexity over an arbitrary structure: Quantifier alternations
• Semantics and proof theory of the epsilon calculus
• De Groot duality and models of choice: angels, demons and nature

This page was built for publication: The Logic of Choice

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