|
Issue |
Title |
|
Vol 2 (2010) |
Relative set theory: Some external issues |
Details
8. [PDF]
|
Karel Hrbacek |
|
Vol 4 (2012) |
Relative set theory: Strong stability |
Details
11. [PDF]
|
Karel Hrbacek |
|
Vol 12 (2020) |
Representation of integers: a nonclassical point of view |
Abstract
4. [PDF]
|
Bellaouar Djamel, Boudaoud Abdelmadjid |
|
Vol 4 (2012) |
Reverse mathematics, trichotomy, and dichotomy |
Details
13. [PDF]
|
François G Dorais, Jeffry L Hirst, Paul Shafer |
|
Vol 13 (2021) |
Sheaf representations and locality of Riesz spaces with order unit |
Abstract
2. [PDF]
|
Antonio Di Nola, Giacomo Lenzi, Luca Spada |
|
Vol 1 (2009) |
Signed-bit representations of real numbers |
Details
10. [PDF]
|
Robert Lubarsky, Fred Richman |
|
Vol 11 (2019) |
Sketches for arithmetic universes |
Abstract
FT4. [PDF]
|
Steven Vickers |
|
Vol 12 (2020) |
Solovay reducibility and continuity |
Abstract
2. [PDF]
|
Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa, Toshio Suzuki |
|
Vol 5 (2013) |
Solving the Dirichlet problem constructively |
Details
3. [PDF]
|
Douglas Bridges, Maarten McKubre-Jordens |
|
Vol 16 (2024) |
Some semilattices of definable sets in continuous logic |
Abstract
3. [PDF]
|
James Hanson |
|
Vol 2 (2010) |
Splitting in solvable groups of finite Morley rank |
Details
4. [PDF]
|
Olivier Frécon |
|
Vol 2 (2010) |
Stability of group homomorphisms in the compact-open topology |
Details
3. [PDF]
|
Pavol Zlatos |
|
Vol 3 (2011) |
Subspace structure of some operator and Banach spaces |
Details
2. [PDF]
|
Timur Oikhberg, Christian Rosendal |
|
Vol 6 (2014) |
Surreal analysis: an analogue of real analysis for surreal numbers |
Details
5. [PDF]
|
Simon Rubinstein-Salzedo, Ashvin Anand Swaminathan |
|
Vol 7 (2015) |
The interplay of classes of algorithmically random objects |
Abstract
7. [PDF]
|
Quinn Culver, Christopher P Porter |
|
Vol 2 (2010) |
The probability distribution as a computational resource for randomness testing |
Abstract
10. [PDF]
|
Bjørn Kjos-Hanssen |
|
Vol 4 (2012) |
The Vitali covering theorem in constructive mathematics |
Details
7. [PDF]
|
Hannes Diener, Anton Hedin |
|
Vol 16 (2024) |
Time complexity of the analyst's traveling salesman algorithm |
Abstract
2. [PDF]
|
Anthony Ramirez, Vyron Vellis |
|
Logic and Analysis Vol 1 (2007-8) |
Topometric spaces and perturbations of metric structures |
Details
235-272
|
Itaï Ben Yaacov |
|
Vol 6 (2014) |
Ultrafilters maximal for finite embeddability |
Abstract
6. [PDF]
|
Lorenzo Luperi Baglini |
|
Vol 3 (2011) |
Uniform liftings of continuous mappings |
Details
4. [PDF]
|
Alexander P Pyshchev |
|
Vol 3 (2011) |
Unique paths as formal points |
Details
6. [PDF]
|
Thierry Coquand, Peter Schuster |
|
Vol 11 (2019) |
Value groups and residue fields of models of real exponentiation |
Abstract
1. [PDF]
|
Lothar Sebastian Krapp |
|
126 - 148 of 148 Items |
<< < 1 2 3 4 5 6 |