|
Issue |
Title |
|
Vol 14 (2022) |
Projective sets, intuitionistically |
Abstract
5. [PDF]
|
Wim Veldman |
|
Vol 3 (2011) |
Quantifier elimination in the theory of Lp(Lq) Banach lattices |
Details
11. [PDF]
|
C Ward Henson, Yves Raynaud |
|
Vol 3 (2011) |
Radically elementary analysis of an interacting particle system at an unstable equilibrium |
Details
10. [PDF]
|
Heinz Weisshaupt |
|
Vol 10 (2018) |
Randomness and Solovay degrees |
Abstract
3. [PDF]
|
Kenshi Miyabe, Andre Nies, Frank Stephan |
|
Vol 11 (2019) |
Reducibility, a constructive dual of spatiality |
Abstract
FT1. [PDF]
|
Francesco Ciraulo, Giovanni Sambin |
|
Vol 4 (2012) |
Regions in the nonstandard plane that contain no standard points |
Details
16. [PDF]
|
Steven C. Leth |
|
Vol 5 (2013) |
Relative computability and uniform continuity of relations |
Abstract
7. [PDF]
|
Arno M Pauly, Martin A. Ziegler |
|
Vol 1 (2009) |
Relative set theory: Internal view |
Details
8. [PDF]
|
Karel Hrbacek |
|
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]
|
Boudaoud Abdelmadjid, Bellaouar Djamel |
|
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 17 (2025) |
Simulation of Turing machines with analytic discrete ODEs: Polynomial-time and space over the reals characterised with discrete ordinary differential equations |
Abstract
FDS5. [PDF]
|
Manon Blanc, Olivier Bournez |
|
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 17 (2025) |
Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem |
Abstract
FDS3. [PDF]
|
Andrej Bauer |
|
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 |
|
126 - 150 of 159 Items |
<< < 1 2 3 4 5 6 7 > >> |