( en | de | ru )

 

Disambiguation of "Palmgren, Erik"

Author of the publication

copydeleteadd this publication to your clipboard
Preface to the special issue for The Fifth Workshop on Formal Topology.

, , and . J. Logic & Analysis, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Urban Palmgren

Ernst Palmgren

John Palmgren

Myrna Palmgren

Nilgün Erikli

 

Other publications of authors with the same name

A Sheaf-Theoretic Foundation for Nonstandard Analysis.. Ann. Pure Appl. Log., 85 (1): 69-86 (1997)Continuity on the real line and in formal spaces.. From sets and types to topology and analysis, volume 48 of Oxford logic guides, Oxford University Press, (2005)Double sequences, almost Cauchyness and BD-N., , and . Logic Journal of the IGPL, 20 (1): 349-354 (2012)A Construction of Type: Type in Martin-Löf's Partial Type Theory with One Universe.. J. Symb. Log., 56 (3): 1012-1015 (1991)Introduction: The philosophy of logical consequence and inference., , and . Synthese, 187 (3): 817-820 (2012)Metric Boolean algebras and constructive measure theory., and . Arch. Math. Log., 41 (7): 687-704 (2002)A generalized cut characterization of the fullness axiom in CZF., , and . Logic Journal of the IGPL, 21 (1): 63-76 (2013)Minimal Models of Heyting Arithmetic., and . J. Symb. Log., 62 (4): 1448-1460 (1997)Constructions of categories of setoids from proof-irrelevant families.. Arch. Math. Log., 56 (1-2): 51-66 (2017)Constructivist Versus Structuralist Foundations.. Epistemology versus Ontology, volume 27 of Logic, Epistemology, and the Unity of Science, Springer, (2012)