Constructive set theoretic models of typed combinatory logic

DOI10.2307/2275327MaRDI QIDQ5287682zbMATH OpenOpenAlexFDO

Authors A. Knobel

Publication date 17 August 1993

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

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

zbMATH Keywords

constructive set theoryextension modelssimply typed combinatory logicsimply typed combinatory modelsspace of singletonssubalgebras of full function space models

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Recommendations

• scientific article; zbMATH DE number 4004153
• The axiom of multiple choice and models for constructive set theory
• scientific article; zbMATH DE number 1499094
• Some generalizations to two systems of set theory based on combinatory logic
• On combinatory algebras and their expansions

Cites work

• Constructivism in mathematics. An introduction. Volume II
• Functionals defined by recursion
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3577208 (Why is no real title available?)
• LCF considered as a programming language
• Logical relations and the typed λ-calculus
• Sheaf models for set theory

Cited in

(5)

• Algebraic specifications, higher-order types and set-theoretic models
• M-set models
• scientific article; zbMATH DE number 3941502 (Why is no real title available?)
• scientific article; zbMATH DE number 4004153 (Why is no real title available?)
• Representing model theory in a type-theoretical logical framework

This page was built for publication: Constructive set theoretic models of typed combinatory logic

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