Erik Palmgren - RankMe

57 papers A* 1Journal 50Unranked 3

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	From type theory to setoids and back. Math. Struct. Comput. Sci. Erik Palmgren
2020	J	`jnl`	Exact Completion and Constructive Theories of Sets. J. Symb. Log. Jacopo Emmenegger, Erik Palmgren
2019	J	`jnl`	Categories with families and first-order logic with dependent sorts. Ann. Pure Appl. Log. Erik Palmgren
2019	J	`jnl`	Preface to the special issue for The Fifth Workshop on Formal Topology. J. Log. Anal. Thierry Coquand, Maria Emilia Maietti, Erik Palmgren
2018	J	`jnl`	A Constructive Examination of a Russell-Style Ramified Type Theory. Bull. Symb. Log. Erik Palmgren
2017	J	`jnl`	Constructions of categories of setoids from proof-irrelevant families. Arch. Math. Log. Erik Palmgren
2017	—	`conf`	On Equality of Objects in Categories in Constructive Type Theory. TYPES Erik Palmgren
2016	J	`jnl`	A constructive examination of rectifiability. J. Log. Anal. Douglas S. Bridges, Matthew Hendtlass, Erik Palmgren
2015	J	`jnl`	Introduction - from type theory and homotopy theory to univalent foundations. Math. Struct. Comput. Sci. Steve Awodey, Nicola Gambino, Erik Palmgren
2014	J	`jnl`	Formal continuity implies uniform continuity near compact images on metric spaces. Math. Log. Q. Erik Palmgren
2013	J	`jnl`	A generalized cut characterization of the fullness axiom in CZF. Log. J. IGPL Laura Crosilla, Erik Palmgren, Peter Schuster
2012	J	`jnl`	A note on Brouwer's weak continuity principle and the transfer principle in nonstandard analysis. J. Log. Anal. Erik Palmgren
2012	J	`jnl`	A predicative completion of a uniform space. Ann. Pure Appl. Log. Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster
2012	—	`ch.`	Constructivist Versus Structuralist Foundations. Epistemology versus Ontology Erik Palmgren
2012	J	`jnl`	Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets. Ann. Pure Appl. Log. Erik Palmgren
2012	J	`jnl`	Double sequences, almost Cauchyness and BD-N. Log. J. IGPL Josef Berger, Douglas S. Bridges, Erik Palmgren
2012	—	`book`	Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf Epistemology versus Ontology Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm
2012	J	`jnl`	Introduction: The philosophy of logical consequence and inference. Synth. Sten Lindström, Erik Palmgren, Dag Westerståhl
2012	J	`jnl`	Proof-relevance of families of setoids and identity in type theory. Arch. Math. Log. Erik Palmgren
2011	J	`jnl`	Metric complements of overt closed sets. Math. Log. Q. Thierry Coquand, Erik Palmgren, Bas Spitters
2010	J	`jnl`	Open sublocales of localic completions. J. Log. Anal. Erik Palmgren
2008	J	`jnl`	Resolution of the uniform lower bound problem in constructive analysis. Math. Log. Q. Erik Palmgren
2007	J	`jnl`	Partial Horn logic and cartesian categories. Ann. Pure Appl. Log. Erik Palmgren, Steven J. Vickers
2006	J	`jnl`	Binary Refinement Implies Discrete Exponentiation. Stud Logica Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster
2006	J	`jnl`	Maximal and partial points in formal spaces. Ann. Pure Appl. Log. Erik Palmgren
2006	J	`jnl`	Quotient topologies in constructive set theory and type theory. Ann. Pure Appl. Log. Hajime Ishihara, Erik Palmgren
2006	J	`jnl`	Regular universes and formal spaces. Ann. Pure Appl. Log. Erik Palmgren
2005	—	`conf`	Coequalisers of formal topology. Mathematics, Algorithms, Proofs Erik Palmgren
2005	J	`jnl`	Constructive completions of ordered sets, groups and fields. Ann. Pure Appl. Log. Erik Palmgren
2005	—	`ch.`	Continuity on the real line and in formal spaces. From sets and types to topology and analysis Erik Palmgren
2005	J	`jnl`	Internalising modified realisability in constructive type theory CoRR Erik Palmgren
2005	J	`jnl`	Internalising modified realisability in constructive type theory. Log. Methods Comput. Sci. Erik Palmgren
2005	J	`jnl`	Quotient Spaces and Coequalisers in Formal Topology. J. Univers. Comput. Sci. Erik Palmgren
2004	J	`jnl`	A categorical version of the Brouwer-Heyting-Kolmogorov interpretation. Math. Struct. Comput. Sci. Erik Palmgren
2002	J	`jnl`	An Intuitionistic Axiomatisation of Real Closed Fields. Math. Log. Q. Erik Palmgren
2002	J	`jnl`	Metric Boolean algebras and constructive measure theory. Arch. Math. Log. Thierry Coquand, Erik Palmgren
2002	J	`jnl`	Type theories, toposes and constructive set theory: predicative aspects of AST. Ann. Pure Appl. Log. Ieke Moerdijk, Erik Palmgren
2000	J	`jnl`	An Effective Conservation Result for Nonstandard Arithmetic. Math. Log. Q. Erik Palmgren
2000	J	`jnl`	Intuitionistic choice and classical logic. Arch. Math. Log. Thierry Coquand, Erik Palmgren
2000	J	`jnl`	Wellfounded trees in categories. Ann. Pure Appl. Log. Ieke Moerdijk, Erik Palmgren
1999	J	`jnl`	Hyperfinite Type Structures. J. Symb. Log. Dag Normann, Erik Palmgren, Viggo Stoltenberg-Hansen
1998	J	`jnl`	Developments in constructive nonstandard analysis. Bull. Symb. Log. Erik Palmgren
1998	J	`jnl`	Inaccessibility in Constructive Set Theory and Type Theory. Ann. Pure Appl. Log. Michael Rathjen, Edward R. Griffor, Erik Palmgren
1997	J	`jnl`	A Logical Presentation of the Continuous Functionals. J. Symb. Log. Erik Palmgren, Viggo Stoltenberg-Hansen
1997	J	`jnl`	A Sheaf-Theoretic Foundation for Nonstandard Analysis. Ann. Pure Appl. Log. Erik Palmgren
1997	J	`jnl`	Constructive Sheaf Semantics. Math. Log. Q. Erik Palmgren
1997	J	`jnl`	Minimal Models of Heyting Arithmetic. J. Symb. Log. Ieke Moerdijk, Erik Palmgren
1995	J	`jnl`	A Constructive Approach to Nonstandard Analysis. Ann. Pure Appl. Log. Erik Palmgren
1995	A*	`conf`	Logically Presented Domains LICS Erik Palmgren, Viggo Stoltenberg-Hansen
1995	J	`jnl`	The Friedman-Translation for Martin-Löf's Type Theory. Math. Log. Q. Erik Palmgren
1993	J	`jnl`	A Note on Mathematics of infinity. J. Symb. Log. Erik Palmgren
1993	J	`jnl`	An Information System Interpretation of Martin-Löf's Partial Type Theory with Universes Inf. Comput. Erik Palmgren
1993	—	`conf`	Denotational Semantics of Constraint Logic Programming - A Nonstandard Approach. NATO ASI CP Erik Palmgren
1992	J	`jnl`	Remarks on Martin-Löf's Partial Type Theory. BIT Erik Palmgren, Viggo Stoltenberg-Hansen
1992	J	`jnl`	Type-theoretic interpretation of iterated, strictly positive inductive definitions. Arch. Math. Log. Erik Palmgren
1991	J	`jnl`	A Construction of Type: Type in Martin-Löf's Partial Type Theory with One Universe. J. Symb. Log. Erik Palmgren
1990	J	`jnl`	Domain Interpretations of Martin-Löf's Partial Type Theory. Ann. Pure Appl. Log. Erik Palmgren, Viggo Stoltenberg-Hansen