Goh, Jun Le; Kalimullin, Iskander Sh.; Miller, Joseph S.; Soskova, Mariya I. PA relative to an enumeration oracle. (English) Zbl 07781911 J. Symb. Log. 88, No. 4, 1497-1525 (2023). MSC: 03D30 03D32 PDFBibTeX XMLCite \textit{J. Le Goh} et al., J. Symb. Log. 88, No. 4, 1497--1525 (2023; Zbl 07781911) Full Text: DOI
Alvir, Rachael; Burchfield, Hannah; Knight, Julia F. Copying one of a pair of structures. (English) Zbl 07576903 J. Symb. Log. 87, No. 3, 1201-1214 (2022). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{R. Alvir} et al., J. Symb. Log. 87, No. 3, 1201--1214 (2022; Zbl 07576903) Full Text: DOI
Ganchev, Hristo A.; Kalimullin, Iskander Sh.; Miller, Joseph S.; Soskova, Mariya I. A structural dichotomy in the enumeration degrees. (English) Zbl 1506.03097 J. Symb. Log. 87, No. 2, 527-544 (2022). Reviewer: Rupert Hölzl (Neubiberg) MSC: 03D30 03D78 PDFBibTeX XMLCite \textit{H. A. Ganchev} et al., J. Symb. Log. 87, No. 2, 527--544 (2022; Zbl 1506.03097) Full Text: DOI
Mubayi, Dhruv; Terry, Caroline Discrete metric spaces: structure, enumeration, and 0-1 laws. (English) Zbl 1476.03038 J. Symb. Log. 84, No. 4, 1293-1325 (2019). Reviewer: Vera Koponen (Uppsala) MSC: 03C13 05A16 60F20 PDFBibTeX XMLCite \textit{D. Mubayi} and \textit{C. Terry}, J. Symb. Log. 84, No. 4, 1293--1325 (2019; Zbl 1476.03038) Full Text: DOI arXiv
Ganchev, Hristo; Sorbi, Andrea Initial segments of the \({\Sigma}_2^0\) enumeration degrees. (English) Zbl 1348.03038 J. Symb. Log. 81, No. 1, 316-325 (2016). Reviewer: Patrizio Cintioli (Camerino) MSC: 03D30 PDFBibTeX XMLCite \textit{H. Ganchev} and \textit{A. Sorbi}, J. Symb. Log. 81, No. 1, 316--325 (2016; Zbl 1348.03038) Full Text: DOI
Woods, Kevin Presburger arithmetic, rational generating functions, and quasi-polynomials. (English) Zbl 1353.03074 J. Symb. Log. 80, No. 2, 433-449 (2015). MSC: 03F30 05A15 68Q25 PDFBibTeX XMLCite \textit{K. Woods}, J. Symb. Log. 80, No. 2, 433--449 (2015; Zbl 1353.03074) Full Text: DOI arXiv
Slaman, Theodore A.; Sorbi, Andrea A note on initial segments of the enumeration degrees. (English) Zbl 1337.03060 J. Symb. Log. 79, No. 2, 633-643 (2014). MSC: 03D30 PDFBibTeX XMLCite \textit{T. A. Slaman} and \textit{A. Sorbi}, J. Symb. Log. 79, No. 2, 633--643 (2014; Zbl 1337.03060) Full Text: DOI Link
Ganchev, Hristo; Soskova, Mariya Interpreting true arithmetic in the local structure of the enumeration degrees. (English) Zbl 1257.03066 J. Symb. Log. 77, No. 4, 1184-1194 (2012). Reviewer: Roman Murawski (Poznań) MSC: 03D30 03F30 PDFBibTeX XMLCite \textit{H. Ganchev} and \textit{M. Soskova}, J. Symb. Log. 77, No. 4, 1184--1194 (2012; Zbl 1257.03066) Full Text: DOI Euclid
Ganchev, Hristo; Soskova, Mariya I. Cupping and definability in the local structure of the enumeration degrees. (English) Zbl 1241.03051 J. Symb. Log. 77, No. 1, 133-158 (2012). Reviewer: Roland Sh. Omanadze (Tbilisi) MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{H. Ganchev} and \textit{M. I. Soskova}, J. Symb. Log. 77, No. 1, 133--158 (2012; Zbl 1241.03051) Full Text: DOI Euclid
Harris, Charles M. On the jump classes of noncuppable enumeration degrees. (English) Zbl 1215.03056 J. Symb. Log. 76, No. 1, 177-197 (2011). Reviewer: Joseph S. Ullian (Santa Barbara) MSC: 03D25 03D30 PDFBibTeX XMLCite \textit{C. M. Harris}, J. Symb. Log. 76, No. 1, 177--197 (2011; Zbl 1215.03056) Full Text: DOI
Soskova, Mariya I.; Cooper, S. Barry How enumeration reducibility yields extended Harrington non-splitting. (English) Zbl 1140.03018 J. Symb. Log. 73, No. 2, 634-655 (2008). Reviewer: Leon Harkleroad (Wilton) MSC: 03D25 03D30 03D28 PDFBibTeX XMLCite \textit{M. I. Soskova} and \textit{S. B. Cooper}, J. Symb. Log. 73, No. 2, 634--655 (2008; Zbl 1140.03018) Full Text: DOI
Kent, Thomas F.; Sorbi, Andrea Bounding nonsplitting enumeration degrees. (English) Zbl 1131.03019 J. Symb. Log. 72, No. 4, 1405-1417 (2007). Reviewer: Leon Harkleroad (Wilton) MSC: 03D30 PDFBibTeX XMLCite \textit{T. F. Kent} and \textit{A. Sorbi}, J. Symb. Log. 72, No. 4, 1405--1417 (2007; Zbl 1131.03019) Full Text: DOI Euclid
Razborov, Alexander A. Flag algebras. (English) Zbl 1146.03013 J. Symb. Log. 72, No. 4, 1239-1282 (2007). Reviewer: Gregory Loren McColm (Tampa) MSC: 03C13 05A16 05C35 05D05 05E99 15A99 PDFBibTeX XMLCite \textit{A. A. Razborov}, J. Symb. Log. 72, No. 4, 1239--1282 (2007; Zbl 1146.03013) Full Text: DOI Euclid
Csima, Barbara F.; Shore, Richard A. The settling-time reducibility ordering. (English) Zbl 1127.03035 J. Symb. Log. 72, No. 3, 1055-1071 (2007). Reviewer: Qian Lei (Nashville) MSC: 03D25 PDFBibTeX XMLCite \textit{B. F. Csima} and \textit{R. A. Shore}, J. Symb. Log. 72, No. 3, 1055--1071 (2007; Zbl 1127.03035) Full Text: DOI Euclid Link
Giorgi, Matthew; Sorbi, Andrea; Yang, Yue Properly \(\Sigma_2^0\) enumeration degrees and the high/low hierarchy. (English) Zbl 1114.03034 J. Symb. Log. 71, No. 4, 1125-1144 (2006). Reviewer: Marat M. Arslanov (Kazan) MSC: 03D30 03D55 PDFBibTeX XMLCite \textit{M. Giorgi} et al., J. Symb. Log. 71, No. 4, 1125--1144 (2006; Zbl 1114.03034) Full Text: DOI
Beigel, Richard; Buhrman, Harry; Fejer, Peter; Fortnow, Lance; Grabowski, Piotr; Longpré, Luc; Muchnik, Andrej; Stephan, Frank; Torenvliet, Leen Enumerations of the Kolmogorov function. (English) Zbl 1165.03025 J. Symb. Log. 71, No. 2, 501-528 (2006). MSC: 03D80 68Q15 68Q30 PDFBibTeX XMLCite \textit{R. Beigel} et al., J. Symb. Log. 71, No. 2, 501--528 (2006; Zbl 1165.03025) Full Text: DOI Link
Kalimullin, I. Sh. Splitting properties of \(n\)-c. e. enumeration degrees. (English) Zbl 1008.03025 J. Symb. Log. 67, No. 2, 537-546 (2002). Reviewer: Xizhong Zheng (Cottbus) MSC: 03D25 PDFBibTeX XMLCite \textit{I. Sh. Kalimullin}, J. Symb. Log. 67, No. 2, 537--546 (2002; Zbl 1008.03025) Full Text: DOI
Lempp, Steffen; Sorbi, Andrea Embedding finite lattices into the \(\Sigma_2^0\) enumeration degrees. (English) Zbl 1021.03035 J. Symb. Log. 67, No. 1, 69-90 (2002). Reviewer: Shamil Ishmukhametov (Ul’yanovsk) MSC: 03D25 PDFBibTeX XMLCite \textit{S. Lempp} and \textit{A. Sorbi}, J. Symb. Log. 67, No. 1, 69--90 (2002; Zbl 1021.03035) Full Text: DOI
Nies, André; Sorbi, Andrea Structural properties and \(\Sigma_2^0\) enumeration degrees. (English) Zbl 0945.03063 J. Symb. Log. 65, No. 1, 285-292 (2000). MSC: 03D25 03D30 PDFBibTeX XMLCite \textit{A. Nies} and \textit{A. Sorbi}, J. Symb. Log. 65, No. 1, 285--292 (2000; Zbl 0945.03063) Full Text: DOI
Bereznyuk, Stanislaw; Coles, Richard; Sorbi, Andrea The distribution of properly \(\Sigma_2^0\) e-degrees. (English) Zbl 0946.03049 J. Symb. Log. 65, No. 1, 19-32 (2000). MSC: 03D30 PDFBibTeX XMLCite \textit{S. Bereznyuk} et al., J. Symb. Log. 65, No. 1, 19--32 (2000; Zbl 0946.03049) Full Text: DOI
Kanovei, Vladimir An Ulm-type classification theorem for equivalence relations in Solovay model. (English) Zbl 0895.03020 J. Symb. Log. 62, No. 4, 1333-1351 (1997). Reviewer: M.Repický (Košice) MSC: 03E15 03E45 03E40 PDFBibTeX XMLCite \textit{V. Kanovei}, J. Symb. Log. 62, No. 4, 1333--1351 (1997; Zbl 0895.03020) Full Text: DOI arXiv
Calhoun, William C.; Slaman, Theodore A. The \(\Pi_ 2^ 0\) enumeration degrees are not dense. (English) Zbl 0874.03054 J. Symb. Log. 61, No. 4, 1364-1379 (1996). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D30 PDFBibTeX XMLCite \textit{W. C. Calhoun} and \textit{T. A. Slaman}, J. Symb. Log. 61, No. 4, 1364--1379 (1996; Zbl 0874.03054) Full Text: DOI
Cooper, S. Barry; Sorbi, Andrea Noncappable enumeration degrees below \(\text \textbf{0}'_ e\). (English) Zbl 0874.03055 J. Symb. Log. 61, No. 4, 1347-1363 (1996). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D30 PDFBibTeX XMLCite \textit{S. B. Cooper} and \textit{A. Sorbi}, J. Symb. Log. 61, No. 4, 1347--1363 (1996; Zbl 0874.03055) Full Text: DOI
Shlapentokh, Alexandra Diophantine equivalence and countable rings. (English) Zbl 0810.11072 J. Symb. Log. 59, No. 3, 1068-1095 (1994). Reviewer: D.Busneag (Craiova) MSC: 11U05 03B25 11D99 13F99 13L05 PDFBibTeX XMLCite \textit{A. Shlapentokh}, J. Symb. Log. 59, No. 3, 1068--1095 (1994; Zbl 0810.11072) Full Text: DOI
Ahmad, Seema Embedding the diamond in the \(\Sigma{} _ 2\) enumeration degrees. (English) Zbl 0741.03023 J. Symb. Log. 56, No. 1, 195-212 (1991). Reviewer: L.Harkleroad (Ithaca) MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{S. Ahmad}, J. Symb. Log. 56, No. 1, 195--212 (1991; Zbl 0741.03023) Full Text: DOI
Dekker, J. C. E.; Ellentuck, E. Isols and the pigeonhole principle. (English) Zbl 0688.03029 J. Symb. Log. 54, No. 3, 833-846 (1989). Reviewer: L.Harkleroad MSC: 03D50 05A15 PDFBibTeX XMLCite \textit{J. C. E. Dekker} and \textit{E. Ellentuck}, J. Symb. Log. 54, No. 3, 833--846 (1989; Zbl 0688.03029) Full Text: DOI
Copestake, Kate 1-genericity in the enumeration degrees. (English) Zbl 0663.03030 J. Symb. Log. 53, No. 3, 878-887 (1988). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D30 PDFBibTeX XMLCite \textit{K. Copestake}, J. Symb. Log. 53, No. 3, 878--887 (1988; Zbl 0663.03030) Full Text: DOI
Longo, Giuseppe; Moggi, E. The hereditary partial effective functionals and recursion theory in higher types. (English) Zbl 0599.03051 J. Symb. Log. 49, 1319-1332 (1984). MSC: 03D65 03D45 PDFBibTeX XMLCite \textit{G. Longo} and \textit{E. Moggi}, J. Symb. Log. 49, 1319--1332 (1984; Zbl 0599.03051) Full Text: DOI
Cooper, S. B. Partial degrees and the density problem. II: The enumeration degrees of the \(\Sigma _ 2\) sets are dense. (English) Zbl 0574.03027 J. Symb. Log. 49, 503-513 (1984). MSC: 03D30 03D45 PDFBibTeX XMLCite \textit{S. B. Cooper}, J. Symb. Log. 49, 503--513 (1984; Zbl 0574.03027) Full Text: DOI
Byerly, Robert E. Definability of r. e. sets in a class of recursion theoretic structures. (English) Zbl 0528.03031 J. Symb. Log. 48, 662-669 (1983). MSC: 03D75 03D25 03C40 PDFBibTeX XMLCite \textit{R. E. Byerly}, J. Symb. Log. 48, 662--669 (1983; Zbl 0528.03031) Full Text: DOI
Cooper, S. B. Partial degrees and the density problem. (English) Zbl 0511.03019 J. Symb. Log. 47, 854-859 (1982). MSC: 03D30 03D45 PDFBibTeX XMLCite \textit{S. B. Cooper}, J. Symb. Log. 47, 854--859 (1982; Zbl 0511.03019) Full Text: DOI
Sanchis, Luis E. Reducibilities in two models for combinatory logic. (English) Zbl 0417.03016 J. Symb. Log. 44, 221-234 (1979). MSC: 03D30 03B40 PDFBibTeX XMLCite \textit{L. E. Sanchis}, J. Symb. Log. 44, 221--234 (1979; Zbl 0417.03016) Full Text: DOI