Academic Journals Database
Disseminating quality controlled scientific knowledge

Journal of Logic and Analysis

ISSN: 1759--9008
Publisher: Department of Mathematics, University of York, UK


ADD TO MY LIST
 
Conway names, the simplicity hierarchy and the surreal number tree

Author(s): Philip Ehrlich
Volume: 3
Year: 2011
Cell decomposition for semiaffine structures on p-adic fields

Author(s): Eva Leenknegt
Volume: 4
Year: 2012
Reverse mathematics, trichotomy, and dichotomy

Author(s): François G Dorais | Jeffry L Hirst | Paul Shafer
Volume: 4
Year: 2012
On uniform canonical bases in Lp lattices and other metric structures

Author(s): Itaï Ben Yaacov
Volume: 4
Year: 2012
Relative set theory: Strong stability

Author(s): Karel Hrbacek
Volume: 4
Year: 2012
Fixed point theorems in constructive mathematics

Author(s): Matthew Hendtlass
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
Axiom of Choice in nonstandard set theory

Author(s): Karel Hrbacek
Volume: 4
Year: 2012
The Vitali covering theorem in constructive mathematics

Author(s): Hannes Diener | Anton Hedin
Volume: 4
Year: 2012
More reverse mathematics of the Heine-Borel Theorem

Author(s): Jeffry L Hirst | Jessica Miller
Volume: 4
Year: 2012
Generating the Pfaffian closure with total Pfaffian functions

Author(s): Gareth Jones | Patrick Speissegger
Volume: 4
Year: 2012
A correspondence principle for the Gowers norms

Author(s): Henry Towsner
Volume: 4
Year: 2012
A metastable dominated convergence theorem

Author(s): Jeremy Avigad | Edward T Dean | Jason Rute
Volume: 4
Year: 2012
Convergence results for function spaces over o-minimal structures

Author(s): Margaret E M Thomas
Volume: 4
Year: 2012
Quantifier elimination in the theory of Lp(Lq) Banach lattices

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
Constructive reverse investigations into differential equations

Author(s): Hannes Diener | Iris Loeb
Volume: 3
Year: 2011
Ends of groups: a nonstandard perspective

Author(s): Isaac Goldbring
Volume: 3
Year: 2011
Unique paths as formal points

Author(s): Thierry Coquand | Peter Schuster
Volume: 3
Year: 2011
Minima and best approximations in constructive analysis

Author(s): Matthew Hendtlass | Peter Schuster
Volume: 3
Year: 2011
Uniform liftings of continuous mappings

Author(s): Alexander P Pyshchev
Volume: 3
Year: 2011
Subspace structure of some operator and Banach spaces

Author(s): Timur Oikhberg | Christian Rosendal
Volume: 3
Year: 2011
Constructive theory of Banach algebras

Author(s): Thierry Coquand | Bas Spitters
Volume: 2
Year: 2010
Addendum and Erratum to “Geometric spaces with no points”

Author(s): Robert Lubarsky
Volume: 2
Year: 2010
The probability distribution as a computational resource for randomness testing

Author(s): Bjørn Kjos-Hanssen
Volume: 2
Year: 2010
Complex spaces and nonstandard schemes

Author(s): Adel Khalfallah | Siegmund Kosarew
Volume: 2
Year: 2010
Relative set theory: Some external issues

Author(s): Karel Hrbacek
Volume: 2
Year: 2010
Harmonic measure and subanalytically tame measures

Author(s): Tobias Kaiser
Volume: 2
Year: 2010
Geometric spaces with no points

Author(s): Robert Lubarsky
Volume: 2
Year: 2010
A lambda calculus for real analysis

Author(s): Paul Taylor
Volume: 2
Year: 2010
Splitting in solvable groups of finite Morley rank

Author(s): Olivier Frécon
Volume: 2
Year: 2010
Stability of group homomorphisms in the compact-open topology

Author(s): Pavol Zlatos
Volume: 2
Year: 2010
Open sublocales of localic completions

Author(s): Erik Palmgren
Volume: 2
Year: 2010
Localic completion of generalized metric spaces II: Powerlocales

Author(s): Steven Vickers
Volume: 1
Year: 2009
Signed-bit representations of real numbers

Author(s): Robert Lubarsky | Fred Richman
Volume: 1
Year: 2009
A computational aspect of the Lebesgue differentiation theorem

Author(s): Noopur Pathak
Volume: 1
Year: 2009
Relative set theory: Internal view

Author(s): Karel Hrbacek
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
A decomposition of Brouwer’s fan theorem

Author(s): Josef Berger
Volume: 1
Year: 2009
Nonstandard hulls of locally exponential Lie algebras

Author(s): Isaac Goldbring
Volume: 1
Year: 2009
Decomposition of terms in Lucas sequences

Author(s): Abdelmadjid Boudaoud
Volume: 1
Year: 2009
Integrals and valuations

Author(s): Thierry Coquand | Bas Spitters
Volume: 1
Year: 2009
Modular functionals and perturbations of Nakano spaces

Author(s): Itaï Ben Yaacov
Volume: 1
Year: 2009
Save time & money - Smart Internet Solutions      Why do you need a reservation system?