Carl, Merlin; Krapp, Lothar Sebastian Models of true arithmetic are integer parts of models of real exponentation. (English) Zbl 1493.03005 J. Log. Anal. 13, Paper No. 3, 21 p. (2021). Reviewer: Ali Bleybel (Beirut) MSC: 03C62 03C64 06A05 03C60 03H15 12J15 12L12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Kumabe, Masahiro; Miyabe, Kenshi; Mizusawa, Yuki; Suzuki, Toshio Solovay reducibility and continuity. (English) Zbl 1472.03041 J. Log. Anal. 12, Paper No. 2, 22 p. (2020). Reviewer: Liang Yu (Nanjing) MSC: 03D78 03D32 68Q30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Petrakis, Iosif Constructive uniformities of pseudometrics and Bishop topologies. (English) Zbl 1436.03313 J. Log. Anal. 11, Paper No. FT2, 44 p. (2019). Reviewer: Mark Mandelkern (Las Cruces) MSC: 03F60 03F65 × Cite Format Result Cite Review PDF Full Text: Link
Carl, Merlin; Jamneshan, Asgar A transfer principle for second-order arithmetic, and applications. (English) Zbl 1511.03019 J. Log. Anal. 10, Paper No. 8, 32 p. (2018). MSC: 03F35 03C90 03E70 28B20 54C65 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Miyabe, Kenshi; Nies, Andre; Stephan, Frank Randomness and Solovay degrees. (English) Zbl 1460.03014 J. Log. Anal. 10, Paper No. 3, 13 p. (2018). Reviewer: Liang Yu (Nanjing) MSC: 03D32 68Q30 × Cite Format Result Cite Review PDF Full Text: DOI Link OA License
Bienvenu, Laurent; Allen, Kelty; Slaman, Theodore A. On zeros of Martin-Löf random Brownian motion. (English) Zbl 1346.03044 J. Log. Anal. 6, Paper No. 9, 34 p. (2014). MSC: 03D32 60J65 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License