Browse Title Index


 
Issue Title
 
Vol 14 (2022) Polish topologies on groups of non-singular transformations Abstract   4. [PDF]
François Le Maître
 
Vol 17 (2025) Preface to the special issue for the 75th birthday of Dieter Spreen Details   FDS0. [PDF]
Maria Emilia Maietti, Ning Zhong
 
Vol 11 (2019) Preface to the special issue for The Fifth Workshop on Formal Topology Details   FT0. [PDF]
Thierry Coquand, Maria Emilia Maietti, Erik Palmgren
 
Vol 11 (2019) Principles of bar induction and continuity on Baire space Abstract   FT3. [PDF]
Tatsuji Kawai
 
Vol 4 (2012) Projective maximal families of orthogonal measures with large continuum Details   9. [PDF]
Vera Fischer, Sy David Friedman, Asger Törnquist
 
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 17 (2025) Representation of unlimited integers as the product of integers with some constraints Abstract   7. [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 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
 
126 - 150 of 165 Items << < 1 2 3 4 5 6 7 > >>