Searching for authors named "Erik Palmgren" – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
Coequalisers in formal topology
- …Coequalisers in formal topology Erik Palmgren U.U.D.M. Report 2005:17 ISSN 1101–3591 Department…
- Add To MetaCart
-
A Direct Proof That Certain Reduced Products Are Countably Saturated
- …A direct proof that certain reduced products are countably saturated Erik Palmgren Department…
- Add To MetaCart
-
Maximal and Partial Points in Formal Spaces
- … (Palmgren 1998)). This universe could also be considered as the set of enumerable sets relative…
- Cited by 1 (0 self) – Add To MetaCart
-
Continuity on the real line and in formal spaces
- …Continuity on the real line and in formal spaces 1 Introduction Erik Palmgren ∗ October 16, 2004…
- Cited by 6 (5 self) – Add To MetaCart
-
Constructive Completions of Ordered Sets, Groups and Fields
- …Constructive completions of ordered sets, groups and fields Erik Palmgren* March 11, 2003…
- Cited by 2 (0 self) – Add To MetaCart
-
Regular Universes and Formal Spaces
- …Regular universes and formal spaces Erik Palmgren* September 4, 2002 Abstract We present…
- Cited by 2 (2 self) – Add To MetaCart
-
An Intuitionistic Axiomatisation of Real Closed Fields
- …An intuitionistic axiomatisation of real closed fields Erik Palmgren # March 30, 2001 Abstract…
- Cited by 1 (1 self) – Add To MetaCart
-
Constructive Nonstandard Representations of Generalized Functions
- …Constructive Nonstandard Representations of Generalized Functions Erik Palmgren November 1, 1998…
- Cited by 2 (2 self) – Add To MetaCart
-
A construction of Type:Type in Martin-Löf's partial type theory with one universe
- … with one universe 1 Erik Palmgren Department of mathematics, Uppsala university Thunbergsv agen 3, S-752…
- Cited by 1 (0 self) – Add To MetaCart
-
From intuitionistic to point-free topology: on the foundation of homotopy theory
- …From intuitionistic to point-free topology 1 Introduction Erik Palmgren ∗ 20 December 2005 Brouwer…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
