( en | de | ru )

 

Disambiguation of "Palmgren, Erik"

Author of the publication

copydeleteadd this publication to your clipboard
A predicative completion of a uniform space.

, , , and . Ann. Pure Appl. Log., 163 (8): 975-980 (2012)

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

Introduction: The philosophy of logical consequence and inference., , and . Synthese, 187 (3): 817-820 (2012)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)A generalized cut characterization of the fullness axiom in CZF., , and . Logic Journal of the IGPL, 21 (1): 63-76 (2013)Metric Boolean algebras and constructive measure theory., and . Arch. Math. Log., 41 (7): 687-704 (2002)A predicative completion of a uniform space., , , and . Ann. Pure Appl. Log., 163 (8): 975-980 (2012)Regular universes and formal spaces.. Ann. Pure Appl. Log., 137 (1-3): 299-316 (2006)Developments in constructive nonstandard analysis.. Bull. Symb. Log., 4 (3): 233-272 (1998)