Erik Palmgren

MaRDI QIDQ185810zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On equality of objects in categories in constructive type theory (available as arXiv preprint)	2023-11-03	Paper
From type theory to setoids and back Mathematical Structures in Computer Science	2023-04-19	Paper
Exact completion and constructive theories of sets Journal of Symbolic Logic	2021-01-29	Paper
Categories with families and first-order logic with dependent sorts Annals of Pure and Applied Logic	2019-10-07	Paper
A constructive examination of a Russell-style ramified type theory The Bulletin of Symbolic Logic	2018-05-03	Paper
A Constructive Examination of a Russell-style Ramified Type Theory (available as arXiv preprint)	2017-04-22	Paper
A constructive examination of rectifiability Journal of Logic and Analysis	2017-04-10	Paper
Constructions of categories of setoids from proof-irrelevant families Archive for Mathematical Logic	2017-02-24	Paper
Constructivist versus structuralist foundations Epistemology versus Ontology	2015-06-05	Paper
Constructing categories and setoids of setoids in type theory Logical Methods in Computer Science	2014-09-30	Paper
Formal continuity implies uniform continuity near compact images on metric spaces Mathematical Logic Quarterly	2014-03-21	Paper
A generalized cut characterization of the fullness axiom in CZF Logic Journal of the IGPL	2013-06-11	Paper
Yet another category of setoids with equality on objects	2013-04-21	Paper
Open sublocales of localic completions Journal of Logic and Analysis	2012-12-17	Paper
A note on Brouwer's weak continuity principle and the transfer principle in nonstandard analysis Journal of Logic and Analysis	2012-12-17	Paper
Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets Annals of Pure and Applied Logic	2012-09-06	Paper
Double sequences, almost Cauchyness and BD-N Logic Journal of the IGPL	2012-08-01	Paper
A predicative completion of a uniform space Annals of Pure and Applied Logic	2012-06-01	Paper
Proof-relevance of families of setoids and identity in type theory Archive for Mathematical Logic	2012-02-10	Paper
Metric complements of overt closed sets Mathematical Logic Quarterly	2011-09-27	Paper
From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory Synthese Library	2009-03-12	Paper
Introduction: The Three Foundational Programmes Synthese Library	2009-03-12	Paper
Non-standard analysis and historical infinitesimals	2008-09-03	Paper
Locally cartesian closed categories without chosen constructions	2008-03-31	Paper
Locally cartesian closed categories without chosen constructions	2008-03-31	Paper
Resolution of the uniform lower bound problem in constructive analysis Mathematical Logic Quarterly	2008-03-07	Paper
scientific article; zbMATH DE number 5200719 (Why is no real title available?)	2007-10-15	Paper
Internalising modified realisability in constructive type theory Logical Methods in Computer Science	2007-10-11	Paper
A constructive and functorial embedding of locally compact metric spaces into locales Topology and its Applications	2007-05-30	Paper
Partial Horn logic and Cartesian categories Annals of Pure and Applied Logic	2007-02-14	Paper
Binary refinement implies discrete exponentiation Studia Logica	2007-01-29	Paper
Quotient topologies in constructive set theory and type theory Annals of Pure and Applied Logic	2006-08-16	Paper
scientific article; zbMATH DE number 5044329 (Why is no real title available?)	2006-08-07	Paper
Predicativity problems in point-free topology	2006-07-03	Paper
scientific article; zbMATH DE number 2247257 (Why is no real title available?)	2006-01-16	Paper
Maximal and partial points in formal spaces Annals of Pure and Applied Logic	2005-12-06	Paper
Regular universes and formal spaces Annals of Pure and Applied Logic	2005-12-06	Paper
Constructive completions of ordered sets, groups and fields Annals of Pure and Applied Logic	2005-08-25	Paper
A categorical version of the BrouwerHeytingKolmogorov interpretation Mathematical Structures in Computer Science	2004-05-27	Paper
Metric Boolean algebras and constructive measure theory Archive for Mathematical Logic	2003-09-16	Paper
scientific article; zbMATH DE number 1795224 (Why is no real title available?)	2003-05-12	Paper
Wellfounded trees in categories Annals of Pure and Applied Logic	2003-05-08	Paper
Type theories, toposes and constructive set theory: Predicative aspects of AST Annals of Pure and Applied Logic	2002-12-03	Paper
An Intuitionistic Axiomatisation of Real Closed Fields	2002-05-29	Paper
Real numbers in the topos of sheaves over the category of filters Journal of Pure and Applied Algebra	2001-12-21	Paper
Constructive nonstandard representations of generalized functions Indagationes Mathematicae. New Series	2001-06-28	Paper
Intuitionistic choice and classical logic Archive for Mathematical Logic	2000-11-05	Paper
An Effective Conservation Result for Nonstandard Arithmetic	2000-07-27	Paper
Hyperfinite type structures Journal of Symbolic Logic	2000-06-22	Paper
Constructive Sheaf Semantics Mathematical Logic Quarterly	2000-04-06	Paper
Inaccessibility in constructive set theory and type theory Annals of Pure and Applied Logic	1999-11-23	Paper
Developments in Constructive Nonstandard Analysis The Bulletin of Symbolic Logic	1999-08-31	Paper
scientific article; zbMATH DE number 1302063 (Why is no real title available?)	1999-06-16	Paper
Minimal models of Heyting arithmetic Journal of Symbolic Logic	1998-11-02	Paper
A logical presentation of the continuous functionals Journal of Symbolic Logic	1998-02-02	Paper
A sheaf-theoretic foundation for nonstandard analysis Annals of Pure and Applied Logic	1998-01-28	Paper
scientific article; zbMATH DE number 922579 (Why is no real title available?)	1996-09-01	Paper
The Friedman‐Translation for Martin‐Löf's Type Theory Mathematical Logic Quarterly	1995-12-13	Paper
A constructive approach to nonstandard analysis Annals of Pure and Applied Logic	1995-07-03	Paper
scientific article; zbMATH DE number 683344 (Why is no real title available?)	1994-11-08	Paper
A note on <i>Mathematics of infinity</i> Journal of Symbolic Logic	1994-09-01	Paper
An information system interpretation of Martin-Löf's partial type theory with universes Information and Computation	1994-06-14	Paper
Type-theoretic interpretation of iterated, strictly positive inductive definitions Archive for Mathematical Logic	1994-05-23	Paper
Remarks on Martin-Löf's partial type theory BIT	1993-11-28	Paper
A construction of type: type in Martin-Löf's partial type theory with one universe Journal of Symbolic Logic	1992-06-27	Paper
Domain interpretations of Martin-Löf's partial type theory Annals of Pure and Applied Logic	1990-01-01	Paper

Research outcomes over time

This page was built for person: Erik Palmgren