Kihara, Takayuki; Marcone, Alberto; Pauly, Arno Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice. (English) Zbl 1473.03026 J. Symb. Log. 85, No. 3, 1006-1043 (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D78 03D30 03B30 03F35 PDFBibTeX XMLCite \textit{T. Kihara} et al., J. Symb. Log. 85, No. 3, 1006--1043 (2020; Zbl 1473.03026) Full Text: DOI arXiv
Emmenegger, Jacopo; Palmgren, Erik Exact completion and constructive theories of sets. (English) Zbl 1485.03257 J. Symb. Log. 85, No. 2, 563-584 (2020). Reviewer: Amit Kuber (Kanpur) MSC: 03G30 18A35 18B25 18A15 03B38 18B05 18D15 03F55 PDFBibTeX XMLCite \textit{J. Emmenegger} and \textit{E. Palmgren}, J. Symb. Log. 85, No. 2, 563--584 (2020; Zbl 1485.03257) Full Text: DOI arXiv
Soukup, Dániel T.; Soukup, Lajos Infinite combinatorics plain and simple. (English) Zbl 1439.03083 J. Symb. Log. 83, No. 3, 1247-1281 (2018). Reviewer: Martin Weese (Potsdam) MSC: 03E05 03C98 05C63 03E35 54A35 PDFBibTeX XMLCite \textit{D. T. Soukup} and \textit{L. Soukup}, J. Symb. Log. 83, No. 3, 1247--1281 (2018; Zbl 1439.03083) Full Text: DOI arXiv Link
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
Marker, David; Schmerl, James H.; Steinhorn, Charles Uncountable real closed fields with PA integer parts. (English) Zbl 1358.03041 J. Symb. Log. 80, No. 2, 490-502 (2015). Reviewer: Roman Kossak (New York) MSC: 03C50 03C62 03F30 03C60 03H15 PDFBibTeX XMLCite \textit{D. Marker} et al., J. Symb. Log. 80, No. 2, 490--502 (2015; Zbl 1358.03041) Full Text: DOI arXiv
Stanley, M. C. Forcing closed unbounded subsets of \(\aleph_{\omega_{1}+1}\). (English) Zbl 1348.03043 J. Symb. Log. 78, No. 3, 681-707 (2013). MSC: 03E05 03E35 03E40 03E45 PDFBibTeX XMLCite \textit{M. C. Stanley}, J. Symb. Log. 78, No. 3, 681--707 (2013; Zbl 1348.03043) Full Text: DOI Euclid
D’Aquino, P.; Knight, J. F.; Starchenko, S. Corrigendum to: “Real closed fields and models of arithmetic”. (English) Zbl 1239.03026 J. Symb. Log. 77, No. 2, 726 (2012). MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{P. D'Aquino} et al., J. Symb. Log. 77, No. 2, 726 (2012; Zbl 1239.03026) Full Text: DOI Euclid
D’Aquino, P.; Knight, J. F.; Starchenko, S. Real closed fields and models of Peano arithmetic. (English) Zbl 1186.03061 J. Symb. Log. 75, No. 1, 1-11 (2010); corrigendum ibid. 77, No. 2, 726 (2012). Reviewer: Roman Kossak (New York) MSC: 03C62 03H15 PDFBibTeX XMLCite \textit{P. D'Aquino} et al., J. Symb. Log. 75, No. 1, 1--11 (2010; Zbl 1186.03061) Full Text: DOI
Hrushovski, E.; Tatarsky, A. Stable embeddedness in algebraically closed valued fields. (English) Zbl 1109.03027 J. Symb. Log. 71, No. 3, 831-862 (2006). MSC: 03C45 03C60 12L12 12J10 PDFBibTeX XMLCite \textit{E. Hrushovski} and \textit{A. Tatarsky}, J. Symb. Log. 71, No. 3, 831--862 (2006; Zbl 1109.03027) Full Text: DOI
Yoshinobu, Yasuo Approachability and games on posets. (English) Zbl 1055.03031 J. Symb. Log. 68, No. 2, 589-606 (2003). MSC: 03E40 03E05 03E65 91A44 PDFBibTeX XMLCite \textit{Y. Yoshinobu}, J. Symb. Log. 68, No. 2, 589--606 (2003; Zbl 1055.03031) Full Text: DOI Euclid
Mitchell, William J. A Gitik iteration with nearly Easton factoring. (English) Zbl 1059.03052 J. Symb. Log. 68, No. 2, 481-502 (2003). MSC: 03E35 03E40 03E55 03E50 PDFBibTeX XMLCite \textit{W. J. Mitchell}, J. Symb. Log. 68, No. 2, 481--502 (2003; Zbl 1059.03052) Full Text: DOI Euclid
Chapuis, Olivier; Hrushovski, Ehud; Koiran, Pascal; Poizat, Bruno Limitation of theories of generic curves. (La limite des théories de courbes generiques.) (French) Zbl 1023.03029 J. Symb. Log. 67, No. 1, 24-34 (2002). Reviewer: C.Toffalori (Camerino) MSC: 03C60 12L12 PDFBibTeX XMLCite \textit{O. Chapuis} et al., J. Symb. Log. 67, No. 1, 24--34 (2002; Zbl 1023.03029) Full Text: DOI
Adamowicz, Zofia; Bigorajska, Teresa Existentially closed structures and Gödel’s second incompleteness theorem. (English) Zbl 0981.03043 J. Symb. Log. 66, No. 1, 349-356 (2001). Reviewer: Roman Kossak (New York) MSC: 03C62 03F30 PDFBibTeX XMLCite \textit{Z. Adamowicz} and \textit{T. Bigorajska}, J. Symb. Log. 66, No. 1, 349--356 (2001; Zbl 0981.03043) Full Text: DOI
Solecki, Sławomir Covering analytic sets by families of closed sets. (English) Zbl 0808.03031 J. Symb. Log. 59, No. 3, 1022-1031 (1994). MSC: 03E15 PDFBibTeX XMLCite \textit{S. Solecki}, J. Symb. Log. 59, No. 3, 1022--1031 (1994; Zbl 0808.03031) Full Text: DOI
Becker, Howard The topological Vaught’s conjecture and minimal counterexamples. (English) Zbl 0830.03022 J. Symb. Log. 59, No. 3, 757-784 (1994). Reviewer: W.Veldman (Nijmegen) MSC: 03E15 03E60 PDFBibTeX XMLCite \textit{H. Becker}, J. Symb. Log. 59, No. 3, 757--784 (1994; Zbl 0830.03022) Full Text: DOI
Fuller, Mark Normality of a filter over a space of partitions. (English) Zbl 0809.04006 J. Symb. Log. 59, No. 2, 529-533 (1994). Reviewer: L.Bukovský (Košice) MSC: 03E05 PDFBibTeX XMLCite \textit{M. Fuller}, J. Symb. Log. 59, No. 2, 529--533 (1994; Zbl 0809.04006) Full Text: DOI
Liu, Kecheng Stationary subsets of \([\aleph_ \omega]^{<\omega_ n}\). (English) Zbl 0794.03069 J. Symb. Log. 58, No. 4, 1201-1218 (1993). MSC: 03E35 03E55 03E05 PDFBibTeX XMLCite \textit{K. Liu}, J. Symb. Log. 58, No. 4, 1201--1218 (1993; Zbl 0794.03069) Full Text: DOI
Shioya, Masahiro Weakly normal closures of filters on \(P_ \kappa \lambda\). (English) Zbl 0787.03038 J. Symb. Log. 58, No. 1, 55-63 (1993). Reviewer: N.H.Williams (Brisbane) MSC: 03E05 PDFBibTeX XMLCite \textit{M. Shioya}, J. Symb. Log. 58, No. 1, 55--63 (1993; Zbl 0787.03038) Full Text: DOI
McLarty, Colin Failure of Cartesian closedness in NF. (English) Zbl 0764.18002 J. Symb. Log. 57, No. 2, 555-556 (1992). Reviewer: C.McLarty MSC: 18A15 03E30 03E70 18B05 18D15 PDFBibTeX XMLCite \textit{C. McLarty}, J. Symb. Log. 57, No. 2, 555--556 (1992; Zbl 0764.18002) Full Text: DOI
Abraham, U.; Shelah, Saharon On the intersection of closed unbounded sets. (English) Zbl 0633.03042 J. Symb. Log. 51, 180-189 (1986). Reviewer: Z.Adamowicz MSC: 03E05 PDFBibTeX XMLCite \textit{U. Abraham} and \textit{S. Shelah}, J. Symb. Log. 51, 180--189 (1986; Zbl 0633.03042) Full Text: DOI
Henle, J. M.; Kleinberg, E. M.; Watro, R. J. On the ultrafilters and ultrapowers of strong partition cardinals. (English) Zbl 0591.03034 J. Symb. Log. 49, 1268-1272 (1984). Reviewer: F.R.Drake MSC: 03E60 03E05 PDFBibTeX XMLCite \textit{J. M. Henle} et al., J. Symb. Log. 49, 1268--1272 (1984; Zbl 0591.03034) Full Text: DOI
Devlin, Keith J. The combinatorial principle diamond sharp. (English) Zbl 0524.03043 J. Symb. Log. 47, 888-899 (1982). MSC: 03E45 03E55 PDFBibTeX XMLCite \textit{K. J. Devlin}, J. Symb. Log. 47, 888--899 (1982; Zbl 0524.03043) Full Text: DOI
Becker, Howard AD and the supercompatness of \(\aleph_1\). (English) Zbl 0498.03044 J. Symb. Log. 46, 822-842 (1981). MSC: 03E60 03E15 03E55 PDFBibTeX XMLCite \textit{H. Becker}, J. Symb. Log. 46, 822--842 (1981; Zbl 0498.03044) Full Text: DOI