Andréka, Hajnal; Madarász, Judit X.; Németi, István; Székely, Gergely Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime. (English) Zbl 07501987 Ann. Pure Appl. Logic 173, No. 5, Article ID 103100, 25 p. (2022). MSC: 03B30 83A05 03B10 03C40 03G99 PDFBibTeX XMLCite \textit{H. Andréka} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103100, 25 p. (2022; Zbl 07501987) Full Text: DOI arXiv
Beklemishev, Lev D.; Pakhomov, Fedor N. Reflection algebras and conservation results for theories of iterated truth. (English) Zbl 07501986 Ann. Pure Appl. Logic 173, No. 5, Article ID 103093, 41 p. (2022). MSC: 03F15 03F30 03F35 03F45 PDFBibTeX XMLCite \textit{L. D. Beklemishev} and \textit{F. N. Pakhomov}, Ann. Pure Appl. Logic 173, No. 5, Article ID 103093, 41 p. (2022; Zbl 07501986) Full Text: DOI arXiv
Marin, Sonia; Miller, Dale; Pimentel, Elaine; Volpe, Marco From axioms to synthetic inference rules via focusing. (English) Zbl 07501985 Ann. Pure Appl. Logic 173, No. 5, Article ID 103091, 32 p. (2022). MSC: 03F03 03B10 03B20 03F07 PDFBibTeX XMLCite \textit{S. Marin} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103091, 32 p. (2022; Zbl 07501985) Full Text: DOI
Hoyrup, Mathieu The fixed-point property for represented spaces. (English) Zbl 1508.03076 Ann. Pure Appl. Logic 173, No. 5, Article ID 103090, 29 p. (2022). Reviewer: Daniel Graça (Faro) MSC: 03D78 03E15 54H05 54H25 03F60 PDFBibTeX XMLCite \textit{M. Hoyrup}, Ann. Pure Appl. Logic 173, No. 5, Article ID 103090, 29 p. (2022; Zbl 1508.03076) Full Text: DOI Link
Wu, Huishan The computational complexity of module socles. (English) Zbl 07501983 Ann. Pure Appl. Logic 173, No. 5, Article ID 103089, 11 p. (2022). MSC: 03D15 03D80 68Q15 68Q17 PDFBibTeX XMLCite \textit{H. Wu}, Ann. Pure Appl. Logic 173, No. 5, Article ID 103089, 11 p. (2022; Zbl 07501983) Full Text: DOI
Kurahashi, Taishi; Okawa, Yuya; Shavrukov, V. Yu.; Visser, Albert On Guaspari’s problem about partially conservative sentences. (English) Zbl 07501982 Ann. Pure Appl. Logic 173, No. 5, Article ID 103087, 25 p. (2022). MSC: 03F40 03F30 03F03 03F99 PDFBibTeX XMLCite \textit{T. Kurahashi} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103087, 25 p. (2022; Zbl 07501982) Full Text: DOI arXiv
Jeon, Hanul Constructive Ackermann’s interpretation. (English) Zbl 1504.03038 Ann. Pure Appl. Logic 173, No. 5, Article ID 103086, 19 p. (2022). Reviewer: Daniel Romano (Banja Luka) MSC: 03F50 03E70 03F30 03F65 PDFBibTeX XMLCite \textit{H. Jeon}, Ann. Pure Appl. Logic 173, No. 5, Article ID 103086, 19 p. (2022; Zbl 1504.03038) Full Text: DOI arXiv
Aguilera, J. P.; Baaz, M.; Bydžovský, J. The number of axioms. (English) Zbl 07501980 Ann. Pure Appl. Logic 173, No. 5, Article ID 103078, 13 p. (2022). MSC: 03F03 03F20 03B10 03F07 PDFBibTeX XMLCite \textit{J. P. Aguilera} et al., Ann. Pure Appl. Logic 173, No. 5, Article ID 103078, 13 p. (2022; Zbl 07501980) Full Text: DOI