Anscombe, Sylvy; Dittmann, Philip; Fehm, Arno Axiomatizing the existential theory of \(\mathbb{F}_q((t))\). (English) Zbl 07783172 Algebra Number Theory 17, No. 11, 2013-2032 (2023). MSC: 03C60 11D88 11G25 12L05 PDFBibTeX XMLCite \textit{S. Anscombe} et al., Algebra Number Theory 17, No. 11, 2013--2032 (2023; Zbl 07783172) Full Text: DOI arXiv
Chan, William; Jackson, Stephen; Trang, Nam Countable length everywhere club uniformization. (English) Zbl 07781913 J. Symb. Log. 88, No. 4, 1556-1572 (2023). MSC: 03E15 03E60 PDFBibTeX XMLCite \textit{W. Chan} et al., J. Symb. Log. 88, No. 4, 1556--1572 (2023; Zbl 07781913) Full Text: DOI
Müller, Sandra; Schlicht, Philipp Uniformization and internal absoluteness. (English) Zbl 07679794 Proc. Am. Math. Soc. 151, No. 7, 3089-3102 (2023). MSC: 03E15 03E57 PDFBibTeX XMLCite \textit{S. Müller} and \textit{P. Schlicht}, Proc. Am. Math. Soc. 151, No. 7, 3089--3102 (2023; Zbl 07679794) Full Text: DOI arXiv
Wehrung, Friedrich From noncommutative diagrams to anti-elementary classes. (English) Zbl 1474.18004 J. Math. Log. 21, No. 2, Article ID 2150011, 56 p. (2021). Reviewer: Michel Hébert (Al-Qāhira) MSC: 18A30 03C52 03C75 18A35 03E05 06A07 06A12 06C20 06D22 06D35 06F20 08C05 08A30 16E20 16E50 PDFBibTeX XMLCite \textit{F. Wehrung}, J. Math. Log. 21, No. 2, Article ID 2150011, 56 p. (2021; Zbl 1474.18004) Full Text: DOI arXiv
Chan, William Ordinal definability and combinatorics of equivalence relations. (English) Zbl 1477.03204 J. Math. Log. 19, No. 2, Article ID 1950009, 24 p. (2019). MSC: 03E35 03E02 03E15 03E45 03E60 PDFBibTeX XMLCite \textit{W. Chan}, J. Math. Log. 19, No. 2, Article ID 1950009, 24 p. (2019; Zbl 1477.03204) Full Text: DOI arXiv
Mok, Ngaiming; Pila, Jonathan; Tsimerman, Jacob Ax-Schanuel for Shimura varieties. (English) Zbl 1481.14048 Ann. Math. (2) 189, No. 3, 945-978 (2019). Reviewer: Andrea Marrama (Paris) MSC: 14G35 11G18 03C64 PDFBibTeX XMLCite \textit{N. Mok} et al., Ann. Math. (2) 189, No. 3, 945--978 (2019; Zbl 1481.14048) Full Text: DOI arXiv
Kanovei, Vladimir; Lyubetsky, Vassily Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy. (English) Zbl 1472.03059 Fundam. Math. 245, No. 2, 175-215 (2019). MSC: 03E35 03E15 PDFBibTeX XMLCite \textit{V. Kanovei} and \textit{V. Lyubetsky}, Fundam. Math. 245, No. 2, 175--215 (2019; Zbl 1472.03059) Full Text: DOI arXiv
Soukup, Dániel T. Uncountable strongly surjective linear orders. (English) Zbl 1444.03143 Order 36, No. 1, 43-64 (2019). Reviewer: Xiaoquan Xu (Zhangzhou) MSC: 03E04 03E35 03E05 06A05 PDFBibTeX XMLCite \textit{D. T. Soukup}, Order 36, No. 1, 43--64 (2019; Zbl 1444.03143) Full Text: DOI arXiv
Michielini, Vincent Uniformization problem for variants of first order logic over finite words. (English) Zbl 1514.03048 Hoshi, Mizuho (ed.) et al., Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11088, 516-528 (2018). MSC: 03D05 PDFBibTeX XMLCite \textit{V. Michielini}, Lect. Notes Comput. Sci. 11088, 516--528 (2018; Zbl 1514.03048) Full Text: DOI
Kanovei, Vladimir G.; Lyubetsky, Vassily A. Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes. (English. Russian original) Zbl 1446.03081 Izv. Math. 82, No. 1, 61-90 (2018); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 82, No. 1, 65-96 (2018). MSC: 03E15 03E35 03E40 PDFBibTeX XMLCite \textit{V. G. Kanovei} and \textit{V. A. Lyubetsky}, Izv. Math. 82, No. 1, 61--90 (2018; Zbl 1446.03081); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 82, No. 1, 65--96 (2018) Full Text: DOI
Ulrich, Douglas The number of atomic models of uncountable theories. (English) Zbl 1447.03004 J. Symb. Log. 83, No. 1, 84-102 (2018). MSC: 03C55 03E35 03E05 PDFBibTeX XMLCite \textit{D. Ulrich}, J. Symb. Log. 83, No. 1, 84--102 (2018; Zbl 1447.03004) Full Text: DOI arXiv
Larson, Paul; Shelah, Saharon Consistency of a strong uniformization principle. (English) Zbl 1459.03083 Colloq. Math. 146, No. 1, 1-13 (2017). MSC: 03E35 20K35 PDFBibTeX XMLCite \textit{P. Larson} and \textit{S. Shelah}, Colloq. Math. 146, No. 1, 1--13 (2017; Zbl 1459.03083) Full Text: DOI Link
Löding, Christof; Winter, Sarah Uniformization problems for tree-automatic relations and top-down tree transducers. (English) Zbl 1398.68320 Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 65, 14 p. (2016). MSC: 68Q45 03B25 PDFBibTeX XMLCite \textit{C. Löding} and \textit{S. Winter}, LIPIcs -- Leibniz Int. Proc. Inform. 58, Article 65, 14 p. (2016; Zbl 1398.68320) Full Text: DOI
Ketchersid, Richard; Larson, Paul; Zapletal, Jindřich Ramsey ultrafilters and countable-to-one uniformization. (English) Zbl 1355.03037 Topology Appl. 213, 190-198 (2016). Reviewer: K. P. Hart (Delft) MSC: 03E40 03E35 03E15 03E45 03E05 PDFBibTeX XMLCite \textit{R. Ketchersid} et al., Topology Appl. 213, 190--198 (2016; Zbl 1355.03037) Full Text: DOI
Kanovei, Vladimir; Lyubetsky, Vassily Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation. (English) Zbl 1403.03086 Ann. Pure Appl. Logic 167, No. 3, 262-283 (2016). MSC: 03E15 03E35 03E20 28A05 PDFBibTeX XMLCite \textit{V. Kanovei} and \textit{V. Lyubetsky}, Ann. Pure Appl. Logic 167, No. 3, 262--283 (2016; Zbl 1403.03086) Full Text: DOI arXiv Backlinks: MO
Aleksandrova, S. A. Uniformization in superstructures over some extensions of \(\mathbb{R}\). (English. Russian original) Zbl 1371.03045 Algebra Logic 54, No. 4, 273-278 (2015); translation from Algebra Logika 54, No. 4, 431-438 (2015). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{S. A. Aleksandrova}, Algebra Logic 54, No. 4, 273--278 (2015; Zbl 1371.03045); translation from Algebra Logika 54, No. 4, 431--438 (2015) Full Text: DOI
Fujiwara, Makoto; Kohlenbach, Ulrich Classical provability of uniform versions and intuitionistic provability. (English) Zbl 1367.03108 Math. Log. Q. 61, No. 3, 132-150 (2015). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03F55 03B30 PDFBibTeX XMLCite \textit{M. Fujiwara} and \textit{U. Kohlenbach}, Math. Log. Q. 61, No. 3, 132--150 (2015; Zbl 1367.03108) Full Text: DOI
Stukachev, A. I. Properties of \(s\Sigma\)-reducibility. (English. Russian original) Zbl 1326.03044 Algebra Logic 53, No. 5, 405-417 (2014); translation from Algebra Logika 53, No. 5 (2014). MSC: 03C57 03D45 03D60 PDFBibTeX XMLCite \textit{A. I. Stukachev}, Algebra Logic 53, No. 5, 405--417 (2014; Zbl 1326.03044); translation from Algebra Logika 53, No. 5 (2014) Full Text: DOI
Aleksandrova, S. A. The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field. (English. Russian original) Zbl 1323.03043 Algebra Logic 53, No. 1, 1-8 (2014); translation from Algebra Logika 53, No. 1, 3-14 (2014). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{S. A. Aleksandrova}, Algebra Logic 53, No. 1, 1--8 (2014; Zbl 1323.03043); translation from Algebra Logika 53, No. 1, 3--14 (2014) Full Text: DOI
Zhou, Hongan An FOWA operator-based group decision-making method for different fuzzy preference information. (Chinese. English summary) Zbl 1289.90120 J. Lanzhou Univ. Technol. 38, No. 5, 133-137 (2012). MSC: 90B50 03E72 PDFBibTeX XMLCite \textit{H. Zhou}, J. Lanzhou Univ. Technol. 38, No. 5, 133--137 (2012; Zbl 1289.90120)
Schlicht, Philipp; Seyfferth, Benjamin Tree representations via ordinal machines. (English) Zbl 1270.03061 Computability 1, No. 1, 45-57 (2012). Reviewer: Mihai Prunescu (Bucharest) MSC: 03D10 03D78 PDFBibTeX XMLCite \textit{P. Schlicht} and \textit{B. Seyfferth}, Computability 1, No. 1, 45--57 (2012; Zbl 1270.03061) Full Text: DOI
Rettinger, Robert Compactness and the effectivity of uniformization. (English) Zbl 1358.03095 Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 616-625 (2012). MSC: 03F60 30C20 30C35 30F10 PDFBibTeX XMLCite \textit{R. Rettinger}, Lect. Notes Comput. Sci. 7318, 616--625 (2012; Zbl 1358.03095) Full Text: DOI
Jenkins, Mark; Ouaknine, Joël; Rabinovich, Alexander; Worrell, James The Church synthesis problem with metric. (English) Zbl 1247.68166 Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 307-321, electronic only (2011). MSC: 68Q60 03B25 03D05 PDFBibTeX XMLCite \textit{M. Jenkins} et al., LIPIcs -- Leibniz Int. Proc. Inform. 12, 307--321 (2011; Zbl 1247.68166) Full Text: DOI Link
Avdeev, R. R. On the admissible sets of type \(\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak M)\) over recursively saturated models. (English) Zbl 1256.03049 Sib. Math. J. 52, No. 6, 951-968 (2011); translation from Sib. Mat. Zh. 52, No. 6, 1199-1220 (2011). Reviewer: Vadim Puzarenko (Novosibirsk) MSC: 03D60 03C57 PDFBibTeX XMLCite \textit{R. R. Avdeev}, Sib. Math. J. 52, No. 6, 951--968 (2011; Zbl 1256.03049); translation from Sib. Mat. Zh. 52, No. 6, 1199--1220 (2011) Full Text: DOI
Borodulin-Nadzieja, Piotr; Głąb, Szymon Ideals with bases of unbounded Borel complexity. (English) Zbl 1243.03061 Math. Log. Q. 57, No. 6, 582-590 (2011). Reviewer: Enrico Zoli (Firenze) MSC: 03E15 54A35 28A05 PDFBibTeX XMLCite \textit{P. Borodulin-Nadzieja} and \textit{S. Głąb}, Math. Log. Q. 57, No. 6, 582--590 (2011; Zbl 1243.03061) Full Text: DOI
Vladimirov, A. G. Effectivity properties of intuitionistic set theory with collection scheme. (English. Russian original) Zbl 1235.03079 Math. Notes 89, No. 5, 619-632 (2011); translation from Mat. Zametki 89, No. 5, 658-672 (2011). MSC: 03E70 03F50 PDFBibTeX XMLCite \textit{A. G. Vladimirov}, Math. Notes 89, No. 5, 619--632 (2011; Zbl 1235.03079); translation from Mat. Zametki 89, No. 5, 658--672 (2011) Full Text: DOI
Rinot, Assaf On guessing generalized clubs at the successors of regulars. (English) Zbl 1233.03054 Ann. Pure Appl. Logic 162, No. 7, 566-577 (2011). Reviewer: Jan Kraszewski (Wrocław) MSC: 03E35 03E05 03E65 PDFBibTeX XMLCite \textit{A. Rinot}, Ann. Pure Appl. Logic 162, No. 7, 566--577 (2011; Zbl 1233.03054) Full Text: DOI
Hirst, Jeffry L.; Mummert, Carl Reverse mathematics and uniformity in proofs without excluded middle. (English) Zbl 1225.03083 Notre Dame J. Formal Logic 52, No. 2, 149-162 (2011). Reviewer: Josef Berger (München) MSC: 03F50 03B30 03F35 03F60 PDFBibTeX XMLCite \textit{J. L. Hirst} and \textit{C. Mummert}, Notre Dame J. Formal Logic 52, No. 2, 149--162 (2011; Zbl 1225.03083) Full Text: DOI arXiv
Rabinovich, Alexander; Shomrat, Amit Selection over classes of ordinals expanded by monadic predicates. (English) Zbl 1225.03012 Ann. Pure Appl. Logic 161, No. 8, 1006-1023 (2010). MSC: 03B25 03C52 03C85 PDFBibTeX XMLCite \textit{A. Rabinovich} and \textit{A. Shomrat}, Ann. Pure Appl. Logic 161, No. 8, 1006--1023 (2010; Zbl 1225.03012) Full Text: DOI
Yorioka, Teruyuki Uniformizing ladder system colorings and the rectangle refining property. (English) Zbl 1200.03039 Proc. Am. Math. Soc. 138, No. 8, 2961-2971 (2010). MSC: 03E50 03E05 03E35 PDFBibTeX XMLCite \textit{T. Yorioka}, Proc. Am. Math. Soc. 138, No. 8, 2961--2971 (2010; Zbl 1200.03039) Full Text: DOI
Chong, C. T.; Yu, Liang A \(\Pi ^1_1\)-uniformization principle for reals. (English) Zbl 1169.03031 Trans. Am. Math. Soc. 361, No. 8, 4233-4245 (2009). MSC: 03D28 03E35 03E45 PDFBibTeX XMLCite \textit{C. T. Chong} and \textit{L. Yu}, Trans. Am. Math. Soc. 361, No. 8, 4233--4245 (2009; Zbl 1169.03031) Full Text: DOI
Kipiani, A. On cardinalities of automorphism groups of uniform binary relation. (English) Zbl 1179.03044 Rep. Enlarged Sess. Semin. I. Vekua Inst. Appl. Math. 22, 65-66 (2008). MSC: 03E05 03E10 03E20 08A02 PDFBibTeX XMLCite \textit{A. Kipiani}, Rep. Enlarged Sess. Semin. I. Vekua Inst. Appl. Math. 22, 65--66 (2008; Zbl 1179.03044)
Hjorth, Greg Selection theorems and treeability. (English) Zbl 1154.03026 Proc. Am. Math. Soc. 136, No. 10, 3647-3653 (2008). MSC: 03E15 PDFBibTeX XMLCite \textit{G. Hjorth}, Proc. Am. Math. Soc. 136, No. 10, 3647--3653 (2008; Zbl 1154.03026) Full Text: DOI
Fujita, H. Remarks on two problems by M. Laczkovich on functions with Borel measurable differences. (English) Zbl 1164.03009 Acta Math. Hung. 117, No. 1-2, 153-160 (2007). Reviewer: Tomasz Natkaniec (Gdańsk) MSC: 03E15 28A05 28A20 54H15 PDFBibTeX XMLCite \textit{H. Fujita}, Acta Math. Hung. 117, No. 1--2, 153--160 (2007; Zbl 1164.03009) Full Text: DOI
Rettinger, Robert Computable Riemann surfaces (extended abstract). (English) Zbl 1150.03322 Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 638-647 (2007). MSC: 03D65 30F99 PDFBibTeX XMLCite \textit{R. Rettinger}, Lect. Notes Comput. Sci. 4497, 638--647 (2007; Zbl 1150.03322) Full Text: DOI
Göbel, Rüdiger; Hülsmann, Nicole; Strüngmann, Lutz A generalization of Whitehead’s problem and its independence. (English) Zbl 1124.03030 Ann. Pure Appl. Logic 148, No. 1-3, 20-30 (2007). MSC: 03E75 13C10 20K20 20K35 PDFBibTeX XMLCite \textit{R. Göbel} et al., Ann. Pure Appl. Logic 148, No. 1--3, 20--30 (2007; Zbl 1124.03030) Full Text: DOI
Rabinovich, Alexander Selection and uniformization in generalized product. (English) Zbl 1060.03049 Log. J. IGPL 12, No. 2, 125-134 (2004). Reviewer: M. Yasuhara (Princeton) MSC: 03C20 03C52 PDFBibTeX XMLCite \textit{A. Rabinovich}, Log. J. IGPL 12, No. 2, 125--134 (2004; Zbl 1060.03049) Full Text: DOI
Ashaev, I. V. On the reduction and uniformization principles in generalized computability. (Russian. English summary) Zbl 1063.03030 Vestn. Omsk. Univ. 2003, No. 3, 12-14 (2003). Reviewer: A. S. Morozov (Novosibirsk) MSC: 03D60 03D65 PDFBibTeX XMLCite \textit{I. V. Ashaev}, Vestn. Omsk. Univ. 2003, No. 3, 12--14 (2003; Zbl 1063.03030)
Shelah, Saharon Not collapsing cardinals \(\leq\kappa\) in \((<\kappa)\)-support iterations. (English) Zbl 1044.03039 Isr. J. Math. 136, 29-115 (2003). Reviewer: K. P. Hart (Delft) MSC: 03E40 03E05 03E35 20K99 PDFBibTeX XMLCite \textit{S. Shelah}, Isr. J. Math. 136, 29--115 (2003; Zbl 1044.03039) Full Text: DOI arXiv
Michalewski, Henryk Condensations of projective sets onto compacta. (English) Zbl 1048.54018 Proc. Am. Math. Soc. 131, No. 11, 3601-3606 (2003). Reviewer: Jan van Mill (Amsterdam) MSC: 54H05 54A10 03E15 54C35 PDFBibTeX XMLCite \textit{H. Michalewski}, Proc. Am. Math. Soc. 131, No. 11, 3601--3606 (2003; Zbl 1048.54018) Full Text: DOI
Trlifaj, Jan Local splitters for bounded cotorsion theories. (English) Zbl 1003.16001 Forum Math. 14, No. 2, 315-324 (2002). Reviewer: Blas Torrecillas (Almeria) MSC: 16D80 16E30 03E35 13F05 16B70 16S90 PDFBibTeX XMLCite \textit{J. Trlifaj}, Forum Math. 14, No. 2, 315--324 (2002; Zbl 1003.16001) Full Text: DOI
Spasojevic, Zoran Ladder systems on trees. (English) Zbl 0980.03049 Proc. Am. Math. Soc. 130, No. 1, 193-203 (2002). MSC: 03E05 PDFBibTeX XMLCite \textit{Z. Spasojevic}, Proc. Am. Math. Soc. 130, No. 1, 193--203 (2002; Zbl 0980.03049) Full Text: DOI
Holický, Petr; Komínek, Václav On projection of nonseparable Souslin and Borel sets along separable spaces. (English) Zbl 1007.54035 Acta Univ. Carol., Math. Phys. 42, No. 2, 33-41 (2001). Reviewer: Miroslav Repický (Kosice) MSC: 54H05 28A05 03E15 PDFBibTeX XMLCite \textit{P. Holický} and \textit{V. Komínek}, Acta Univ. Carol., Math. Phys. 42, No. 2, 33--41 (2001; Zbl 1007.54035) Full Text: EuDML
Kuhlmann, Franz-Viktor Elementary properties of power series fields over finite fields. (English) Zbl 0992.03046 J. Symb. Log. 66, No. 2, 771-791 (2001). MSC: 03C60 12L12 PDFBibTeX XMLCite \textit{F.-V. Kuhlmann}, J. Symb. Log. 66, No. 2, 771--791 (2001; Zbl 0992.03046) Full Text: DOI arXiv
Shelah, Saharon; Väisänen, Pauli On the number of \(L_{\infty\omega_1}\)-equivalent non-isomorphic models. (English) Zbl 0968.03037 Trans. Am. Math. Soc. 353, No. 5, 1781-1817 (2001). Reviewer: Martin Weese (Potsdam) MSC: 03C55 03C75 03E35 03E05 PDFBibTeX XMLCite \textit{S. Shelah} and \textit{P. Väisänen}, Trans. Am. Math. Soc. 353, No. 5, 1781--1817 (2001; Zbl 0968.03037) Full Text: DOI arXiv
Hauser, Kai; Schindler, Ralf-Dieter Projective uniformization revisited. (English) Zbl 0961.03041 Ann. Pure Appl. Logic 103, No. 1-3, 109-153 (2000). Reviewer: Benedikt Löwe (Bonn) MSC: 03E15 03E55 03E45 03E35 28A05 03E60 PDFBibTeX XMLCite \textit{K. Hauser} and \textit{R.-D. Schindler}, Ann. Pure Appl. Logic 103, No. 1--3, 109--153 (2000; Zbl 0961.03041) Full Text: DOI
Kuhlmann, Franz-Viktor Valuation theoretic and model theoretic aspects of local uniformization. (English) Zbl 1046.14001 Hauser, H. (ed.) et al., Resolution of singularities. A research textbook in tribute to Oscar Zariski. Based on the courses given at the working week in Obergurgl, Austria, September 7–14, 1997. Basel: Birkhäuser (ISBN 3-7643-6178-6/hbk). Prog. Math. 181, 381-456 (2000). MSC: 14B05 13A18 14E22 03C60 PDFBibTeX XMLCite \textit{F.-V. Kuhlmann}, Prog. Math. 181, 381--456 (2000; Zbl 1046.14001) Full Text: arXiv
Becker, Howard; Dougherty, Randall On disjoint Borel uniformizations. (English) Zbl 0936.03047 Adv. Math. 146, No. 2, 167-174 (1999). Reviewer: M.Ganster (Graz) MSC: 03E15 54E15 PDFBibTeX XMLCite \textit{H. Becker} and \textit{R. Dougherty}, Adv. Math. 146, No. 2, 167--174 (1999; Zbl 0936.03047) Full Text: DOI arXiv
Hauser, Kai Definable sets of real numbers, infinite games and core model theory. (English) Zbl 0995.03035 Chong, C. T. (ed.) et al., Proceedings of the 6th Asian logic conference, Beijing, China, May 20-24, 1996. Singapore: World Scientific. 107-120 (1998). MSC: 03E15 03E45 03E60 PDFBibTeX XMLCite \textit{K. Hauser}, in: Proceedings of the 6th Asian logic conference, Beijing, China, May 20--24, 1996. Singapore: World Scientific; Singapore: Singapore University Press. 107--120 (1998; Zbl 0995.03035)
Stukachev, A. N. Uniformization theorem in hereditarily finite superstructures. (Russian) Zbl 0930.03052 Vychisl. Sist. 161, 3-14 (1998). Reviewer: A.S.Morozov (Novosibirsk) MSC: 03D60 03C57 03D45 PDFBibTeX XMLCite \textit{A. N. Stukachev}, Vychisl. Sist. 161, 3--14 (1998; Zbl 0930.03052)
Srivastava, S. M. A course on Borel sets. (English) Zbl 0903.28001 Graduate Texts in Mathematics. 180. New York, NY: Springer. xvi, 261 p. (1998). Reviewer: T. Natkaniec (Gdańsk) MSC: 28-01 28A05 03-01 03E15 54H05 PDFBibTeX XMLCite \textit{S. M. Srivastava}, A course on Borel sets. New York, NY: Springer (1998; Zbl 0903.28001)
Stukachev, A. I. The uniformization property in hereditary finite superstructures. (English) Zbl 0914.03055 Sib. Adv. Math. 7, No. 1, 123-131 (1997). Reviewer: A.S.Morozov (Novosibirsk) MSC: 03D60 03C70 PDFBibTeX XMLCite \textit{A. I. Stukachev}, Sib. Adv. Math. 7, No. 1, 123--131 (1997; Zbl 0914.03055)
Eklof, Paul C. Set theory generated by Abelian group theory. (English) Zbl 0876.03024 Bull. Symb. Log. 3, No. 1, 1-16 (1997). Reviewer: O.V.Belegradek (Kemerovo) MSC: 03E05 03-02 03E55 20K99 03E50 03E35 20A15 PDFBibTeX XMLCite \textit{P. C. Eklof}, Bull. Symb. Log. 3, No. 1, 1--16 (1997; Zbl 0876.03024) Full Text: DOI Link Link
Eklof, Paul C.; Shelah, Saharon New nonfree Whitehead groups by coloring. (English) Zbl 0869.20039 Arnold, David M. (ed.) et al., Abelian groups and modules. Proceedings of the international conference at Colorado Springs, CO, USA, August 7–12, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 182, 15-22 (1996). Reviewer: R.Göbel (Essen) MSC: 20K20 03E35 PDFBibTeX XMLCite \textit{P. C. Eklof} and \textit{S. Shelah}, Lect. Notes Pure Appl. Math. 182, 15--22 (1996; Zbl 0869.20039)
Thomas, Simon An independence result in group cohomology. (English) Zbl 0865.20003 Bull. Lond. Math. Soc. 28, No. 3, 264-268 (1996). Reviewer: P.Eklof (Irvine) MSC: 20A15 03E35 20J05 PDFBibTeX XMLCite \textit{S. Thomas}, Bull. Lond. Math. Soc. 28, No. 3, 264--268 (1996; Zbl 0865.20003) Full Text: DOI
Trlifaj, Jan Whitehead test modules. (English) Zbl 0865.16006 Trans. Am. Math. Soc. 348, No. 4, 1521-1554 (1996). Reviewer: J.L.Gómez-Pardo (Santiago de Compostela) MSC: 16E30 03E55 16B70 16D40 16D50 16D70 20K35 PDFBibTeX XMLCite \textit{J. Trlifaj}, Trans. Am. Math. Soc. 348, No. 4, 1521--1554 (1996; Zbl 0865.16006) Full Text: DOI
Amir, Eyal; Judah, Haim Souslin absoluteness, uniformization and regularity properties of projective sets. (English) Zbl 0837.04001 Bartoszyński, Tomek (ed.) et al., Set theory. Annual Boise extravaganza in set theory (BEST) conference, 1992/1994, Boise State University, Boise, ID, USA. Providence, RI: American Mathematical Society. Contemp. Math. 192, 15-24 (1996). MSC: 03E15 03C55 PDFBibTeX XMLCite \textit{E. Amir} and \textit{H. Judah}, Contemp. Math. 192, 15--24 (1996; Zbl 0837.04001)
Sharp, James D.; Thomas, Simon Some questions concerning the cofinality of \(\text{Sym}(\kappa)\). (English) Zbl 0853.03014 J. Symb. Log. 60, No. 3, 892-897 (1995). Reviewer: H.D.Macpherson (Leeds) MSC: 03E35 20B07 20B30 20A15 03E50 03E75 PDFBibTeX XMLCite \textit{J. D. Sharp} and \textit{S. Thomas}, J. Symb. Log. 60, No. 3, 892--897 (1995; Zbl 0853.03014) Full Text: DOI
Sharp, James D.; Thomas, Simon Uniformization problems and the cofinality of the infinite symmetric group. (English) Zbl 0824.03027 Notre Dame J. Formal Logic 35, No. 3, 328-345 (1994). Reviewer: O.V.Belegradek (Kemerovo) MSC: 03E35 03E50 20B30 03E75 PDFBibTeX XMLCite \textit{J. D. Sharp} and \textit{S. Thomas}, Notre Dame J. Formal Logic 35, No. 3, 328--345 (1994; Zbl 0824.03027) Full Text: DOI
Schoutens, Hans Uniformization of rigid subanalytic sets. (English) Zbl 0867.32011 Compos. Math. 94, No. 3, 227-245 (1994). Reviewer: Zachary Robinson (MR 96b:32042) MSC: 32P05 32B20 14G20 14P15 03C10 PDFBibTeX XMLCite \textit{H. Schoutens}, Compos. Math. 94, No. 3, 227--245 (1994; Zbl 0867.32011) Full Text: Numdam EuDML
Eklof, Paul C.; Shelah, Saharon A combinatorial principle equivalent to the existence of non-free Whitehead groups. (English) Zbl 0829.20075 Göbel, Rüdiger (ed.) et al., Abelian group theory and related topics. Conference, August 1-7, 1993, Oberwolfach, Germany. Providence, RI: American Mathematical Society. Contemp. Math. 171, 79-98 (1994). Reviewer: R.Göbel (Essen) MSC: 20K20 03E05 20A15 20K35 03E35 PDFBibTeX XMLCite \textit{P. C. Eklof} and \textit{S. Shelah}, Contemp. Math. 171, 79--98 (1994; Zbl 0829.20075) Full Text: arXiv
Friedman, Sy D. Jensen’s \(\Sigma^*\) theory and the combinatorial content of \(V=L\). (English) Zbl 0808.03034 J. Symb. Log. 59, No. 3, 1096-1104 (1994). MSC: 03E45 03E05 PDFBibTeX XMLCite \textit{S. D. Friedman}, J. Symb. Log. 59, No. 3, 1096--1104 (1994; Zbl 0808.03034) Full Text: DOI arXiv
Chong, C. T. Kleinian groups, domains of discontinuity, Poincaré limits sets, and the theory of computation. (English) Zbl 0804.30034 Yang, Chung-Chun (ed.) et al., Complex analysis and its applications. Proceedings of the international conference, held in Hong Kong, January 15-17, 1993. Harlow: Longman Scientific & Technical. Pitman Res. Notes Math. Ser. 305, 166-173 (1994). Reviewer: E.Petrisor (Timişoara) MSC: 30F40 03D15 PDFBibTeX XMLCite \textit{C. T. Chong}, Pitman Res. Notes Math. Ser. 305, 166--173 (1994; Zbl 0804.30034)
Judah, Haim; Roslanowski, Andrzej On Shelah’s amalgamation. (English) Zbl 0828.03021 Judah, Haim (ed.), Set theory of the reals. Proceedings of a winter institute on set theory of the reals held at Bar-Ilan University, Ramat- Gan (Israel), January 1991. Providence, RI: American Mathematical Society (Distrib.), Isr. Math. Conf. Proc. 6, 385-414 (1993). MSC: 03E20 03E45 03E35 PDFBibTeX XMLCite \textit{H. Judah} and \textit{A. Roslanowski}, Isr. Math. Conf. Proc. 6, 385--414 (1993; Zbl 0828.03021)
Lecomte, Dominique Potential Wadge classes of Borel sets with countable sections. (Classes de Wadge potentielles des boréliens à coupes dénombrables.) (French) Zbl 0795.04003 C. R. Acad. Sci., Paris, Sér. I 317, No. 11, 1045-1048 (1993). MSC: 03E15 54H05 PDFBibTeX XMLCite \textit{D. Lecomte}, C. R. Acad. Sci., Paris, Sér. I 317, No. 11, 1045--1048 (1993; Zbl 0795.04003)
Lecomte, Dominique Potential Wadge classes and partial uniformization theorems. (Classes de Wadge potentielles et théorèmes d’uniformisation partielle.) (French) Zbl 0795.04002 Fundam. Math. 143, No. 3, 231-258 (1993). MSC: 03E15 54H05 PDFBibTeX XMLCite \textit{D. Lecomte}, Fundam. Math. 143, No. 3, 231--258 (1993; Zbl 0795.04002) Full Text: DOI arXiv EuDML
Lavine, Shaughan Generalized reduction theorems for model-theoretic analogs of the class of coanalytic sets. (English) Zbl 0782.03019 J. Symb. Log. 58, No. 1, 81-98 (1993). Reviewer: S.Lavine MSC: 03C70 03E15 PDFBibTeX XMLCite \textit{S. Lavine}, J. Symb. Log. 58, No. 1, 81--98 (1993; Zbl 0782.03019) Full Text: DOI
Tanaka, Hisao Some descriptive-set-theoretical problems in complexity theory. (English) Zbl 0799.03053 Publ. Res. Inst. Math. Sci. 28, No. 4, 603-614 (1992). MSC: 03E15 03D15 68Q15 PDFBibTeX XMLCite \textit{H. Tanaka}, Publ. Res. Inst. Math. Sci. 28, No. 4, 603--614 (1992; Zbl 0799.03053) Full Text: DOI
Eklof, P. C.; Mekler, A. H.; Shelah, Saharon Uniformization and the diversity of Whitehead groups. (English) Zbl 0806.20044 Isr. J. Math. 80, No. 3, 301-321 (1992). Reviewer: A.M.Sebel’din (Nizhnij Novgorod) MSC: 20K20 20K27 03E35 03E05 03C60 PDFBibTeX XMLCite \textit{P. C. Eklof} et al., Isr. J. Math. 80, No. 3, 301--321 (1992; Zbl 0806.20044) Full Text: DOI arXiv
Becker, Howard Descriptive set theoretic phenomena in analysis and topology. (English) Zbl 0786.04001 Set theory of the continuum, Pap. Math. Sci. Res. Inst. Workshop, Berkeley/CA (USA) 1989, Math. Sci. Res. Inst. Publ. 26, 1-25 (1992). Reviewer: T.Natkaniec (Bydgoszcz) MSC: 03E15 26A21 54H05 28A05 PDFBibTeX XMLCite \textit{H. Becker}, Math. Sci. Res. Inst. Publ. 26, 1--25 (1992; Zbl 0786.04001)
Nabebin, A. A. Monadic logic and PROLOG-design of finite automata. Methodical instructions on the course ”Foundations of mathematical modeling”. (Monadicheskaya logika i PROLOG-proektirovanie konechnykh avtomatov. Metodicheskie ukazaniya po kursu ”Osnovy matematicheskogo modelirovaniya”.) (Russian) Zbl 0782.68084 Moskva: Izdatel’stvo Moskovskogo Ehnergeticheskogo Instituta, 140 p. (1992). Reviewer: A.A.Nabein (Moskva) MSC: 68Q45 68N17 03D05 68-01 PDFBibTeX XMLCite \textit{A. A. Nabebin}, Monadicheskaya logika i PROLOG-proektirovanie konechnykh avtomatov. Metodicheskie ukazaniya po kursu ''Osnovy matematicheskogo modelirovaniya'' (Russian). Moskva: Izdatel'stvo Moskovskogo Ehnergeticheskogo Instituta (1992; Zbl 0782.68084)
Jackson, Steve; Mauldin, R. Daniel Nonuniformization results for the projective hierarchy. (English) Zbl 0736.03016 J. Symb. Log. 56, No. 2, 742-748 (1991). MSC: 03E15 03E60 28A05 PDFBibTeX XMLCite \textit{S. Jackson} and \textit{R. D. Mauldin}, J. Symb. Log. 56, No. 2, 742--748 (1991; Zbl 0736.03016) Full Text: DOI
Lavine, Shaughan Dual easy uniformization and model-theoretic descriptive set theory. (English) Zbl 0737.03022 J. Symb. Log. 56, No. 4, 1290-1316 (1991). MSC: 03E15 03C15 03C75 PDFBibTeX XMLCite \textit{S. Lavine}, J. Symb. Log. 56, No. 4, 1290--1316 (1991; Zbl 0737.03022) Full Text: DOI
Kharazishvili, A. B. On a problem of uniformization of sets. (Russian. English summary) Zbl 0725.54025 Soobshch. Akad. Nauk Gruz. SSR 140, No. 2, 245-248 (1990). Reviewer: D.Kurepa (Beograd) MSC: 54E52 03E15 54H05 PDFBibTeX XMLCite \textit{A. B. Kharazishvili}, Soobshch. Akad. Nauk Gruz. SSR 140, No. 2, 245--248 (1990; Zbl 0725.54025)
Keisler, H. Jerome; Kunen, Kenneth; Miller, Arnold; Leth, Steven Descriptive set theory over hyperfinite sets. (English) Zbl 0701.03023 J. Symb. Log. 54, No. 4, 1167-1180 (1989). MSC: 03E15 PDFBibTeX XMLCite \textit{H. J. Keisler} et al., J. Symb. Log. 54, No. 4, 1167--1180 (1989; Zbl 0701.03023) Full Text: DOI
Mekler, Alan H.; Shelah, Saharon Uniformization principles. (English) Zbl 0699.03028 J. Symb. Log. 54, No. 2, 441-459 (1989). MSC: 03E35 54A35 20A15 03E55 03C55 PDFBibTeX XMLCite \textit{A. H. Mekler} and \textit{S. Shelah}, J. Symb. Log. 54, No. 2, 441--459 (1989; Zbl 0699.03028) Full Text: DOI
Ressayre, J. P. \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy. (English) Zbl 0687.03027 Arch. Math. Logic 28, No. 2, 99-117 (1989). Reviewer: C.Calude MSC: 03D80 03E15 03D60 03D55 PDFBibTeX XMLCite \textit{J. P. Ressayre}, Arch. Math. Logic 28, No. 2, 99--117 (1989; Zbl 0687.03027) Full Text: DOI
Khakhanyan, V. Kh. Nondeducibility of the uniformization principles from Church’s thesis in intuitionistic set theory. (English. Russian original) Zbl 0663.03045 Math. Notes 43, No. 5, 394-398 (1988); translation from Mat. Zametki 43, No. 5, 685-691 (1988). MSC: 03E70 PDFBibTeX XMLCite \textit{V. Kh. Khakhanyan}, Math. Notes 43, No. 5, 394--398 (1988; Zbl 0663.03045); translation from Mat. Zametki 43, No. 5, 685--691 (1988) Full Text: DOI
Kechris, Alexander S. “AD\(+uniformization''\) is equivalent to “half \(AD_ R''\). (English) Zbl 0657.03041 Cabal seminar 81-85, Proc., Caltech-UCLA Logic Semin., Los Angeles/Calif. 1981-85, Lect. Notes Math. 1333, 98-102 (1988). Reviewer: E.Hartová MSC: 03E60 03E15 PDFBibTeX XML
Khakhanyan, V. Kh. Unprovability of the uniformization principle of Church’s thesis in intuitionistic set theory. (Russian) Zbl 0652.03037 Mat. Zametki 43, No. 5, 685-691 (1988). Reviewer: B.R.Boričić MSC: 03E70 PDFBibTeX XMLCite \textit{V. Kh. Khakhanyan}, Mat. Zametki 43, No. 5, 685--691 (1988; Zbl 0652.03037)
Yasuda, Yutaka An answer of a question of Addison concerning the uniformization of analytic sets with countable sections. (English) Zbl 0629.03029 Comment. Math. Univ. St. Pauli 35, 45-47 (1986). Reviewer: G.Zbaganu MSC: 03E15 PDFBibTeX XMLCite \textit{Y. Yasuda}, Comment. Math. Univ. St. Pauli 35, 45--47 (1986; Zbl 0629.03029)
Uspenskij, V. A. Luzin’s contribution to the descriptive theory of sets and functions: concepts, problems, predictions. (English. Russian original) Zbl 0613.04004 Russ. Math. Surv. 40, No. 3, 97-134 (1985); translation from Usp. Mat. Nauk 40, No. 3(243), 85-116 (1985). Reviewer: A.Ghose MSC: 03E15 01A60 PDFBibTeX XMLCite \textit{V. A. Uspenskij}, Russ. Math. Surv. 40, No. 3, 97--134 (1985; Zbl 0613.04004); translation from Usp. Mat. Nauk 40, No. 3(243), 85--116 (1985) Full Text: DOI
Muller, David; Schupp, Paul E. Alternating automata on infinite objects, determinacy and Rabin’s theorem. (English) Zbl 0608.03004 Automata on infinite words, Ec. Printemps Inf. Théor., Le Mont Dore 1984, Lect. Notes Comput. Sci. 192, 100-107 (1985). MSC: 03B25 03E60 03D05 91A07 PDFBibTeX XML
Debs, Gabriel Parametrisations boréliennes. (Borel parametrization). (French) Zbl 0589.28004 Proc. Am. Math. Soc. 94, 675-681 (1985). MSC: 28A20 54H05 03E15 PDFBibTeX XMLCite \textit{G. Debs}, Proc. Am. Math. Soc. 94, 675--681 (1985; Zbl 0589.28004) Full Text: DOI
Srebrny, Marian Measurable selectors of PCA multifunctions with applications. (English) Zbl 0567.28005 Mem. Am. Math. Soc. 311, 50 p. (1984). MSC: 28B20 03E15 PDFBibTeX XMLCite \textit{M. Srebrny}, Measurable selectors of PCA multifunctions with applications. Providence, RI: American Mathematical Society (AMS) (1984; Zbl 0567.28005) Full Text: DOI
Pol, Roman On Borel-measurable collections of countable unions of finite-dimensional compacta. (English) Zbl 0562.54055 Bull. Pol. Acad. Sci., Math. 32, 703-713 (1984). MSC: 54H05 54E45 28A05 03E15 PDFBibTeX XMLCite \textit{R. Pol}, Bull. Pol. Acad. Sci., Math. 32, 703--713 (1984; Zbl 0562.54055)
Raisonnier, Jean; Stern, Jacques Mesurabilité et propriété de Baire. (French) Zbl 0549.03038 C. R. Acad. Sci., Paris, Sér. I 296, 323-326 (1983). Reviewer: J.E.Jayne MSC: 03E15 PDFBibTeX XMLCite \textit{J. Raisonnier} and \textit{J. Stern}, C. R. Acad. Sci., Paris, Sér. I 296, 323--326 (1983; Zbl 0549.03038)
Gurevich, Yuri; Shelah, Saharon Rabin’s uniformization problem. (English) Zbl 0537.03007 J. Symb. Log. 48, 1105-1119 (1983). Reviewer: J.M.Plotkin MSC: 03B25 PDFBibTeX XMLCite \textit{Y. Gurevich} and \textit{S. Shelah}, J. Symb. Log. 48, 1105--1119 (1983; Zbl 0537.03007) Full Text: DOI Link
Riley, Robert Applications of a computer implementation of Poincaré’s theorem on fundamental polyhedra. (English) Zbl 0528.51010 Math. Comput. 40, 607-632 (1983). MSC: 51M10 20H05 57M25 03D40 20-04 20G20 30F40 51-04 51M20 57-04 57N10 68W99 PDFBibTeX XMLCite \textit{R. Riley}, Math. Comput. 40, 607--632 (1983; Zbl 0528.51010) Full Text: DOI
Taĭmanov, A. D. On A. A. Lyapunov’s work on set theory. (Russian) Zbl 0505.01010 Sib. Mat. Zh. 23, No. 6, 183-184 (1982). MSC: 01A60 03-03 PDFBibTeX XMLCite \textit{A. D. Taĭmanov}, Sib. Mat. Zh. 23, No. 6, 183--184 (1982; Zbl 0505.01010) Full Text: EuDML
Srivatsa, V. V. A remark on analytic sets with sigma-compact sections. (English) Zbl 0478.03026 Proc. Am. Math. Soc. 81, 306-307 (1981). MSC: 03E15 28A05 PDFBibTeX XMLCite \textit{V. V. Srivatsa}, Proc. Am. Math. Soc. 81, 306--307 (1981; Zbl 0478.03026) Full Text: DOI
Mauldin, R. Daniel Some selection theorems and problems. (English) Zbl 0459.28006 Measure theory, Proc. Conf., Oberwolfach 1979, Lect. Notes Math. 794, 160-165 (1980). MSC: 28B20 03E15 PDFBibTeX XML
Steinhorn, Charles I.; King, James H. The uniformization property for \(chi_ 2\). (English) Zbl 0451.03018 Isr. J. Math. 36, 248-256 (1980). MSC: 03E35 03E50 PDFBibTeX XMLCite \textit{C. I. Steinhorn} and \textit{J. H. King}, Isr. J. Math. 36, 248--256 (1980; Zbl 0451.03018) Full Text: DOI
Louveau, Alain Notions élémentaires de théorie descriptive effective. (French) Zbl 0397.03031 Semin. Choquet, 17e Annee 1977/78, Initiation a l’Anal., Fasc. 1, Expose No. 1, 10 p. (1978). MSC: 03E15 PDFBibTeX XML Full Text: Numdam EuDML