Pages that link to "Item:Q1372877"
From MaRDI portal
The following pages link to Constructive sets in computable sets (Q1372877):
Displaying 7 items.
- Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\) (Q946579) (← links)
- Productive sets and constructively nonpartial-recursive functions (Q1105589) (← links)
- Structures definable in polymorphism (Q1273075) (← links)
- Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
- (Q3174928) (← links)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
- Semantics of constructions. I: The traditional approach (Q5934287) (← links)