Johnson, Will Dp-finite fields. I(B): Positive characteristic. (English) Zbl 1477.03136 Ann. Pure Appl. Logic 172, No. 6, Article ID 102949, 33 p. (2021). Reviewer: Assaf Hasson (Be’er Sheva) MSC: 03C45 03C60 12J10 12L12 PDFBibTeX XMLCite \textit{W. Johnson}, Ann. Pure Appl. Logic 172, No. 6, Article ID 102949, 33 p. (2021; Zbl 1477.03136) Full Text: DOI arXiv
Barriga, Eliana; Onshuus, Alf Classifying torsion free groups in o-minimal expansions of real closed fields. (English) Zbl 1432.03069 Ann. Pure Appl. Logic 167, No. 12, 1267-1297 (2016). MSC: 03C64 03C60 20J06 06F15 06F25 22E25 PDFBibTeX XMLCite \textit{E. Barriga} and \textit{A. Onshuus}, Ann. Pure Appl. Logic 167, No. 12, 1267--1297 (2016; Zbl 1432.03069) Full Text: DOI
Chernikov, Artem Theories without the tree property of the second kind. (English) Zbl 1386.03035 Ann. Pure Appl. Logic 165, No. 2, 695-723 (2014). MSC: 03C45 03C60 03C20 12J10 12L12 PDFBibTeX XMLCite \textit{A. Chernikov}, Ann. Pure Appl. Logic 165, No. 2, 695--723 (2014; Zbl 1386.03035) Full Text: DOI arXiv
Menni, Matías More exact completions that are toposes. (English) Zbl 0994.18002 Ann. Pure Appl. Logic 116, No. 1-3, 187-203 (2002). Reviewer: Peter T.Johnstone (Cambridge) MSC: 18B25 03D99 18A35 PDFBibTeX XMLCite \textit{M. Menni}, Ann. Pure Appl. Logic 116, No. 1--3, 187--203 (2002; Zbl 0994.18002) Full Text: DOI
Carlson, Timothy J. Knowledge, machines, and the consistency of Reinhardt’s strong mechanistic thesis. (English) Zbl 0973.03019 Ann. Pure Appl. Logic 105, No. 1-3, 51-82 (2000). Reviewer: Osamu Sonobe (Follonica) MSC: 03B42 03F30 03D10 03B45 PDFBibTeX XMLCite \textit{T. J. Carlson}, Ann. Pure Appl. Logic 105, No. 1--3, 51--82 (2000; Zbl 0973.03019) Full Text: DOI
Glaß, Thomas; Strahm, Thomas Systems of explicit mathematics with non-constructive \(\mu\)-operator and join. (English) Zbl 0862.03028 Ann. Pure Appl. Logic 82, No. 2, 193-219 (1996). Reviewer: Th.Strahm (Bern) MSC: 03F03 03F35 PDFBibTeX XMLCite \textit{T. Glaß} and \textit{T. Strahm}, Ann. Pure Appl. Logic 82, No. 2, 193--219 (1996; Zbl 0862.03028) Full Text: DOI
Feferman, Solomon; Jäger, Gerhard Systems of explicit mathematics with non-constructive \(\mu\)-operator. II. (English) Zbl 0868.03026 Ann. Pure Appl. Logic 79, No. 1, 37-52 (1996). Reviewer: G.Mints (Stanford) MSC: 03F35 03F03 03F50 PDFBibTeX XMLCite \textit{S. Feferman} and \textit{G. Jäger}, Ann. Pure Appl. Logic 79, No. 1, 37--52 (1996; Zbl 0868.03026) Full Text: DOI
Feferman, Solomon; Jäger, Gerhard Systems of explicit mathematics with non-constructive \(\mu\)-operator. I. (English) Zbl 0794.03074 Ann. Pure Appl. Logic 65, No. 3, 243-263 (1993). Reviewer: G.Mints (Stanford) MSC: 03F03 PDFBibTeX XMLCite \textit{S. Feferman} and \textit{G. Jäger}, Ann. Pure Appl. Logic 65, No. 3, 243--263 (1993; Zbl 0794.03074) Full Text: DOI
Yasugi, Mariko The machinery of consistency proofs. (English) Zbl 0679.03023 Ann. Pure Appl. Logic 44, No. 1-2, 139-152 (1989). Reviewer: G.Mints MSC: 03F05 PDFBibTeX XMLCite \textit{M. Yasugi}, Ann. Pure Appl. Logic 44, No. 1--2, 139--152 (1989; Zbl 0679.03023) Full Text: DOI
Apter, Arthur; DiPrisco, Carlos; Henle, James; Zwicker, William Filter spaces: Towards a unified theory of large cardinal and embedding axioms. (English) Zbl 0668.03025 Ann. Pure Appl. Logic 41, No. 2, 93-106 (1989). Reviewer: P.Komjáth MSC: 03E55 PDFBibTeX XMLCite \textit{A. Apter} et al., Ann. Pure Appl. Logic 41, No. 2, 93--106 (1989; Zbl 0668.03025) Full Text: DOI