D’Aquino, Paola; Knight, Julia; Lange, Karen Erratum to: “Limit computable integer parts”. (English) Zbl 1319.03050 Arch. Math. Logic 54, No. 3-4, 487-489 (2015). MSC: 03C57 03C64 12L12 PDFBibTeX XMLCite \textit{P. D'Aquino} et al., Arch. Math. Logic 54, No. 3--4, 487--489 (2015; Zbl 1319.03050) Full Text: DOI
Arai, Toshiyasu Predicatively computable functions on sets. (English) Zbl 1371.03094 Arch. Math. Logic 54, No. 3-4, 471-485 (2015). MSC: 03F30 03D15 PDFBibTeX XMLCite \textit{T. Arai}, Arch. Math. Logic 54, No. 3--4, 471--485 (2015; Zbl 1371.03094) Full Text: DOI arXiv
Apter, Arthur W. A universal indestructibility theorem compatible with level by level equivalence. (English) Zbl 1375.03060 Arch. Math. Logic 54, No. 3-4, 463-470 (2015). MSC: 03E35 03E55 PDFBibTeX XMLCite \textit{A. W. Apter}, Arch. Math. Logic 54, No. 3--4, 463--470 (2015; Zbl 1375.03060) Full Text: DOI
Holy, Peter \(\Sigma_1\)-wellorders without collapsing. (English) Zbl 1371.03068 Arch. Math. Logic 54, No. 3-4, 453-462 (2015). MSC: 03E47 03E35 03E55 PDFBibTeX XMLCite \textit{P. Holy}, Arch. Math. Logic 54, No. 3--4, 453--462 (2015; Zbl 1371.03068) Full Text: DOI
Chen, William; Neeman, Itay Square principles with tail-end agreement. (English) Zbl 1375.03062 Arch. Math. Logic 54, No. 3-4, 439-452 (2015). MSC: 03E35 03E05 03E55 PDFBibTeX XMLCite \textit{W. Chen} and \textit{I. Neeman}, Arch. Math. Logic 54, No. 3--4, 439--452 (2015; Zbl 1375.03062) Full Text: DOI
Mummert, Carl; Saadaoui, Alaeddine; Sovine, Sean The modal logic of reverse mathematics. (English) Zbl 1369.03102 Arch. Math. Logic 54, No. 3-4, 425-437 (2015). MSC: 03B30 03B45 PDFBibTeX XMLCite \textit{C. Mummert} et al., Arch. Math. Logic 54, No. 3--4, 425--437 (2015; Zbl 1369.03102) Full Text: DOI arXiv
Garlík, Michal A new proof of Ajtai’s completeness theorem for nonstandard finite structures. (English) Zbl 1345.03118 Arch. Math. Logic 54, No. 3-4, 413-424 (2015). Reviewer: Roman Kossak (New York) MSC: 03H15 68Q19 03C13 PDFBibTeX XMLCite \textit{M. Garlík}, Arch. Math. Logic 54, No. 3--4, 413--424 (2015; Zbl 1345.03118) Full Text: DOI
Matet, Pierre Two-cardinal diamond and games of uncountable length. (English) Zbl 1375.03056 Arch. Math. Logic 54, No. 3-4, 395-412 (2015). MSC: 03E05 03E55 PDFBibTeX XMLCite \textit{P. Matet}, Arch. Math. Logic 54, No. 3--4, 395--412 (2015; Zbl 1375.03056) Full Text: DOI
Jeřábek, Emil Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\). (English) Zbl 1371.03090 Arch. Math. Logic 54, No. 3-4, 359-394 (2015). MSC: 03F20 03F30 12Y05 12J10 PDFBibTeX XMLCite \textit{E. Jeřábek}, Arch. Math. Logic 54, No. 3--4, 359--394 (2015; Zbl 1371.03090) Full Text: DOI arXiv
Kihara, Takayuki; Miyabe, Kenshi Unified characterizations of lowness properties via Kolmogorov complexity. (English) Zbl 1338.03083 Arch. Math. Logic 54, No. 3-4, 329-358 (2015). MSC: 03D32 68Q30 PDFBibTeX XMLCite \textit{T. Kihara} and \textit{K. Miyabe}, Arch. Math. Logic 54, No. 3--4, 329--358 (2015; Zbl 1338.03083) Full Text: DOI
Matet, Pierre Ideals on \({P_{\kappa}(\lambda)}\) associated with games of uncountable length. (English) Zbl 1375.03055 Arch. Math. Logic 54, No. 3-4, 291-328 (2015). MSC: 03E05 PDFBibTeX XMLCite \textit{P. Matet}, Arch. Math. Logic 54, No. 3--4, 291--328 (2015; Zbl 1375.03055) Full Text: DOI
Perlmutter, Norman Lewis The large cardinals between supercompact and almost-huge. (English) Zbl 1371.03071 Arch. Math. Logic 54, No. 3-4, 257-289 (2015). MSC: 03E55 PDFBibTeX XMLCite \textit{N. L. Perlmutter}, Arch. Math. Logic 54, No. 3--4, 257--289 (2015; Zbl 1371.03071) Full Text: DOI arXiv Backlinks: MO