Showing 1 - 20 results of 48 for search 'Journal of Logic and Analysis', query time: 2.14s Refine Results
  1. 1
    Ends of groups: a nonstandard perspective
    by Isaac Goldbring
    Published 2011-08-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  2. 2
    Integrals and valuations
    by Bas Spitters, Thierry Coquand
    Published 2009-03-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  3. 3
    Localic completion of generalized metric spaces II: Powerlocales
    by Steven Vickers
    Published 2009-10-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  4. 4
    Cell decomposition for semiaffine structures on p-adic fields
    by Eva Leenknegt
    Published 2012-08-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  5. 5
    Constructive theory of Banach algebras
    by Thierry Coquand, Bas Spitters
    Published 2010-12-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  6. 6
    The probability distribution as a computational resource for randomness testing
    by Bjørn Kjos-Hanssen
    Published 2010-11-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  7. 7
    Relative set theory: Some external issues
    by Karel Hrbacek
    Published 2010-09-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  8. 8
    Unique paths as formal points
    by Thierry Coquand, Peter Schuster
    Published 2011-08-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  9. 9
    Uniform liftings of continuous mappings
    by Alexander P Pyshchev
    Published 2011-04-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  10. 10
    A lambda calculus for real analysis
    by Paul Taylor
    Published 2010-08-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  11. 11
    Stability of group homomorphisms in the compact-open topology
    by Pavol Zlatos
    Published 2010-04-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  12. 12
    Decomposition of terms in Lucas sequences
    by Abdelmadjid Boudaoud
    Published 2009-04-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  13. 13
    Locating subsets of B(H) relative to seminorms inducing the strong-operator topology
    by Douglas Bridges
    Published 2011-04-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  14. 14
    Splitting in solvable groups of finite Morley rank
    by Olivier Frécon
    Published 2010-06-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  15. 15
    A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis
    by Erik Palmgren
    Published 2012-01-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  16. 16
    Axiom of Choice in nonstandard set theory
    by Karel Hrbacek
    Published 2012-04-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  17. 17
    A decomposition of Brouwer’s fan theorem
    by Josef Berger
    Published 2009-05-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  18. 18
    Constructive reverse investigations into differential equations
    by Hannes Diener, Iris Loeb
    Published 2011-09-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  19. 19
    Geometric spaces with no points
    by Robert Lubarsky
    Published 2010-08-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
  20. 20
    A metastable dominated convergence theorem
    by Jeremy Avigad, Edward T Dean, Jason Rute
    Published 2012-02-01
    “...Journal of Logic and Analysis...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search