A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis

Author(s): Erik Palmgren

Volume: 4

Year: 2012

Author(s): Erik Palmgren

Volume: 4

Year: 2012

A metastable dominated convergence theorem

Author(s): Jeremy Avigad | Edward T Dean | Jason Rute

Volume: 4

Year: 2012

Author(s): Jeremy Avigad | Edward T Dean | Jason Rute

Volume: 4

Year: 2012

On uniform canonical bases in

Author(s): Itaï Ben Yaacov

Volume: 4

Year: 2012

*L*p lattices and other metric structuresAuthor(s): Itaï Ben Yaacov

Volume: 4

Year: 2012

Convergence results for function spaces over o-minimal structures

Author(s): Margaret E M Thomas

Volume: 4

Year: 2012

Author(s): Margaret E M Thomas

Volume: 4

Year: 2012

Reverse mathematics, trichotomy, and dichotomy

Author(s): François G Dorais | Jeffry L Hirst | Paul Shafer

Volume: 4

Year: 2012

Author(s): François G Dorais | Jeffry L Hirst | Paul Shafer

Volume: 4

Year: 2012

More reverse mathematics of the Heine-Borel Theorem

Author(s): Jeffry L Hirst | Jessica Miller

Volume: 4

Year: 2012

Author(s): Jeffry L Hirst | Jessica Miller

Volume: 4

Year: 2012

The Vitali covering theorem in constructive mathematics

Author(s): Hannes Diener | Anton Hedin

Volume: 4

Year: 2012

Author(s): Hannes Diener | Anton Hedin

Volume: 4

Year: 2012

Cell decomposition for semiaffine structures on p-adic fields

Author(s): Eva Leenknegt

Volume: 4

Year: 2012

Author(s): Eva Leenknegt

Volume: 4

Year: 2012

Projective maximal families of orthogonal measures with large continuum

Author(s): Vera Fischer | Sy David Friedman | Asger Törnquist

Volume: 4

Year: 2012

Author(s): Vera Fischer | Sy David Friedman | Asger Törnquist

Volume: 4

Year: 2012

Generating the Pfaffian closure with total Pfaffian functions

Author(s): Gareth Jones | Patrick Speissegger

Volume: 4

Year: 2012

Author(s): Gareth Jones | Patrick Speissegger

Volume: 4

Year: 2012

Radically elementary analysis of an interacting particle system at an unstable equilibrium

Author(s): Heinz Weisshaupt

Volume: 3

Year: 2011

Author(s): Heinz Weisshaupt

Volume: 3

Year: 2011

Locating subsets of B(H) relative to seminorms inducing the strong-operator topology

Author(s): Douglas Bridges

Volume: 3

Year: 2011

Author(s): Douglas Bridges

Volume: 3

Year: 2011

Constructive reverse investigations into differential equations

Author(s): Hannes Diener | Iris Loeb

Volume: 3

Year: 2011

Author(s): Hannes Diener | Iris Loeb

Volume: 3

Year: 2011

Minima and best approximations in constructive analysis

Author(s): Matthew Hendtlass | Peter Schuster

Volume: 3

Year: 2011

Author(s): Matthew Hendtlass | Peter Schuster

Volume: 3

Year: 2011

Quantifier elimination in the theory of Lp(Lq) Banach lattices

Author(s): C Ward Henson | Yves Raynaud

Volume: 3

Year: 2011

Author(s): C Ward Henson | Yves Raynaud

Volume: 3

Year: 2011

Algebraic properties of external numbers

Author(s): Bruno Dinis | Imme van den Berg

Volume: 3

Year: 2011

Author(s): Bruno Dinis | Imme van den Berg

Volume: 3

Year: 2011

Subspace structure of some operator and Banach spaces

Author(s): Timur Oikhberg | Christian Rosendal

Volume: 3

Year: 2011

Author(s): Timur Oikhberg | Christian Rosendal

Volume: 3

Year: 2011

Conway names, the simplicity hierarchy and the surreal number tree

Author(s): Philip Ehrlich

Volume: 3

Year: 2011

Author(s): Philip Ehrlich

Volume: 3

Year: 2011

Description of locally finite families from a nonstandard point of view

Author(s): Ulf Clotz

Volume: 2

Year: 2010

Author(s): Ulf Clotz

Volume: 2

Year: 2010

The probability distribution as a computational resource for randomness testing

Author(s): Bjørn Kjos-Hanssen

Volume: 2

Year: 2010

Author(s): Bjørn Kjos-Hanssen

Volume: 2

Year: 2010

Constructive theory of Banach algebras

Author(s): Thierry Coquand | Bas Spitters

Volume: 2

Year: 2010

Author(s): Thierry Coquand | Bas Spitters

Volume: 2

Year: 2010

Complex spaces and nonstandard schemes

Author(s): Adel Khalfallah | Siegmund Kosarew

Volume: 2

Year: 2010

Author(s): Adel Khalfallah | Siegmund Kosarew

Volume: 2

Year: 2010

Stability of group homomorphisms in the compact-open topology

Author(s): Pavol Zlatos

Volume: 2

Year: 2010

Author(s): Pavol Zlatos

Volume: 2

Year: 2010

Addendum and Erratum to “Geometric spaces with no points”

Author(s): Robert Lubarsky

Volume: 2

Year: 2010

Author(s): Robert Lubarsky

Volume: 2

Year: 2010

Localic completion of generalized metric spaces II: Powerlocales

Author(s): Steven Vickers

Volume: 1

Year: 2009

Author(s): Steven Vickers

Volume: 1

Year: 2009

Diffusion processes via parabolic equations: an infinitesimal approach to Lindeberg’s limit theorem

Author(s): Heinz Weisshaupt

Volume: 1

Year: 2009

Author(s): Heinz Weisshaupt

Volume: 1

Year: 2009

Signed-bit representations of real numbers

Author(s): Robert Lubarsky | Fred Richman

Volume: 1

Year: 2009

Author(s): Robert Lubarsky | Fred Richman

Volume: 1

Year: 2009

On perturbations of Hilbert spaces and probability algebras with a generic automorphism

Author(s): Itaï Ben Yaacov | Alexander Berenstein

Volume: 1

Year: 2009

Author(s): Itaï Ben Yaacov | Alexander Berenstein

Volume: 1

Year: 2009

Modular functionals and perturbations of Nakano spaces

Author(s): Itaï Ben Yaacov

Volume: 1

Year: 2009

Author(s): Itaï Ben Yaacov

Volume: 1

Year: 2009

Nonstandard hulls of locally exponential Lie algebras

Author(s): Isaac Goldbring

Volume: 1

Year: 2009

Author(s): Isaac Goldbring

Volume: 1

Year: 2009

A computational aspect of the Lebesgue differentiation theorem

Author(s): Noopur Pathak

Volume: 1

Year: 2009

Author(s): Noopur Pathak

Volume: 1

Year: 2009