The axiom of choice and combinatory logic

DOI10.2178/JSL/1067620175zbMath1063.03007OpenAlexW1978238859WikidataQ114005175 ScholiaQ114005175MaRDI QIDQ4650272

Andrea Cantini

Publication date: 9 February 2005

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

Full work available at URL: https://projecteuclid.org/euclid.jsl/1067620175

zbMATH Keywords

forcingrealizability\(\lambda\)-calculuscombinatory logic

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Axiom of choice and related propositions (03E25) Combinatory logic and lambda calculus (03B40)

Cites Work

• Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978.
• Theories of types and names with positive stratified comprehension
• Interpreting classical theories in constructive ones
• Notes on Formal Theories of Truth
• A logic stronger than intuitionism
• A new method for establishing conservativity of classical systems over their intuitionistic version
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The axiom of choice and combinatory logic