Wcisło, Bartosz Compositional truth with propositional tautologies and quantifier-free correctness. (English) Zbl 07790940 Arch. Math. Logic 63, No. 1-2, 239-257 (2024). MSC: 03H15 03C62 03F30 03A05 03B30 PDFBibTeX XMLCite \textit{B. Wcisło}, Arch. Math. Logic 63, No. 1--2, 239--257 (2024; Zbl 07790940) Full Text: DOI arXiv OA License
Abdul-Quader, Athar; Łełyk, Mateusz Pathologies in satisfaction classes. (English) Zbl 07780213 Ann. Pure Appl. Logic 175, No. 2, Article ID 103387, 32 p. (2024). MSC: 03C62 03H15 03C50 03C52 PDFBibTeX XMLCite \textit{A. Abdul-Quader} and \textit{M. Łełyk}, Ann. Pure Appl. Logic 175, No. 2, Article ID 103387, 32 p. (2024; Zbl 07780213) Full Text: DOI arXiv
Šobot, Boris A survey on divisibility of ultrafilters. arXiv:2401.02302 Preprint, arXiv:2401.02302 [math.LO] (2024). MSC: 11U10 54D35 54D80 03H15 BibTeX Cite \textit{B. Šobot}, ``A survey on divisibility of ultrafilters'', Preprint, arXiv:2401.02302 [math.LO] (2024) Full Text: arXiv OA License
D’Aquino, Paola; Macintyre, Angus J. Commutative unital rings elementarily equivalent to prescribed product rings. (English) Zbl 07797409 Fundam. Math. 263, No. 3, 235-251 (2023). MSC: 03C60 03H15 PDFBibTeX XMLCite \textit{P. D'Aquino} and \textit{A. J. Macintyre}, Fundam. Math. 263, No. 3, 235--251 (2023; Zbl 07797409) Full Text: DOI arXiv
Djamel, Bellaouar; Boudaoud, Abdelmadjid Some representations of unlimited natural numbers. (English) Zbl 07796501 Math. Commun. 28, No. 2, 317-336 (2023). MSC: 26E35 03H05 03H15 11A51 PDFBibTeX XMLCite \textit{B. Djamel} and \textit{A. Boudaoud}, Math. Commun. 28, No. 2, 317--336 (2023; Zbl 07796501) Full Text: Link
Łełyk, Mateusz Zbigniew Model theory and proof theory of the global reflection principle. (English) Zbl 07691759 J. Symb. Log. 88, No. 2, 738-779 (2023). MSC: 03C62 03F30 03F35 03H15 PDFBibTeX XMLCite \textit{M. Z. Łełyk}, J. Symb. Log. 88, No. 2, 738--779 (2023; Zbl 07691759) Full Text: DOI
Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W.; Yokoyama, Keita How strong is Ramsey’s theorem if infinity can be weak? (English) Zbl 07691754 J. Symb. Log. 88, No. 2, 620-639 (2023). MSC: 03B30 03F30 03F35 03H15 05D10 PDFBibTeX XMLCite \textit{L. A. Kołodziejczyk} et al., J. Symb. Log. 88, No. 2, 620--639 (2023; Zbl 07691754) Full Text: DOI arXiv
Cieśliński, Cezary; Łełyk, Mateusz; Wcisło, Bartosz The two halves of disjunctive correctness. (English) Zbl 1523.03031 J. Math. Log. 23, No. 2, Article ID 2250026, 28 p. (2023). Reviewer: Roman Kossak (New York) MSC: 03H15 03F30 03C62 PDFBibTeX XMLCite \textit{C. Cieśliński} et al., J. Math. Log. 23, No. 2, Article ID 2250026, 28 p. (2023; Zbl 1523.03031) Full Text: DOI arXiv
Hetzl, Stefan; Vierling, Jannik Induction and Skolemization in saturation theorem proving. (English) Zbl 07601550 Ann. Pure Appl. Logic 174, No. 1, Article ID 103167, 37 p. (2023). MSC: 03F30 68V15 03B70 03H15 PDFBibTeX XMLCite \textit{S. Hetzl} and \textit{J. Vierling}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103167, 37 p. (2023; Zbl 07601550) Full Text: DOI arXiv
Zapryagaev, Alexander On Non-Standard Models of Büchi Arithmetics. arXiv:2312.13757 Preprint, arXiv:2312.13757 [math.LO] (2023). MSC: 03H15 BibTeX Cite \textit{A. Zapryagaev}, ``On Non-Standard Models of B\"uchi Arithmetics'', Preprint, arXiv:2312.13757 [math.LO] (2023) Full Text: arXiv OA License
Šobot, Boris \(\widetilde{\mid}\hspace{1mm}\)-divisibility of ultrafilters II: The big picture. arXiv:2306.00101 Preprint, arXiv:2306.00101 [math.LO] (2023). MSC: 03H15 11U10 54D35 54D80 BibTeX Cite \textit{B. Šobot}, ``$\widetilde{\mid}\hspace{1mm}$-divisibility of ultrafilters II: The big picture'', Preprint, arXiv:2306.00101 [math.LO] (2023) Full Text: arXiv OA License
Łełyk, Mateusz; Wcisło, Bartosz Universal properties of truth. arXiv:2304.00370 Preprint, arXiv:2304.00370 [math.LO] (2023). MSC: 03H15 03F30 03C62 BibTeX Cite \textit{M. Łełyk} and \textit{B. Wcisło}, ``Universal properties of truth'', Preprint, arXiv:2304.00370 [math.LO] (2023) Full Text: arXiv OA License
Kovalyov, Konstantin Fragments of \(\mathsf{IOpen}\). arXiv:2304.00282 Preprint, arXiv:2304.00282 [math.LO] (2023). MSC: 03C62 03F30 03H15 BibTeX Cite \textit{K. Kovalyov}, ``Fragments of $\mathsf{IOpen}$'', Preprint, arXiv:2304.00282 [math.LO] (2023) Full Text: arXiv OA License
Sakahara, Kiri; Sato, Takashi A Foundation of \(\sigma\)-superadditive Measures – a note on advancing Kalina measures -. arXiv:2303.11636 Preprint, arXiv:2303.11636 [math.LO] (2023). MSC: 28E05 03H15 26E35 BibTeX Cite \textit{K. Sakahara} and \textit{T. Sato}, ``A Foundation of $\sigma$-superadditive Measures -- a note on advancing Kalina measures -'', Preprint, arXiv:2303.11636 [math.LO] (2023) Full Text: arXiv OA License
Di Nasso, Mauro; Baglini, Lorenzo Luperi; Mennuni, Rosario; Pierobon, Moreno; Ragosta, Mariaclara Self-divisible ultrafilters and congruences in \(\beta\mathbb{Z}\). arXiv:2302.09983 Preprint, arXiv:2302.09983 [math.LO] (2023). MSC: 54D80 11A07 03H15 03C62 20E18 BibTeX Cite \textit{M. Di Nasso} et al., ``Self-divisible ultrafilters and congruences in $\beta\mathbb{Z}$'', Preprint, arXiv:2302.09983 [math.LO] (2023) Full Text: DOI arXiv OA License
Abdul-Quader, Athar; Schmerl, James H. CP-generic expansions of models of Peano arithmetic. (English) Zbl 1521.03094 Math. Log. Q. 68, No. 2, 171-177 (2022). MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{A. Abdul-Quader} and \textit{J. H. Schmerl}, Math. Log. Q. 68, No. 2, 171--177 (2022; Zbl 1521.03094) Full Text: DOI arXiv
Caprio, Michele; Aveni, Andrea; Mukherjee, Sayan Concerning three classes of non-Diophantine arithmetics. (English) Zbl 07664797 Involve 15, No. 5, 763-774 (2022). MSC: 03H15 03C62 PDFBibTeX XMLCite \textit{M. Caprio} et al., Involve 15, No. 5, 763--774 (2022; Zbl 07664797) Full Text: DOI arXiv
Nathanson, Melvyn B. A nonstandard proof of continuity of affine varieties. (English) Zbl 07622213 Arch. Math. 119, No. 6, 583-592 (2022). MSC: 03H05 03H15 11G35 12D10 12E05 12L15 PDFBibTeX XMLCite \textit{M. B. Nathanson}, Arch. Math. 119, No. 6, 583--592 (2022; Zbl 07622213) Full Text: DOI arXiv
Wcisło, Bartosz Full satisfaction classes, definability, and automorphisms. (English) Zbl 07556128 Notre Dame J. Formal Logic 63, No. 2, 143-163 (2022). MSC: 03H15 03A99 03B30 03C62 03F35 PDFBibTeX XMLCite \textit{B. Wcisło}, Notre Dame J. Formal Logic 63, No. 2, 143--163 (2022; Zbl 07556128) Full Text: DOI arXiv
Galeotti, Lorenzo; Löwe, Benedikt Order types of models of fragments of Peano arithmetic. (English) Zbl 1504.03019 Bull. Symb. Log. 28, No. 2, 182-206 (2022). Reviewer: Roman Kossak (New York) MSC: 03C62 03H15 03C64 06A05 08A99 PDFBibTeX XMLCite \textit{L. Galeotti} and \textit{B. Löwe}, Bull. Symb. Log. 28, No. 2, 182--206 (2022; Zbl 1504.03019) Full Text: DOI
Šobot, Boris Multiplicative finite embeddability vs divisibility of ultrafilters. (English) Zbl 07541622 Arch. Math. Logic 61, No. 3-4, 535-553 (2022). MSC: 54D35 54D80 11U99 03E05 03H15 PDFBibTeX XMLCite \textit{B. Šobot}, Arch. Math. Logic 61, No. 3--4, 535--553 (2022; Zbl 07541622) Full Text: DOI arXiv
Freire, Alfredo Roque; Williams, Kameryn J. Non-tightness in class theory and second-order arithmetic. arXiv:2212.04445 Preprint, arXiv:2212.04445 [math.LO] (2022). MSC: 03E70 03C62 03H15 BibTeX Cite \textit{A. R. Freire} and \textit{K. J. Williams}, ``Non-tightness in class theory and second-order arithmetic'', Preprint, arXiv:2212.04445 [math.LO] (2022) Full Text: arXiv OA License
Pacheco, Leonardo; Yokoyama, Keita Determinacy and reflection principles in second-order arithmetic. arXiv:2209.04082 Preprint, arXiv:2209.04082 [math.LO] (2022). MSC: 03B30 03F35 03F25 03H15 BibTeX Cite \textit{L. Pacheco} and \textit{K. Yokoyama}, ``Determinacy and reflection principles in second-order arithmetic'', Preprint, arXiv:2209.04082 [math.LO] (2022) Full Text: arXiv OA License
Kossak, Roman Undefinability and Absolute Undefinability in Arithmetic. arXiv:2205.06022 Preprint, arXiv:2205.06022 [math.LO] (2022). MSC: 03C62 03H15 BibTeX Cite \textit{R. Kossak}, ``Undefinability and Absolute Undefinability in Arithmetic'', Preprint, arXiv:2205.06022 [math.LO] (2022) Full Text: arXiv OA License
Mundici, Daniele Finite and infinite primes in models of PA. arXiv:2212.10104 Preprint, arXiv:2212.10104 [math.NT] (2022). MSC: 03H15 BibTeX Cite \textit{D. Mundici}, ``Finite and infinite primes in models of PA'', Preprint, arXiv:2212.10104 [math.NT] (2022) Full Text: arXiv OA License
Kossak, Roman 63 Years of the MacDowell-Specker Theorem. arXiv:2208.03156 Preprint, arXiv:2208.03156 [math.LO] (2022). MSC: 03C62 03H15 BibTeX Cite \textit{R. Kossak}, ``63 Years of the MacDowell-Specker Theorem'', Preprint, arXiv:2208.03156 [math.LO] (2022) Full Text: arXiv OA License
Montalbán, Antonio; Rossegger, Dino The structural complexity of models of arithmetic. arXiv:2208.01697 Preprint, arXiv:2208.01697 [math.LO] (2022). MSC: 03E15 03C62 03H15 BibTeX Cite \textit{A. Montalbán} and \textit{D. Rossegger}, ``The structural complexity of models of arithmetic'', Preprint, arXiv:2208.01697 [math.LO] (2022) Full Text: arXiv OA License
Di Nasso, Mauro; Forti, Marco Euclidean integers, Euclidean ultrafilters, and Euclidean numerosities. arXiv:2207.07505 Preprint, arXiv:2207.07505 [math.LO] (2022). MSC: 03E02 03E65 03H15 BibTeX Cite \textit{M. Di Nasso} and \textit{M. Forti}, ``Euclidean integers, Euclidean ultrafilters, and Euclidean numerosities'', Preprint, arXiv:2207.07505 [math.LO] (2022) Full Text: arXiv OA License
Šobot, Boris More about divisibility in \(\beta \mathbb{N} \). (English) Zbl 1521.54014 Math. Log. Q. 67, No. 1, 77-87 (2021). MSC: 54D35 54D80 54F05 03H15 PDFBibTeX XMLCite \textit{B. Šobot}, Math. Log. Q. 67, No. 1, 77--87 (2021; Zbl 1521.54014) Full Text: DOI
Klappert, Jonas; Lange, Fabian; Maierhöfer, Philipp; Usovitsch, Johann Integral reduction with Kira 2.0 and finite field methods. (English) Zbl 1523.81078 Comput. Phys. Commun. 266, Article ID 108024, 15 p. (2021). MSC: 81Q30 81S40 81T33 03H15 68W30 PDFBibTeX XMLCite \textit{J. Klappert} et al., Comput. Phys. Commun. 266, Article ID 108024, 15 p. (2021; Zbl 1523.81078) Full Text: DOI arXiv
Blanck, Rasmus Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic. (English) Zbl 1508.03091 Rev. Symb. Log. 14, No. 3, 624-644 (2021). MSC: 03F30 03F40 03F25 03H15 PDFBibTeX XMLCite \textit{R. Blanck}, Rev. Symb. Log. 14, No. 3, 624--644 (2021; Zbl 1508.03091) Full Text: DOI arXiv
Kossak, Roman; Wcisło, Bartosz Disjunctions with stopping conditions. (English) Zbl 07455123 Bull. Symb. Log. 27, No. 3, 231-253 (2021). MSC: 03H15 03F30 03A99 PDFBibTeX XMLCite \textit{R. Kossak} and \textit{B. Wcisło}, Bull. Symb. Log. 27, No. 3, 231--253 (2021; Zbl 07455123) Full Text: DOI arXiv
Šobot, Boris Congruence of ultrafilters. (English) Zbl 1482.54030 J. Symb. Log. 86, No. 2, 746-761 (2021). Reviewer: Paolo Lipparini (Roma) MSC: 54D35 54D80 11A07 11U10 03H15 PDFBibTeX XMLCite \textit{B. Šobot}, J. Symb. Log. 86, No. 2, 746--761 (2021; Zbl 1482.54030) Full Text: DOI arXiv
Fiori-Carones, Marta; Kołodziejczyk, Leszek Aleksander; Kowalik, Katarzyna W. Weaker cousins of Ramsey’s theorem over a weak base theory. (English) Zbl 1490.03012 Ann. Pure Appl. Logic 172, No. 10, Article ID 103028, 22 p. (2021). Reviewer: Roman Kossak (New York) MSC: 03B30 03F30 03F35 03H15 05D10 PDFBibTeX XMLCite \textit{M. Fiori-Carones} et al., Ann. Pure Appl. Logic 172, No. 10, Article ID 103028, 22 p. (2021; Zbl 1490.03012) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{M. Carl} and \textit{L. S. Krapp}, J. Log. Anal. 13, Paper No. 3, 21 p. (2021; Zbl 1493.03005) Full Text: DOI arXiv
Łełyk, Mateusz; Wcisło, Bartosz Local collection and end-extensions of models of compositional truth. (English) Zbl 1473.03047 Ann. Pure Appl. Logic 172, No. 6, Article ID 102941, 22 p. (2021). Reviewer: Roman Kossak (New York) MSC: 03H15 03F30 03C62 03A05 PDFBibTeX XMLCite \textit{M. Łełyk} and \textit{B. Wcisło}, Ann. Pure Appl. Logic 172, No. 6, Article ID 102941, 22 p. (2021; Zbl 1473.03047) Full Text: DOI arXiv
Enayat, Ali; Schmerl, James H. The Barwise-Schlipf theorem. (English) Zbl 1459.03049 Proc. Am. Math. Soc. 149, No. 1, 413-416 (2021). Reviewer: Roman Kossak (New York) MSC: 03C62 03C50 03H15 PDFBibTeX XMLCite \textit{A. Enayat} and \textit{J. H. Schmerl}, Proc. Am. Math. Soc. 149, No. 1, 413--416 (2021; Zbl 1459.03049) Full Text: DOI arXiv
Borrego-Díaz, Joaquín Algebraic combinatorics in bounded induction. (English) Zbl 1498.03154 Ann. Pure Appl. Logic 172, No. 2, Article ID 102885, 30 p. (2021). MSC: 03F30 03C62 03H15 05D10 06F30 22A15 PDFBibTeX XMLCite \textit{J. Borrego-Díaz}, Ann. Pure Appl. Logic 172, No. 2, Article ID 102885, 30 p. (2021; Zbl 1498.03154) Full Text: DOI Link
Fiori-Carones, Marta; Kołodziejczyk, Leszek Aleksander; Wong, Tin Lok; Yokoyama, Keita An isomorphism theorem for models of Weak König’s Lemma without primitive recursion. arXiv:2112.10876 Preprint, arXiv:2112.10876 [math.LO] (2021). MSC: 03H15 03C10 03B30 03C62 03F30 03F35 BibTeX Cite \textit{M. Fiori-Carones} et al., ``An isomorphism theorem for models of Weak K\"onig's Lemma without primitive recursion'', Preprint, arXiv:2112.10876 [math.LO] (2021) Full Text: arXiv OA License
D’Aquino, P.; Macintyre, A. The model theory of residue rings of models of Peano Arithmetic: The prime power case. arXiv:2102.00295 Preprint, arXiv:2102.00295 [math.LO] (2021). MSC: 03H15 03C10 BibTeX Cite \textit{P. D'Aquino} and \textit{A. Macintyre}, ``The model theory of residue rings of models of Peano Arithmetic: The prime power case'', Preprint, arXiv:2102.00295 [math.LO] (2021) Full Text: arXiv OA License
Bahrami, Saeideh Tanaka’s theorem revisited. (English) Zbl 1461.03055 Arch. Math. Logic 59, No. 7-8, 865-877 (2020). Reviewer: Roman Kossak (New York) MSC: 03F35 03C62 03H15 03C15 PDFBibTeX XMLCite \textit{S. Bahrami}, Arch. Math. Logic 59, No. 7--8, 865--877 (2020; Zbl 1461.03055) Full Text: DOI arXiv
Dimitracopoulos, C.; Paschalis, V. End extensions of models of fragments of \(\mathrm{PA}\). (English) Zbl 1459.03048 Arch. Math. Logic 59, No. 7-8, 817-833 (2020). Reviewer: Roman Kossak (New York) MSC: 03C62 03F30 03H15 PDFBibTeX XMLCite \textit{C. Dimitracopoulos} and \textit{V. Paschalis}, Arch. Math. Logic 59, No. 7--8, 817--833 (2020; Zbl 1459.03048) Full Text: DOI
Warren, Jared Shadows of syntax. Revitalizing logical and mathematical conventionalism. (English) Zbl 07247163 New York, NY: Oxford University Press (ISBN 978-0-19-008615-2/hbk; 978-0-19-008616-9/ebook). xx, 385 p. (2020). MSC: 03-02 03A05 03F30 03H15 03F25 00A30 PDFBibTeX XMLCite \textit{J. Warren}, Shadows of syntax. Revitalizing logical and mathematical conventionalism. New York, NY: Oxford University Press (2020; Zbl 07247163) Full Text: DOI
Dean, Walter Incompleteness via paradox and completeness. (English) Zbl 1485.03244 Rev. Symb. Log. 13, No. 3, 541-592 (2020). MSC: 03F40 03F30 03C62 03H15 03A05 PDFBibTeX XMLCite \textit{W. Dean}, Rev. Symb. Log. 13, No. 3, 541--592 (2020; Zbl 1485.03244) Full Text: DOI
Keisler, H. Jerome; Sun, Yeneng On the converse law of large numbers. (English) Zbl 1445.60031 Ill. J. Math. 64, No. 2, 199-225 (2020). MSC: 60F15 28A35 28E05 03H15 PDFBibTeX XMLCite \textit{H. J. Keisler} and \textit{Y. Sun}, Ill. J. Math. 64, No. 2, 199--225 (2020; Zbl 1445.60031) Full Text: DOI Euclid
Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz Truth and feasible reducibility. (English) Zbl 1444.03164 J. Symb. Log. 85, No. 1, 367-421 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F30 03C62 03D15 03H15 PDFBibTeX XMLCite \textit{A. Enayat} et al., J. Symb. Log. 85, No. 1, 367--421 (2020; Zbl 1444.03164) Full Text: DOI arXiv
Shavrukov, V. Yu. R.e. Prime powers and total rigidity. (English) Zbl 1506.03087 Adv. Math. 360, Article ID 106884, 50 p. (2020). MSC: 03C62 03C20 03C50 03H15 05C15 PDFBibTeX XMLCite \textit{V. Yu. Shavrukov}, Adv. Math. 360, Article ID 106884, 50 p. (2020; Zbl 1506.03087) Full Text: DOI
Kołodziejczyk, Leszek Aleksander; Wong, Tin Lok; Yokoyama, Keita Ramsey’s theorem for pairs, collection, and proof size. arXiv:2005.06854 Preprint, arXiv:2005.06854 [math.LO] (2020). MSC: 03B30 03F35 03F20 03F25 03F30 03H15 05D10 BibTeX Cite \textit{L. A. Kołodziejczyk} et al., ``Ramsey's theorem for pairs, collection, and proof size'', Preprint, arXiv:2005.06854 [math.LO] (2020) Full Text: arXiv OA License
Wang, Wei On Non-standard Models of Arithmetic with Uncountable Standard Systems. arXiv:2007.05885 Preprint, arXiv:2007.05885 [math.LO] (2020). MSC: 03C62 03H15 03D28 03E50 BibTeX Cite \textit{W. Wang}, ``On Non-standard Models of Arithmetic with Uncountable Standard Systems'', Preprint, arXiv:2007.05885 [math.LO] (2020) Full Text: arXiv OA License
Visser, Albert The small-is-very-small principle. (English) Zbl 1521.03234 Math. Log. Q. 65, No. 4, 453-478 (2019). MSC: 03F30 03C62 03F40 03H15 PDFBibTeX XMLCite \textit{A. Visser}, Math. Log. Q. 65, No. 4, 453--478 (2019; Zbl 1521.03234) Full Text: DOI arXiv
Jeřábek, Emil Rigid models of Presburger arithmetic. (English) Zbl 1521.03225 Math. Log. Q. 65, No. 1, 108-115 (2019). MSC: 03F30 03C62 03H15 06F20 PDFBibTeX XMLCite \textit{E. Jeřábek}, Math. Log. Q. 65, No. 1, 108--115 (2019; Zbl 1521.03225) Full Text: DOI arXiv
Šobot, Boris Divisibility in \(\beta N\) and \(^*N\). (English) Zbl 1446.54016 Rep. Math. Logic 54, 65-82 (2019). Reviewer: Paolo Lipparini (Roma) MSC: 54D80 11U10 03H15 54D35 54J05 PDFBibTeX XMLCite \textit{B. Šobot}, Rep. Math. Logic 54, 65--82 (2019; Zbl 1446.54016)
Schmerl, James H. Kernels, truth and satisfaction. (English) Zbl 1439.03112 Bull. Pol. Acad. Sci., Math. 67, No. 1, 31-35 (2019). Reviewer: Stelian Mihalas (Timişoara) MSC: 03H15 03C50 05C20 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Bull. Pol. Acad. Sci., Math. 67, No. 1, 31--35 (2019; Zbl 1439.03112) Full Text: DOI arXiv
Łełyk, Mateusz; Wcisło, Bartosz Models of positive truth. (English) Zbl 1454.03092 Rev. Symb. Log. 12, No. 1, 144-172 (2019). Reviewer: Roman Kossak (New York) MSC: 03H15 PDFBibTeX XMLCite \textit{M. Łełyk} and \textit{B. Wcisło}, Rev. Symb. Log. 12, No. 1, 144--172 (2019; Zbl 1454.03092) Full Text: DOI arXiv
Omata, Yasuhiko; Pelupessy, Florian Dickson’s lemma and weak Ramsey theory. (English) Zbl 1477.03031 Arch. Math. Logic 58, No. 3-4, 413-425 (2019). MSC: 03B30 05C55 03F30 03H15 05D10 PDFBibTeX XMLCite \textit{Y. Omata} and \textit{F. Pelupessy}, Arch. Math. Logic 58, No. 3--4, 413--425 (2019; Zbl 1477.03031) Full Text: DOI arXiv
Sanders, Sam A note on non-classical nonstandard arithmetic. (English) Zbl 07011460 Ann. Pure Appl. Logic 170, No. 4, 427-445 (2019). MSC: 03H15 03F35 26E35 PDFBibTeX XMLCite \textit{S. Sanders}, Ann. Pure Appl. Logic 170, No. 4, 427--445 (2019; Zbl 07011460) Full Text: DOI arXiv
Wong, Tin Lok On Wilkie and Paris’s notion of fullness. (English) Zbl 1443.03021 Fundam. Math. 245, No. 1, 79-100 (2019). Reviewer: Roman Kossak (New York) MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{T. L. Wong}, Fundam. Math. 245, No. 1, 79--100 (2019; Zbl 1443.03021) Full Text: DOI Link
Schmerl, James H. The Pentagon as a Substructure Lattice of Models of Peano Arithmetic. arXiv:1910.05284 Preprint, arXiv:1910.05284 [math.LO] (2019). MSC: 03H15 BibTeX Cite \textit{J. H. Schmerl}, ``The Pentagon as a Substructure Lattice of Models of Peano Arithmetic'', Preprint, arXiv:1910.05284 [math.LO] (2019) Full Text: arXiv OA License
Šobot, Boris More number theory in \(\beta N\). arXiv:1910.01094 Preprint, arXiv:1910.01094 [math.LO] (2019). MSC: 11U10 03H15 54D35 54D80 BibTeX Cite \textit{B. Šobot}, ``More number theory in $\beta N$'', Preprint, arXiv:1910.01094 [math.LO] (2019) Full Text: arXiv OA License
Slaman, Theodore A.; Yokoyama, Keita The strength of Ramsey’s theorem for pairs and arbitrarily many colors. (English) Zbl 1436.03098 J. Symb. Log. 83, No. 4, 1610-1617 (2018). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 05D10 03H15 03C62 03D80 PDFBibTeX XMLCite \textit{T. A. Slaman} and \textit{K. Yokoyama}, J. Symb. Log. 83, No. 4, 1610--1617 (2018; Zbl 1436.03098) Full Text: DOI arXiv
Abdul-Quader, Athar Enayat models of Peano arithmetic. (English) Zbl 1445.03042 J. Symb. Log. 83, No. 4, 1501-1511 (2018). Reviewer: Roman Kossak (New York) MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{A. Abdul-Quader}, J. Symb. Log. 83, No. 4, 1501--1511 (2018; Zbl 1445.03042) Full Text: DOI arXiv
Schmerl, James H. More automorphism groups of countable, arithmetically saturated models of Peano arithmetic. (English) Zbl 1455.03047 Notre Dame J. Formal Logic 59, No. 4, 491-496 (2018). MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Notre Dame J. Formal Logic 59, No. 4, 491--496 (2018; Zbl 1455.03047) Full Text: DOI Euclid
Dean, Walter Strict finitism, feasibility, and the sorites. (English) Zbl 1506.03015 Rev. Symb. Log. 11, No. 2, 295-346 (2018). MSC: 03A05 03B52 03H15 03D15 PDFBibTeX XMLCite \textit{W. Dean}, Rev. Symb. Log. 11, No. 2, 295--346 (2018; Zbl 1506.03015) Full Text: DOI
Patey, Ludovic; Yokoyama, Keita The proof-theoretic strength of Ramsey’s theorem for pairs and two colors. (English) Zbl 1469.03033 Adv. Math. 330, 1034-1070 (2018). MSC: 03B30 03F35 05D10 03H15 03C62 03D80 PDFBibTeX XMLCite \textit{L. Patey} and \textit{K. Yokoyama}, Adv. Math. 330, 1034--1070 (2018; Zbl 1469.03033) Full Text: DOI arXiv
Bahrami, Saeideh; Enayat, Ali Fixed points of self-embeddings of models of arithmetic. (English) Zbl 1483.03031 Ann. Pure Appl. Logic 169, No. 6, 487-513 (2018). MSC: 03F30 03C62 03H15 03C15 PDFBibTeX XMLCite \textit{S. Bahrami} and \textit{A. Enayat}, Ann. Pure Appl. Logic 169, No. 6, 487--513 (2018; Zbl 1483.03031) Full Text: DOI arXiv
Šobot, Boris Divisibility in *N and \(\beta N\). arXiv:1806.06236 Preprint, arXiv:1806.06236 [math.LO] (2018). MSC: 11U10 03H15 54D35 54D80 BibTeX Cite \textit{B. Šobot}, ``Divisibility in *N and $\beta N$'', Preprint, arXiv:1806.06236 [math.LO] (2018) Full Text: arXiv OA License
Glivický, Petr; Pudlák, Pavel A wild model of linear arithmetic and discretely ordered modules. (English) Zbl 1469.03108 Math. Log. Q. 63, No. 6, 501-508 (2017). MSC: 03C62 03F30 03C45 03H15 PDFBibTeX XMLCite \textit{P. Glivický} and \textit{P. Pudlák}, Math. Log. Q. 63, No. 6, 501--508 (2017; Zbl 1469.03108) Full Text: DOI arXiv
Glivický, Petr; Kala, Vítězslav Fermat’s last theorem and Catalan’s conjecture in weak exponential arithmetics. (English) Zbl 1469.03163 Math. Log. Q. 63, No. 3-4, 162-174 (2017). MSC: 03F30 03C62 03H15 11U10 PDFBibTeX XMLCite \textit{P. Glivický} and \textit{V. Kala}, Math. Log. Q. 63, No. 3--4, 162--174 (2017; Zbl 1469.03163) Full Text: DOI arXiv
Dinis, Bruno; Ferreira, Fernando Interpreting weak Kőnig’s lemma in theories of nonstandard arithmetic. (English) Zbl 1469.03177 Math. Log. Q. 63, No. 1-2, 114-123 (2017). MSC: 03H15 03B30 PDFBibTeX XMLCite \textit{B. Dinis} and \textit{F. Ferreira}, Math. Log. Q. 63, No. 1--2, 114--123 (2017; Zbl 1469.03177) Full Text: DOI
Kunzinger, M. Book review of: P. A. Loeb (ed.) and Manfred P. H. Wolff (ed.), Nonstandard analysis for the working mathematician. 2nd ed. (English) Zbl 1378.00049 Monatsh. Math. 184, No. 3, 502 (2017). MSC: 00A17 03-02 03-06 03H05 03H10 03H15 28E05 26E35 46S20 47S20 54J05 60H99 91B99 00B15 PDFBibTeX XMLCite \textit{M. Kunzinger}, Monatsh. Math. 184, No. 3, 502 (2017; Zbl 1378.00049) Full Text: DOI
Ponstein, Jaap Nonstandard analysis. An ingenious way to the infinitesimals: non-orhodox treatment of NSA. Translated from the English by Lucia Casiraghi and Sergio Casiraghi. (Nonstandard analysis. Una via ingenua agli infinitesimi: trattazione non ortodossa della NSA.) (Italian) Zbl 1371.03002 Rome: Aracne Editrice (ISBN 978-88-255-0588-7). 148 p. (2017). MSC: 03-02 03H05 03H15 PDFBibTeX XMLCite \textit{J. Ponstein}, Nonstandard analysis. Una via ingenua agli infinitesimi: trattazione non ortodossa della NSA (Italian). Rome: Aracne Editrice (2017; Zbl 1371.03002)
Schmerl, James H. Minimal elementary end extensions. (English) Zbl 1417.03238 Arch. Math. Logic 56, No. 5-6, 541-553 (2017). MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{J. H. Schmerl}, Arch. Math. Logic 56, No. 5--6, 541--553 (2017; Zbl 1417.03238) Full Text: DOI arXiv
Łełyk, Mateusz; Wcisło, Bartosz Models of weak theories of truth. (English) Zbl 1417.03237 Arch. Math. Logic 56, No. 5-6, 453-474 (2017). MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{M. Łełyk} and \textit{B. Wcisło}, Arch. Math. Logic 56, No. 5--6, 453--474 (2017; Zbl 1417.03237) Full Text: DOI arXiv
Enayat, Ali; Wong, Tin Lok Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\). (English) Zbl 1422.03080 Ann. Pure Appl. Logic 168, No. 6, 1247-1283 (2017). MSC: 03C62 03H15 03C30 03C50 03F35 PDFBibTeX XMLCite \textit{A. Enayat} and \textit{T. L. Wong}, Ann. Pure Appl. Logic 168, No. 6, 1247--1283 (2017; Zbl 1422.03080) Full Text: DOI
Hadzihasanovic, Amar; van den Berg, Benno Nonstandard functional interpretations and categorical models. (English) Zbl 1431.03081 Notre Dame J. Formal Logic 58, No. 3, 343-380 (2017). MSC: 03H15 03F25 03G30 PDFBibTeX XMLCite \textit{A. Hadzihasanovic} and \textit{B. van den Berg}, Notre Dame J. Formal Logic 58, No. 3, 343--380 (2017; Zbl 1431.03081) Full Text: DOI arXiv Euclid
Lee, Junguk Some arithmetic properties on nonstandard number fields. (English) Zbl 1426.03040 J. Korean Math. Soc. 54, No. 4, 1345-1356 (2017). Reviewer: Stelian Mihalas (Timişoara) MSC: 03H15 11G05 11U10 PDFBibTeX XMLCite \textit{J. Lee}, J. Korean Math. Soc. 54, No. 4, 1345--1356 (2017; Zbl 1426.03040) Full Text: Link
Bovykin, Andrey; Weiermann, Andreas The strength of infinitary Ramseyan principles can be accessed by their densities. (English) Zbl 1422.03127 Ann. Pure Appl. Logic 168, No. 9, 1700-1709 (2017). MSC: 03F35 03C62 03H15 05D10 PDFBibTeX XMLCite \textit{A. Bovykin} and \textit{A. Weiermann}, Ann. Pure Appl. Logic 168, No. 9, 1700--1709 (2017; Zbl 1422.03127) Full Text: DOI
Blanck, Rasmus; Enayat, Ali Marginalia on a theorem of Woodin. (English) Zbl 1419.03033 J. Symb. Log. 82, No. 1, 359-374 (2017). MSC: 03C62 03D25 03F25 03F40 03H15 PDFBibTeX XMLCite \textit{R. Blanck} and \textit{A. Enayat}, J. Symb. Log. 82, No. 1, 359--374 (2017; Zbl 1419.03033) Full Text: DOI
Kikuchi, Makoto; Kurahashi, Taishi Universal Rosser predicates. (English) Zbl 1419.03034 J. Symb. Log. 82, No. 1, 292-302 (2017). MSC: 03C62 03F40 03H15 PDFBibTeX XMLCite \textit{M. Kikuchi} and \textit{T. Kurahashi}, J. Symb. Log. 82, No. 1, 292--302 (2017; Zbl 1419.03034) Full Text: DOI
Yokoyama, Keita Notes on various versions of Friedman’s self-embedding theorem. (English) Zbl 1429.03146 Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 231-241 (2016). MSC: 03C62 03F30 03H15 PDFBibTeX XMLCite \textit{K. Yokoyama}, CSLI Lect. Notes 217, 231--241 (2016; Zbl 1429.03146)
Blanck, Rasmus Flexibility in fragments of Peano arithmetic. (English) Zbl 1429.03207 Cégielski, Patrick (ed.) et al., Studies in weak arithmetics. Volume 3. Papers based on the conference “Journées sur les Arithmétiques Faibles (Weak Arithmetics Days)” (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16–18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7–9, 2015. Stanford, CA: CSLI Publications. CSLI Lect. Notes 217, 1-20 (2016). MSC: 03F30 03C62 03F25 03F40 03H15 PDFBibTeX XMLCite \textit{R. Blanck}, CSLI Lect. Notes 217, 1--20 (2016; Zbl 1429.03207)
Krajíček, Jan Expansions of pseudoinfinite structures and circuit and proof complexity. (English) Zbl 1418.03170 van Eijck, Jan (ed.) et al., Liber amicorum Alberti. A tribute to Albert Visser. London: College Publications. Tributes 30, 195-203 (2016). MSC: 03F20 03H15 68Q17 PDFBibTeX XMLCite \textit{J. Krajíček}, Tributes 30, 195--203 (2016; Zbl 1418.03170) Full Text: arXiv
Cao, Cungen; Sui, Yuefei; Zhang, Zaiyue The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic. (English) Zbl 1404.03028 Front. Comput. Sci. 10, No. 4, 717-725 (2016). MSC: 03B70 03D20 03H15 PDFBibTeX XMLCite \textit{C. Cao} et al., Front. Comput. Sci. 10, No. 4, 717--725 (2016; Zbl 1404.03028) Full Text: DOI
Kikuchi, Makoto; Kurahashi, Taishi Illusory models of Peano arithmetic. (English) Zbl 1388.03070 J. Symb. Log. 81, No. 3, 1163-1175 (2016). Reviewer: Leszek Aleksander Kołodziejczyk (Warszawa) MSC: 03H15 03C62 03F30 PDFBibTeX XMLCite \textit{M. Kikuchi} and \textit{T. Kurahashi}, J. Symb. Log. 81, No. 3, 1163--1175 (2016; Zbl 1388.03070) Full Text: DOI
Fjellstad, Andreas \(\omega\)-inconsistency without cuts and nonstandard models. (English) Zbl 1422.03122 Australas. J. Log. 13, No. 5, 96-122 (2016). MSC: 03F05 03F30 03H15 03A05 PDFBibTeX XMLCite \textit{A. Fjellstad}, Australas. J. Log. 13, No. 5, 96--122 (2016; Zbl 1422.03122) Full Text: Link
Garlík, Michal Construction of models of bounded arithmetic by restricted reduced powers. (English) Zbl 1380.03070 Arch. Math. Logic 55, No. 5-6, 625-648 (2016). Reviewer: Emil Jeřábek (Praha) MSC: 03F30 03C20 68Q17 03H15 PDFBibTeX XMLCite \textit{M. Garlík}, Arch. Math. Logic 55, No. 5--6, 625--648 (2016; Zbl 1380.03070) Full Text: DOI
Jeřábek, Emil Division by zero. (English) Zbl 1362.03050 Arch. Math. Logic 55, No. 7-8, 997-1013 (2016). Reviewer: Roman Kossak (New York) MSC: 03F30 03H15 03D15 PDFBibTeX XMLCite \textit{E. Jeřábek}, Arch. Math. Logic 55, No. 7--8, 997--1013 (2016; Zbl 1362.03050) Full Text: DOI arXiv Backlinks: MO
Adamowicz, Zofia; Cordón-Franco, Andrés; Lara-Martín, F. Félix Existentially closed models in the framework of arithmetic. (English) Zbl 1345.03071 J. Symb. Log. 81, No. 2, 774-788 (2016). Reviewer: Roman Murawski (Poznań) MSC: 03C62 03F30 03H15 PDFBibTeX XMLCite \textit{Z. Adamowicz} et al., J. Symb. Log. 81, No. 2, 774--788 (2016; Zbl 1345.03071) Full Text: DOI Link
Shavrukov, V. Yu. Duality, non-standard elements, and dynamic properties of r.e. sets. (English) Zbl 1403.03066 Ann. Pure Appl. Logic 167, No. 10, 939-981 (2016). MSC: 03D25 03C62 03H15 06D50 PDFBibTeX XMLCite \textit{V. Yu. Shavrukov}, Ann. Pure Appl. Logic 167, No. 10, 939--981 (2016; Zbl 1403.03066) Full Text: DOI Link
Wong, Tin Lok Interpreting weak König’s lemma using the arithmetized completeness theorem. (English) Zbl 1528.03170 Proc. Am. Math. Soc. 144, No. 9, 4021-4024 (2016). MSC: 03C62 03F25 03F35 03H15 PDFBibTeX XMLCite \textit{T. L. Wong}, Proc. Am. Math. Soc. 144, No. 9, 4021--4024 (2016; Zbl 1528.03170) Full Text: DOI Link
Pelupessy, Florian Phase transition results for three Ramsey-like theorems. (English) Zbl 1436.03306 Notre Dame J. Formal Logic 57, No. 2, 195-207 (2016). MSC: 03F30 03D20 03H15 PDFBibTeX XMLCite \textit{F. Pelupessy}, Notre Dame J. Formal Logic 57, No. 2, 195--207 (2016; Zbl 1436.03306) Full Text: DOI arXiv Euclid
Dimitracopoulos, Costas; Paschalis, Vasileios S. End extensions of models of weak arithmetic theories. (English) Zbl 1436.03302 Notre Dame J. Formal Logic 57, No. 2, 181-193 (2016). MSC: 03F30 03C62 03H15 PDFBibTeX XMLCite \textit{C. Dimitracopoulos} and \textit{V. S. Paschalis}, Notre Dame J. Formal Logic 57, No. 2, 181--193 (2016; Zbl 1436.03302) Full Text: DOI Euclid
Nurkhaidarov, Ermek S.; Shochat, Erez Closed normal subgroups of the automorphism group of a saturated model of Peano arithmetic. (English) Zbl 1354.03049 Notre Dame J. Formal Logic 57, No. 1, 127-139 (2016). Reviewer: Roman Kossak (New York) MSC: 03C62 03C50 03H15 PDFBibTeX XMLCite \textit{E. S. Nurkhaidarov} and \textit{E. Shochat}, Notre Dame J. Formal Logic 57, No. 1, 127--139 (2016; Zbl 1354.03049) Full Text: DOI
Taranovsky, Dmytro Arithmetic with Limited Exponentiation. arXiv:1612.05941 Preprint, arXiv:1612.05941 [math.LO] (2016). MSC: 03B30 03F35 03B20 03H15 BibTeX Cite \textit{D. Taranovsky}, ``Arithmetic with Limited Exponentiation'', Preprint, arXiv:1612.05941 [math.LO] (2016) Full Text: arXiv OA License
Henk, Paula; Pakhomov, Fedor Slow and Ordinary Provability for Peano Arithmetic. arXiv:1602.01822 Preprint, arXiv:1602.01822 [math.LO] (2016). MSC: 03F30 03F15 03F45 03F40 03H15 BibTeX Cite \textit{P. Henk} and \textit{F. Pakhomov}, ``Slow and Ordinary Provability for Peano Arithmetic'', Preprint, arXiv:1602.01822 [math.LO] (2016) Full Text: arXiv OA License
Kaye, Richard; Wong, Tin Lok The model theory of generic cuts. (English) Zbl 1429.03143 Hirvonen, Åsa (ed.) et al., Logic without borders. Essays on set theory, model theory, philosophical logic and philosophy of mathematics. Ontos Mathematical Logic 5. Berlin: De Gruyter. 281-295 (2015). MSC: 03C62 03H15 03C10 PDFBibTeX XMLCite \textit{R. Kaye} and \textit{T. L. Wong}, Ontos Math. Log. 5, 281--295 (2015; Zbl 1429.03143) Full Text: DOI Link
Warren, Jared Conventionalism, consistency, and consistency sentences. (English) Zbl 1369.03085 Synthese 192, No. 5, 1351-1371 (2015). MSC: 03A05 03F30 03H15 03F25 00A30 PDFBibTeX XMLCite \textit{J. Warren}, Synthese 192, No. 5, 1351--1371 (2015; Zbl 1369.03085) Full Text: DOI
Blass, Andreas; Di Nasso, Mauro Finite embeddability of sets and ultrafilters. (English) Zbl 1382.03068 Bull. Pol. Acad. Sci., Math. 63, No. 3, 195-206 (2015). MSC: 03E05 03H15 03C20 54D80 PDFBibTeX XMLCite \textit{A. Blass} and \textit{M. Di Nasso}, Bull. Pol. Acad. Sci., Math. 63, No. 3, 195--206 (2015; Zbl 1382.03068) Full Text: DOI arXiv
Montagna, Franco; Simi, Giulia; Sorbi, Andrea Taking the Pirahã seriously. (English) Zbl 1401.03110 Commun. Nonlinear Sci. Numer. Simul. 21, No. 1-3, 52-69 (2015). MSC: 03H05 03H15 03F30 PDFBibTeX XMLCite \textit{F. Montagna} et al., Commun. Nonlinear Sci. Numer. Simul. 21, No. 1--3, 52--69 (2015; Zbl 1401.03110) Full Text: DOI
Shelah, Saharon Models of PA: when two elements are necessarily order automorphic. (English) Zbl 1367.03072 Math. Log. Q. 61, No. 6, 399-417 (2015). Reviewer: Roman Kossak (New York) MSC: 03C62 03C64 03H15 PDFBibTeX XMLCite \textit{S. Shelah}, Math. Log. Q. 61, No. 6, 399--417 (2015; Zbl 1367.03072) Full Text: DOI arXiv