Fujiwara, Makoto; Kawai, Tatsuji Characterising Brouwer’s continuity by bar recursion on moduli of continuity. (English) Zbl 1496.03254 Arch. Math. Logic 60, No. 1-2, 241-263 (2021). Reviewer: Danko Ilik (Paris) MSC: 03F55 03B30 03F35 03F50 03F10 × Cite Format Result Cite Review PDF Full Text: DOI
Azimipour, Sanaz; Naumov, Pavel Axiomatic theory of betweenness. (English) Zbl 1496.03033 Arch. Math. Logic 60, No. 1-2, 227-239 (2021). Reviewer: Paul Bankston (Milwaukee) MSC: 03B30 03B10 51H15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pianigiani, Duccio; Sorbi, Andrea A note on uniform density in weak arithmetical theories. (English) Zbl 1477.03170 Arch. Math. Logic 60, No. 1-2, 211-225 (2021). Reviewer: Leszek Aleksander Kołodziejczyk (Warszawa) MSC: 03D45 03F30 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
Kostana, Ziemowit On countably saturated linear orders and certain class of countably saturated graphs. (English) Zbl 1498.03080 Arch. Math. Logic 60, No. 1-2, 189-209 (2021). MSC: 03C55 06A05 05C63 03C50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Finkel, Olivier; Lecomte, Dominique Some complete \(\omega\)-powers of a one-counter language, for any Borel class of finite rank. (English) Zbl 1498.03104 Arch. Math. Logic 60, No. 1-2, 161-187 (2021). MSC: 03E15 54H05 03D05 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wu, Huishan Ring structure theorems and arithmetic comprehension. (English) Zbl 1473.03009 Arch. Math. Logic 60, No. 1-2, 145-160 (2021). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D15 03F35 03D80 13E10 × Cite Format Result Cite Review PDF Full Text: DOI
Tari, Somayyeh Strong cell decomposition property in o-minimal traces. (English) Zbl 1481.03027 Arch. Math. Logic 60, No. 1-2, 135-144 (2021). Reviewer: Assaf Hasson (Be’er Sheva) MSC: 03C64 03C50 × Cite Format Result Cite Review PDF Full Text: DOI
Banakh, Taras Selection properties of the split interval and the Continuum hypothesis. (English) Zbl 1479.54042 Arch. Math. Logic 60, No. 1-2, 121-133 (2021). Reviewer: Miroslav Repický (Košice) MSC: 54C65 54F05 54H05 03E50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Backlinks: MO MO OA License
McNicholl, Timothy H. Continuous logic and embeddings of Lebesgue spaces. (English) Zbl 1498.46011 Arch. Math. Logic 60, No. 1-2, 105-119 (2021). MSC: 46B04 03C66 46B08 46B09 46B42 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kristiansen, Lars; Murwanashyaka, Juvenal First-order concatenation theory with bounded quantifiers. (English) Zbl 1498.03021 Arch. Math. Logic 60, No. 1-2, 77-104 (2021). MSC: 03B10 03B25 03D40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Bonzio, S.; Moraschini, T.; Pra Baldi, M. Logics of left variable inclusion and Płonka sums of matrices. (English) Zbl 1491.03088 Arch. Math. Logic 60, No. 1-2, 49-76 (2021). Reviewer: Alex Citkin (Warren) MSC: 03G27 03G25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fuchino, Sakaé; Rodrigues, André Ottenbreit Maschio; Sakai, Hiroshi Strong downward Löwenheim-Skolem theorems for stationary logics. I. (English) Zbl 1498.03117 Arch. Math. Logic 60, No. 1-2, 17-47 (2021). MSC: 03E35 03E55 03E65 03E75 05C63 × Cite Format Result Cite Review PDF Full Text: DOI
Sargsyan, Grigor \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire. (English) Zbl 1498.03122 Arch. Math. Logic 60, No. 1-2, 1-15 (2021). MSC: 03E60 03E15 03E55 03E45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv