Pages that link to "Item:Q1071017"
From MaRDI portal
The following pages link to The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017):
Displayed 10 items.
- On the constructive Dedekind reals (Q1000868) (← links)
- Lindenbaum algebras of intuitionistic theories and free categories (Q1092043) (← links)
- On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis (Q1102283) (← links)
- Independence results around constructive ZF (Q1765158) (← links)
- Towards a computation system based on set theory (Q1825191) (← links)
- Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
- Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory (Q2566070) (← links)
- Eighth Latin American Symposium on Mathematical Logic, João Pessoa (Q4008764) (← links)
- The disjunction and related properties for constructive Zermelo-Fraenkel set theory (Q5486250) (← links)
- Intuitionistic sets and ordinals (Q5687312) (← links)