![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Journal of Logic and Analysis, Volume 4
Volume 4, 2012
- Margaret E. M. Thomas:
Convergence results for function spaces over o-minimal structures. - Erik Palmgren:
A note on Brouwer's weak continuity principle and the transfer principle in nonstandard analysis. - Jeremy Avigad, Edward T. Dean, Jason M. Rute:
A metastable dominated convergence theorem. - Henry Towsner:
A correspondence principle for the Gowers norms. - Gareth Jones, Patrick Speissegger:
Generating the Pfaffian closure with total Pfaffian functions. - Jeffry L. Hirst, Jessica Miller:
More reverse mathematics of the Heine-Borel Theorem. - Hannes Diener, Anton Hedin:
The Vitali covering theorem in constructive mathematics. - Karel Hrbacek:
Axiom of Choice in nonstandard set theory. - Vera Fischer, Sy-David Friedman, Asger Törnquist:
Projective maximal families of orthogonal measures with large continuum. - Matthew Hendtlass:
Fixed point theorems in constructive mathematics. - Karel Hrbacek:
Relative set theory: Strong stability. - Itaï Ben Yaacov:
On uniform canonical bases in Lp lattices and other metric structures. - François G. Dorais, Jeffry L. Hirst, Paul Shafer:
Reverse mathematics, trichotomy, and dichotomy. - Eva Leenknegt:
Cell decomposition for semiaffine structures on p-adic fields. - Thierry Coquand, Bas Spitters:
A constructive proof of Simpson's Rule. - Steven C. Leth:
Regions in the nonstandard plane that contain no standard points. - Alexander P. Kreuzer:
A logical analysis of the generalized Banach contractions principle.
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.