The following pages link to Erik Palmgren (Q185810):
Displaying 50 items.
- A predicative completion of a uniform space (Q424538) (← links)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- Constructions of categories of setoids from proof-irrelevant families (Q512135) (← links)
- Proof-relevance of families of setoids and identity in type theory (Q661282) (← links)
- Remarks on Martin-Löf's partial type theory (Q688734) (← links)
- Type-theoretic interpretation of iterated, strictly positive inductive definitions (Q688845) (← links)
- Binary refinement implies discrete exponentiation (Q861570) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- A constructive and functorial embedding of locally compact metric spaces into locales (Q881455) (← links)
- Domain interpretations of Martin-Löf's partial type theory (Q916656) (← links)
- Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
- An information system interpretation of Martin-Löf's partial type theory with universes (Q1308982) (← links)
- A sheaf-theoretic foundation for nonstandard analysis (Q1356978) (← links)
- Metric Boolean algebras and constructive measure theory (Q1407569) (← links)
- Wellfounded trees in categories (Q1577483) (← links)
- A constructive approach to nonstandard analysis (Q1892939) (← links)
- Intuitionistic choice and classical logic (Q1976877) (← links)
- Categories with families and first-order logic with dependent sorts (Q2326422) (← links)
- Constructive completions of ordered sets, groups and fields (Q2488274) (← links)
- Quotient topologies in constructive set theory and type theory (Q2498911) (← links)
- Maximal and partial points in formal spaces (Q2575773) (← links)
- Regular universes and formal spaces (Q2575774) (← links)
- Double sequences, almost Cauchyness and BD-N (Q2903765) (← links)
- Constructing categories and setoids of setoids in type theory (Q2921123) (← links)
- A constructive examination of rectifiability (Q2974667) (← links)
- Open sublocales of localic completions (Q3145946) (← links)
- A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis (Q3145969) (← links)
- Metric complements of overt closed sets (Q3170557) (← links)
- (Q3522669) (← links)
- Introduction: The Three Foundational Programmes (Q3613297) (← links)
- From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory (Q3613308) (← links)
- A construction of type: type in Martin-Löf's partial type theory with one universe (Q3985097) (← links)
- Developments in Constructive Nonstandard Analysis (Q4227854) (← links)
- (Q4247308) (← links)
- A note on <i>Mathematics of infinity</i> (Q4283062) (← links)
- (Q4312460) (← links)
- Constructive Sheaf Semantics (Q4351921) (← links)
- A logical presentation of the continuous functionals (Q4372919) (← links)
- Minimal models of Heyting arithmetic (Q4382484) (← links)
- A categorical version of the BrouwerHeytingKolmogorov interpretation (Q4463988) (← links)
- An Intuitionistic Axiomatisation of Real Closed Fields (Q4531092) (← links)
- (Q4552745) (← links)
- A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY (Q4637943) (← links)
- The Friedman‐Translation for Martin‐Löf's Type Theory (Q4844507) (← links)
- (Q4893100) (← links)
- A generalized cut characterization of the fullness axiom in CZF (Q4925158) (← links)
- Hyperfinite type structures (Q4934036) (← links)
- An Effective Conservation Result for Nonstandard Arithmetic (Q4939397) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
- Constructivist Versus Structuralist Foundations (Q5253932) (← links)
