Pages that link to "Item:Q1080424"
From MaRDI portal
The following pages link to Constructive theory of sets with types; compatibility with Church's thesis (Q1080424):
Displaying 8 items.
- Interpretation of constructive multi-typed theory in the theory of arithmetical truth (Q266212) (← links)
- Intensions, Church's Thesis, and the formalization of mathematics (Q1109758) (← links)
- Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice (Q1756495) (← links)
- Metamathematical properties of a constructive multi-typed theory (Q2363505) (← links)
- A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS (Q3450813) (← links)
- First-order theories from a constructive (''naive'') point of view: Constructive compatibility of mathematical and philosophical principles in a ''large'' deductive system (Q3973572) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- An Intuitionistic Version of Cantor's Theorem (Q5687407) (← links)