Erik Palmgren

From MaRDI portal
Person:185810

Available identifiers

zbMath Open palmgren.erikMaRDI QIDQ185810

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q60606782023-11-03Paper
From type theory to setoids and back2023-04-19Paper
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS2021-01-29Paper
Categories with families and first-order logic with dependent sorts2019-10-07Paper
A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY2018-05-03Paper
A Constructive Examination of a Russell-style Ramified Type Theory2017-04-22Paper
A constructive examination of rectifiability2017-04-10Paper
Constructions of categories of setoids from proof-irrelevant families2017-02-24Paper
Constructivist Versus Structuralist Foundations2015-06-05Paper
Constructing categories and setoids of setoids in type theory2014-09-30Paper
Formal continuity implies uniform continuity near compact images on metric spaces2014-03-21Paper
A generalized cut characterization of the fullness axiom in CZF2013-06-11Paper
Yet another category of setoids with equality on objects2013-04-21Paper
Open sublocales of localic completions2012-12-17Paper
A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis2012-12-17Paper
Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets2012-09-06Paper
Double sequences, almost Cauchyness and BD-N2012-08-01Paper
A predicative completion of a uniform space2012-06-01Paper
Proof-relevance of families of setoids and identity in type theory2012-02-10Paper
Metric complements of overt closed sets2011-09-27Paper
Introduction: The Three Foundational Programmes2009-03-12Paper
From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory2009-03-12Paper
https://portal.mardi4nfdi.de/entity/Q35226692008-09-03Paper
https://portal.mardi4nfdi.de/entity/Q54546242008-03-31Paper
Resolution of the uniform lower bound problem in constructive analysis2008-03-07Paper
https://portal.mardi4nfdi.de/entity/Q53108842007-10-15Paper
Internalising modified realisability in constructive type theory2007-10-11Paper
A constructive and functorial embedding of locally compact metric spaces into locales2007-05-30Paper
Partial Horn logic and Cartesian categories2007-02-14Paper
Binary refinement implies discrete exponentiation2007-01-29Paper
Quotient topologies in constructive set theory and type theory2006-08-16Paper
https://portal.mardi4nfdi.de/entity/Q54809402006-08-07Paper
https://portal.mardi4nfdi.de/entity/Q54773602006-07-03Paper
https://portal.mardi4nfdi.de/entity/Q57185692006-01-16Paper
Maximal and partial points in formal spaces2005-12-06Paper
Regular universes and formal spaces2005-12-06Paper
Constructive completions of ordered sets, groups and fields2005-08-25Paper
A categorical version of the BrouwerHeytingKolmogorov interpretation2004-05-27Paper
Metric Boolean algebras and constructive measure theory2003-09-16Paper
https://portal.mardi4nfdi.de/entity/Q45527452003-05-12Paper
Wellfounded trees in categories2003-05-08Paper
Type theories, toposes and constructive set theory: Predicative aspects of AST2002-12-03Paper
An Intuitionistic Axiomatisation of Real Closed Fields2002-05-29Paper
Real numbers in the topos of sheaves over the category of filters2001-12-21Paper
Constructive nonstandard representations of generalized functions2001-06-28Paper
Intuitionistic choice and classical logic2000-11-05Paper
An Effective Conservation Result for Nonstandard Arithmetic2000-07-27Paper
Hyperfinite type structures2000-06-22Paper
Constructive Sheaf Semantics2000-04-06Paper
Inaccessibility in constructive set theory and type theory1999-11-23Paper
Developments in Constructive Nonstandard Analysis1999-08-31Paper
https://portal.mardi4nfdi.de/entity/Q42473081999-06-16Paper
Minimal models of Heyting arithmetic1998-11-02Paper
A logical presentation of the continuous functionals1998-02-02Paper
A sheaf-theoretic foundation for nonstandard analysis1998-01-28Paper
https://portal.mardi4nfdi.de/entity/Q48931001996-09-01Paper
The Friedman‐Translation for Martin‐Löf's Type Theory1995-12-13Paper
A constructive approach to nonstandard analysis1995-07-03Paper
https://portal.mardi4nfdi.de/entity/Q43124601994-11-08Paper
A note on Mathematics of infinity1994-09-01Paper
An information system interpretation of Martin-Löf's partial type theory with universes1994-06-14Paper
Type-theoretic interpretation of iterated, strictly positive inductive definitions1994-05-23Paper
Remarks on Martin-Löf's partial type theory1993-11-28Paper
A construction of type: type in Martin-Löf's partial type theory with one universe1992-06-27Paper
Domain interpretations of Martin-Löf's partial type theory1990-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Erik Palmgren