Hyttinen, Tapani; Kulikov, Vadim; Moreno, Miguel On \(\Sigma_1^1\)-completeness of quasi-orders on \(\kappa^\kappa\). (English) Zbl 07301043 Fundam. Math. 251, No. 3, 245-268 (2020). MSC: 03E15 03C55 03C45 54H05 PDF BibTeX XML Cite \textit{T. Hyttinen} et al., Fundam. Math. 251, No. 3, 245--268 (2020; Zbl 07301043) Full Text: DOI
Ostrovsky, Alexey Singular analytic sets. (English) Zbl 07289007 Topology Appl. 281, Article ID 107194, 7 p. (2020). MSC: 54E50 54C10 54E52 54H05 03E15 46A30 28A05 PDF BibTeX XML Cite \textit{A. Ostrovsky}, Topology Appl. 281, Article ID 107194, 7 p. (2020; Zbl 07289007) Full Text: DOI
Conradie, Willem; Robinson, Claudette Algebraic semantics for hybrid logics. (English) Zbl 07220056 Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer (ISBN 978-981-15-1341-1/hbk; 978-981-15-1342-8/ebook). Logic in Asia: Studia Logica Library, 123-154 (2020). MSC: 03B PDF BibTeX XML Cite \textit{W. Conradie} and \textit{C. Robinson}, in: Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5--9, 2016. Singapore: Springer. 123--154 (2020; Zbl 07220056) Full Text: DOI
Atserias, Albert; Dawar, Anuj Definable inapproximability: new challenges for duplicator. (English) Zbl 1446.68072 J. Log. Comput. 29, No. 8, 1185-1210 (2019). MSC: 68Q19 68Q17 PDF BibTeX XML Cite \textit{A. Atserias} and \textit{A. Dawar}, J. Log. Comput. 29, No. 8, 1185--1210 (2019; Zbl 1446.68072) Full Text: DOI
Ferrando, Juan Carlos On the mathematical work of Professor Manuel López-Pellicer. (English) Zbl 1443.46001 Ferrando, Juan Carlos (ed.), Descriptive topology and functional analysis. II. In honour of Manuel López-Pellicer mathematical work. Proceedings of the 2nd meeting in topology and functional analysis, Elche, Spain, June 7–8, 2018. Cham: Springer. Springer Proc. Math. Stat. 286, 1-27 (2019). MSC: 46A03 46A08 46A30 46G10 28B05 54C35 54H05 46-03 01A70 PDF BibTeX XML Cite \textit{J. C. Ferrando}, Springer Proc. Math. Stat. 286, 1--27 (2019; Zbl 1443.46001) Full Text: DOI
Chen, Ruiyuan Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\). (English) Zbl 07130363 Trans. Am. Math. Soc. 372, No. 12, 8955-8983 (2019). Reviewer: Ian Malcolm Johnson (Princeton) MSC: 03E15 03G30 03C15 18C10 PDF BibTeX XML Cite \textit{R. Chen}, Trans. Am. Math. Soc. 372, No. 12, 8955--8983 (2019; Zbl 07130363) Full Text: DOI
Fleischer, Lukas; Kufleitner, Manfred The complexity of weakly recognizing morphisms. (English) Zbl 07082538 RAIRO, Theor. Inform. Appl. 53, No. 1-2, 1-17 (2019). MSC: 20M35 03D15 68Q17 68Q19 PDF BibTeX XML Cite \textit{L. Fleischer} and \textit{M. Kufleitner}, RAIRO, Theor. Inform. Appl. 53, No. 1--2, 1--17 (2019; Zbl 07082538) Full Text: DOI
Chen, Yijia; Flum, Jörg Some lower bounds in parameterized \(\mathrm{AC}^{0}\). (English) Zbl 1423.68196 Inf. Comput. 267, 116-134 (2019). Reviewer: Ioan Tomescu (Bucureşti) MSC: 68Q19 05C69 68Q15 68Q17 68Q25 68R10 PDF BibTeX XML Cite \textit{Y. Chen} and \textit{J. Flum}, Inf. Comput. 267, 116--134 (2019; Zbl 1423.68196) Full Text: DOI
Chen, Yijia; Flum, Jörg Tree-depth, quantifier elimination, and quantifier rank. (English) Zbl 1452.03086 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 225-234 (2018). MSC: 03C13 03C10 68Q19 68Q60 PDF BibTeX XML Cite \textit{Y. Chen} and \textit{J. Flum}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 225--234 (2018; Zbl 1452.03086) Full Text: DOI
Herrmann, Christian; Ziegler, Martin Definable relations in finite-dimensional subspace lattices with involution. (English) Zbl 06968527 Algebra Univers. 79, No. 3, Paper No. 68, 26 p. (2018). MSC: 03C40 03C10 06Cxx PDF BibTeX XML Cite \textit{C. Herrmann} and \textit{M. Ziegler}, Algebra Univers. 79, No. 3, Paper No. 68, 26 p. (2018; Zbl 06968527) Full Text: DOI
Hieronymi, Philipp A tame Cantor set. (English) Zbl 06941796 J. Eur. Math. Soc. (JEMS) 20, No. 9, 2063-2104 (2018). MSC: 03C64 03C10 03D05 03E15 28E15 PDF BibTeX XML Cite \textit{P. Hieronymi}, J. Eur. Math. Soc. (JEMS) 20, No. 9, 2063--2104 (2018; Zbl 06941796) Full Text: DOI arXiv
Mundici, Daniele Word problems in Elliott monoids. (English) Zbl 1404.46061 Adv. Math. 335, 343-371 (2018). MSC: 46L80 47L30 03D40 06B25 06D35 06F20 08A50 20F10 47L40 68Q17 68Q19 PDF BibTeX XML Cite \textit{D. Mundici}, Adv. Math. 335, 343--371 (2018; Zbl 1404.46061) Full Text: DOI arXiv
Fernau, Henning; Manea, Florin; Mercaş, Robert; Schmid, Markus L. Revisiting Shinohara’s algorithm for computing descriptive patterns. (English) Zbl 1408.68085 Theor. Comput. Sci. 733, 44-54 (2018). Reviewer: Ding-Xuan Zhou (Hong Kong) MSC: 68Q32 68Q17 68Q25 68Q45 PDF BibTeX XML Cite \textit{H. Fernau} et al., Theor. Comput. Sci. 733, 44--54 (2018; Zbl 1408.68085) Full Text: DOI
Verbitsky, Oleg; Zhukovskii, Maksim On the first-order complexity of induced subgraph isomorphism. (English) Zbl 1434.03092 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 40, 16 p. (2017). MSC: 03C13 05C60 68Q19 68Q17 PDF BibTeX XML Cite \textit{O. Verbitsky} and \textit{M. Zhukovskii}, LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 40, 16 p. (2017; Zbl 1434.03092) Full Text: DOI
Rast, Richard; Sahota, Davender Singh The Borel complexity of isomorphism for o-minimal theories. (English) Zbl 1412.03018 J. Symb. Log. 82, No. 2, 453-473 (2017). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C64 03C15 03E15 03C07 PDF BibTeX XML Cite \textit{R. Rast} and \textit{D. S. Sahota}, J. Symb. Log. 82, No. 2, 453--473 (2017; Zbl 1412.03018) Full Text: DOI arXiv
Beros, Konstantinos A. Normal numbers and completeness results for difference sets. (English) Zbl 1419.03042 J. Symb. Log. 82, No. 1, 247-257 (2017). MSC: 03E15 28A05 PDF BibTeX XML Cite \textit{K. A. Beros}, J. Symb. Log. 82, No. 1, 247--257 (2017; Zbl 1419.03042) Full Text: DOI arXiv
Rast, Richard The complexity of isomorphism for complete theories of linear orders with unary predicates. (English) Zbl 1417.03228 Arch. Math. Logic 56, No. 3-4, 289-307 (2017). MSC: 03C15 03C64 03E15 PDF BibTeX XML Cite \textit{R. Rast}, Arch. Math. Logic 56, No. 3--4, 289--307 (2017; Zbl 1417.03228) Full Text: DOI
Das, Bireswar; Scharpfenecker, Patrick; Torán, Jacobo CNF and DNF succinct graph encodings. (English) Zbl 1362.68229 Inf. Comput. 253, Part 3, 436-447 (2017). MSC: 68R10 05C60 68Q17 68Q19 68Q25 94C10 PDF BibTeX XML Cite \textit{B. Das} et al., Inf. Comput. 253, Part 3, 436--447 (2017; Zbl 1362.68229) Full Text: DOI
Zeume, Thomas Small dynamic complexity classes. An investigation into dynamic descriptive complexity. (English) Zbl 1430.68004 Lecture Notes in Computer Science 10110. Berlin: Springer (ISBN 978-3-662-54313-9/pbk; 978-3-662-54314-6/ebook). viii, 149 p. (2017). MSC: 68-02 68P15 68Q15 68Q17 68Q19 PDF BibTeX XML Cite \textit{T. Zeume}, Small dynamic complexity classes. An investigation into dynamic descriptive complexity. Berlin: Springer (2017; Zbl 1430.68004) Full Text: DOI
Chen, Hubie; Mayr, Peter Quantified constraint satisfaction on monoids. (English) Zbl 1369.68219 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 15, 14 p. (2016). MSC: 68Q19 03C13 08A70 20M35 68Q17 PDF BibTeX XML Cite \textit{H. Chen} and \textit{P. Mayr}, LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 15, 14~p. (2016; Zbl 1369.68219) Full Text: DOI
Finkel, Olivier Infinite games specified by 2-tape automata. (English) Zbl 1422.03113 Ann. Pure Appl. Logic 167, No. 12, 1184-1212 (2016). MSC: 03E60 03E35 03D05 68Q45 68Q15 68Q17 03E15 PDF BibTeX XML Cite \textit{O. Finkel}, Ann. Pure Appl. Logic 167, No. 12, 1184--1212 (2016; Zbl 1422.03113) Full Text: DOI
Charatonik, Witold; Witkowski, Piotr Two-variable logic with counting and a linear order. (English) Zbl 1448.03006 Log. Methods Comput. Sci. 12, No. 2, Paper No. 8, 31 p. (2016). MSC: 03B25 03B20 03C13 03C80 68Q17 68Q19 PDF BibTeX XML Cite \textit{W. Charatonik} and \textit{P. Witkowski}, Log. Methods Comput. Sci. 12, No. 2, Paper No. 8, 31 p. (2016; Zbl 1448.03006) Full Text: DOI
Nešetřil, J.; Ossona de Mendez, P. Structural sparsity. (English. Russian original) Zbl 1367.03065 Russ. Math. Surv. 71, No. 1, 79-107 (2016); translation from Usp. Mat. Nauk 71, No. 1, 85-116 (2016). Reviewer: Vera Koponen (Uppsala) MSC: 03C13 03C98 05C99 05D40 68Q17 68Q19 03-02 05-02 PDF BibTeX XML Cite \textit{J. Nešetřil} and \textit{P. Ossona de Mendez}, Russ. Math. Surv. 71, No. 1, 79--107 (2016; Zbl 1367.03065); translation from Usp. Mat. Nauk 71, No. 1, 85--116 (2016) Full Text: DOI
Charatonik, Witold; Witkowski, Piotr Two-variable logic with counting and a linear order. (English) Zbl 1373.68259 Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 631-647 (2015). MSC: 68Q25 03B20 03C13 68Q17 68Q19 PDF BibTeX XML Cite \textit{W. Charatonik} and \textit{P. Witkowski}, LIPIcs -- Leibniz Int. Proc. Inform. 41, 631--647 (2015; Zbl 1373.68259) Full Text: DOI
Paperman, Charles Finite-degree predicates and two-variable first-order logic. (English) Zbl 1373.03013 Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 616-630 (2015). MSC: 03B20 03B70 03D05 68Q17 68Q19 PDF BibTeX XML Cite \textit{C. Paperman}, LIPIcs -- Leibniz Int. Proc. Inform. 41, 616--630 (2015; Zbl 1373.03013) Full Text: DOI
Kierónski, Emanuel; Kuusisto, Antti Uniform one-dimensional fragments with one equivalence relation. (English) Zbl 1373.03012 Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 597-615 (2015). MSC: 03B20 03C13 68Q17 68Q19 PDF BibTeX XML Cite \textit{E. Kierónski} and \textit{A. Kuusisto}, LIPIcs -- Leibniz Int. Proc. Inform. 41, 597--615 (2015; Zbl 1373.03012) Full Text: DOI
Bai, Shuliang; Prabhu, Manyem First-order reduction and computational complexity. (Chinese. English summary) Zbl 1349.68100 Commun. Appl. Math. Comput. 29, No. 4, 441-451 (2015). MSC: 68Q19 68Q15 68Q17 68Q25 PDF BibTeX XML Cite \textit{S. Bai} and \textit{M. Prabhu}, Commun. Appl. Math. Comput. 29, No. 4, 441--451 (2015; Zbl 1349.68100) Full Text: DOI
Huth, Michael; Kuo, Jim Huan-Pu; Piterman, Nir The Rabin index of parity games: its complexity and approximation. (English) Zbl 1332.68060 Inf. Comput. 245, 36-53 (2015). MSC: 68Q19 05C15 05C57 68Q17 68Q25 91A43 91A05 PDF BibTeX XML Cite \textit{M. Huth} et al., Inf. Comput. 245, 36--53 (2015; Zbl 1332.68060) Full Text: DOI
Garlík, Michal A new proof of Ajtai’s completeness theorem for nonstandard finite structures. (English) Zbl 1345.03118 Arch. Math. Logic 54, No. 3-4, 413-424 (2015). Reviewer: Roman Kossak (New York) MSC: 03H15 68Q19 03C13 PDF BibTeX XML Cite \textit{M. Garlík}, Arch. Math. Logic 54, No. 3--4, 413--424 (2015; Zbl 1345.03118) Full Text: DOI
Hyttinen, Tapani; Kulikov, Vadim On \(\Sigma_1^1\)-complete equivalence relations on the generalized Baire space. (English) Zbl 1364.03068 Math. Log. Q. 61, No. 1-2, 66-81 (2015). Reviewer: Martin Weese (Potsdam) MSC: 03E15 03C55 03C45 PDF BibTeX XML Cite \textit{T. Hyttinen} and \textit{V. Kulikov}, Math. Log. Q. 61, No. 1--2, 66--81 (2015; Zbl 1364.03068) Full Text: DOI arXiv
Berger, Martin; Tratt, Laurence Program logics for homogeneous generative run-time meta-programming. (English) Zbl 1448.68217 Log. Methods Comput. Sci. 11, No. 1, Paper No. 5, 50 p. (2015). MSC: 68N30 03B70 68N18 PDF BibTeX XML Cite \textit{M. Berger} and \textit{L. Tratt}, Log. Methods Comput. Sci. 11, No. 1, Paper No. 5, 50 p. (2015; Zbl 1448.68217) Full Text: DOI
Naidenko, Vladimir Logics for complexity classes. (English) Zbl 1407.68192 Log. J. IGPL 22, No. 6, 1075-1093 (2014). MSC: 68Q15 PDF BibTeX XML Cite \textit{V. Naidenko}, Log. J. IGPL 22, No. 6, 1075--1093 (2014; Zbl 1407.68192) Full Text: DOI
Friedman, Sy-David The completeness of isomorphism. (English) Zbl 1337.03074 Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 157-163 (2014). Reviewer: Martin Weese (Potsdam) MSC: 03E15 03C57 03C75 03D45 03D60 03E45 PDF BibTeX XML Cite \textit{S.-D. Friedman}, Ontos Math. Log. 4, 157--163 (2014; Zbl 1337.03074)
Ebbing, Johannes; Kontinen, Juha; Müller, Julian-Steffen; Vollmer, Heribert A fragment of dependence logic capturing polynomial time. (English) Zbl 1338.68090 Log. Methods Comput. Sci. 10, No. 3, Paper No. 3, 13 p. (2014). MSC: 68Q19 03B70 68Q15 68Q17 PDF BibTeX XML Cite \textit{J. Ebbing} et al., Log. Methods Comput. Sci. 10, No. 3, Paper No. 3, 13 p. (2014; Zbl 1338.68090) Full Text: DOI
Das, Bireswar; Scharpfenecker, Patrick; Torán, Jacobo Succinct encodings of graph isomorphism. (English) Zbl 1362.68228 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-04920-5/pbk). Lecture Notes in Computer Science 8370, 285-296 (2014). MSC: 68R10 05C60 68Q17 68Q19 68Q25 94C10 PDF BibTeX XML Cite \textit{B. Das} et al., Lect. Notes Comput. Sci. 8370, 285--296 (2014; Zbl 1362.68228) Full Text: DOI
Borges, Nerio; Bonet, Blai Universal first-order logic is superfluous for NL, P, NP and coNP. (English) Zbl 1448.68247 Log. Methods Comput. Sci. 10, No. 1, Paper No. 15, 16 p. (2014). MSC: 68Q19 68Q15 PDF BibTeX XML Cite \textit{N. Borges} and \textit{B. Bonet}, Log. Methods Comput. Sci. 10, No. 1, Paper No. 15, 16 p. (2014; Zbl 1448.68247) Full Text: DOI
Manyem, Prabhu Syntactic expressions to express NP-hard optimization problems and problems with zero duality gap. (English) Zbl 1311.68073 Optimization 62, No. 9, 1227-1246 (2013). MSC: 68Q19 68Q17 68Q25 68T20 90C60 PDF BibTeX XML Cite \textit{P. Manyem}, Optimization 62, No. 9, 1227--1246 (2013; Zbl 1311.68073) Full Text: DOI
Dawar, Anuj; Kopczynski, Eryk; Holm, Bjarki; Grädel, Erich; Pakusa, Wied Definability of linear equation systems over groups and rings. (English) Zbl 1314.68147 Log. Methods Comput. Sci. 9, No. 4, Paper No. 12, 26 p. (2013). MSC: 68Q19 03B70 03C13 15A06 68Q15 68Q17 PDF BibTeX XML Cite \textit{A. Dawar} et al., Log. Methods Comput. Sci. 9, No. 4, Paper No. 12, 26 p. (2013; Zbl 1314.68147) Full Text: DOI
Ostaszewski, A. J. Shift-compactness in almost analytic submetrizable Baire groups and spaces. (English) Zbl 1284.54046 Topol. Proc. 41, 123-151 (2013). Reviewer: Anna Giordano Bruno (Udine) MSC: 54H11 54-02 54H05 22A05 PDF BibTeX XML Cite \textit{A. J. Ostaszewski}, Topol. Proc. 41, 123--151 (2013; Zbl 1284.54046) Full Text: Link
Camerlo, Riccardo; Marcone, Alberto; Motto Ros, Luca Invariantly universal analytic quasi-orders. (English) Zbl 1302.03051 Trans. Am. Math. Soc. 365, No. 4, 1901-1931 (2013). Reviewer: Xianghui Shi (Beijing) MSC: 03E15 PDF BibTeX XML Cite \textit{R. Camerlo} et al., Trans. Am. Math. Soc. 365, No. 4, 1901--1931 (2013; Zbl 1302.03051) Full Text: DOI arXiv
Atserias, Albert; Maneva, Elitza Sherali-Adams relaxations and indistinguishability in counting logics. (English) Zbl 1286.68175 SIAM J. Comput. 42, No. 1, 112-137 (2013). MSC: 68Q17 68Q19 52B12 05C60 05C72 03C80 PDF BibTeX XML Cite \textit{A. Atserias} and \textit{E. Maneva}, SIAM J. Comput. 42, No. 1, 112--137 (2013; Zbl 1286.68175) Full Text: DOI
Atserias, Albert; Maneva, Elitza Sherali-Adams relaxations and indistinguishability in counting logics. (English) Zbl 1347.68175 Proceedings of the 3rd conference on innovations in theoretical computer science, ITCS’12, Cambridge, MA, USA, January 8–10, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1115-1). 367-379 (2012). MSC: 68Q19 03C13 03C80 05C60 05C85 68Q17 90C05 90C57 PDF BibTeX XML Cite \textit{A. Atserias} and \textit{E. Maneva}, in: Proceedings of the 3rd conference on innovations in theoretical computer science, ITCS'12, Cambridge, MA, USA, January 8--10, 2012. New York, NY: Association for Computing Machinery (ACM). 367--379 (2012; Zbl 1347.68175) Full Text: DOI
Gelade, Wouter; Neven, Frank Succinctness of the complement and intersection of regular expressions. (English) Zbl 1351.68139 ACM Trans. Comput. Log. 13, No. 1, Article No. 4, 19 p. (2012). MSC: 68Q45 68Q17 68Q19 PDF BibTeX XML Cite \textit{W. Gelade} and \textit{F. Neven}, ACM Trans. Comput. Log. 13, No. 1, Article No. 4, 19 p. (2012; Zbl 1351.68139) Full Text: DOI
Bodirsky, Manuel; Chen, Hubie; Feder, Tomás On the complexity of MMSNP. (English) Zbl 1280.68106 SIAM J. Discrete Math. 26, No. 1, 404-414 (2012). MSC: 68Q19 68Q17 PDF BibTeX XML Cite \textit{M. Bodirsky} et al., SIAM J. Discrete Math. 26, No. 1, 404--414 (2012; Zbl 1280.68106) Full Text: DOI
Bonet, Blai; Borges, Nerio Syntactic characterizations of completeness using duals and operators. (English) Zbl 1280.68107 Log. J. IGPL 20, No. 1, 266-282 (2012). MSC: 68Q19 68Q15 PDF BibTeX XML Cite \textit{B. Bonet} and \textit{N. Borges}, Log. J. IGPL 20, No. 1, 266--282 (2012; Zbl 1280.68107) Full Text: DOI
Miller, Harry I.; Ostaszewski, A. J. Group action and shift-compactness. (English) Zbl 1251.54035 J. Math. Anal. Appl. 392, No. 1, 23-39 (2012). Reviewer: Zbigniew Grande (Bydgoszcz) MSC: 54H11 54H15 54H05 26A03 28A05 03E15 PDF BibTeX XML Cite \textit{H. I. Miller} and \textit{A. J. Ostaszewski}, J. Math. Anal. Appl. 392, No. 1, 23--39 (2012; Zbl 1251.54035) Full Text: DOI
Bezhanishvili, Nick; Hodkinson, Ian Sahlqvist theorem for modal fixed point logic. (English) Zbl 1268.03020 Theor. Comput. Sci. 424, 1-19 (2012). MSC: 03B45 03B70 PDF BibTeX XML Cite \textit{N. Bezhanishvili} and \textit{I. Hodkinson}, Theor. Comput. Sci. 424, 1--19 (2012; Zbl 1268.03020) Full Text: DOI
Verlan, Sergey; Margenstern, Maurice Universality of splicing test tube systems with two tubes. (English) Zbl 1250.68113 Fundam. Inform. 110, No. 1-4, 329-342 (2011). Reviewer: Yurii Rogozhin (Chisinau) MSC: 68Q10 68Q05 68Q17 68Q19 03D03 03D10 03D15 68Q85 PDF BibTeX XML Cite \textit{S. Verlan} and \textit{M. Margenstern}, Fundam. Inform. 110, No. 1--4, 329--342 (2011; Zbl 1250.68113) Full Text: DOI
Macpherson, Dugald A survey of homogeneous structures. (English) Zbl 1238.03032 Discrete Math. 311, No. 15, 1599-1634 (2011). Reviewer: Isaac Goldbring (Los Angeles) MSC: 03C07 03C15 03C35 03C45 03C52 03E15 05D10 20B27 22F50 PDF BibTeX XML Cite \textit{D. Macpherson}, Discrete Math. 311, No. 15, 1599--1634 (2011; Zbl 1238.03032) Full Text: DOI
Friedman, Sy-David; Motto Ros, Luca Analytic equivalence relations and bi-embeddability. (English) Zbl 1256.03050 J. Symb. Log. 76, No. 1, 243-266 (2011). Reviewer: Jörg D. Brendle (Kobe) MSC: 03E15 54H05 PDF BibTeX XML Cite \textit{S.-D. Friedman} and \textit{L. Motto Ros}, J. Symb. Log. 76, No. 1, 243--266 (2011; Zbl 1256.03050) Full Text: DOI arXiv
Coskey, Samuel; Ellis, Paul; Schneider, Scott The conjugacy problem for the automorphism group of the random graph. (English) Zbl 1209.03039 Arch. Math. Logic 50, No. 1-2, 215-221 (2011). MSC: 03E15 03C35 05C80 PDF BibTeX XML Cite \textit{S. Coskey} et al., Arch. Math. Logic 50, No. 1--2, 215--221 (2011; Zbl 1209.03039) Full Text: DOI arXiv
Gottlob, Georg; Pichler, Reinhard; Wei, Fang Monadic Datalog over finite structures of bounded treewidth. (English) Zbl 1351.68110 ACM Trans. Comput. Log. 12, No. 1, Article No. 3, 48 p. (2010). MSC: 68Q17 03B70 03D05 68P15 68Q19 68Q25 PDF BibTeX XML Cite \textit{G. Gottlob} et al., ACM Trans. Comput. Log. 12, No. 1, Article No. 3, 48 p. (2010; Zbl 1351.68110) Full Text: DOI
Martin, Barnaby; Martin, Jos The complexity of positive first-order logic without equality. II: The four-element case. (English) Zbl 1287.68065 Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 426-438 (2010). MSC: 68Q19 03B20 03D15 68Q17 PDF BibTeX XML Cite \textit{B. Martin} and \textit{J. Martin}, Lect. Notes Comput. Sci. 6247, 426--438 (2010; Zbl 1287.68065) Full Text: DOI
Chen, Yijia; Flum, Jörg A logic for PTIME and a parameterized halting problem. (English) Zbl 1287.68061 Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 251-276 (2010). MSC: 68Q19 68Q17 PDF BibTeX XML Cite \textit{Y. Chen} and \textit{J. Flum}, Lect. Notes Comput. Sci. 6300, 251--276 (2010; Zbl 1287.68061) Full Text: DOI
Ferrando, J. C.; Kąkol, Jerzy; Pellicer, M. López; Śliwa, W. Web-compact spaces, Fréchet-Urysohn groups and a Suslin closed graph theorem. (English) Zbl 1210.46002 Math. Nachr. 283, No. 5, 704-711 (2010). Reviewer: Xabier Domínguez (La Coruña) MSC: 46A30 22A05 54D20 54H05 PDF BibTeX XML Cite \textit{J. C. Ferrando} et al., Math. Nachr. 283, No. 5, 704--711 (2010; Zbl 1210.46002) Full Text: DOI
Clemens, John D. Isomorphism of homogeneous structures. (English) Zbl 1188.03031 Notre Dame J. Formal Logic 50, No. 1, 1-22 (2009). Reviewer: Isaac Goldbring (Los Angeles) MSC: 03E15 03C15 03C50 PDF BibTeX XML Cite \textit{J. D. Clemens}, Notre Dame J. Formal Logic 50, No. 1, 1--22 (2009; Zbl 1188.03031) Full Text: DOI
Weis, Philipp; Immerman, Neil Structure theorem and strict alternation hierarchy for FO\(^{2}\) on words. (English) Zbl 1168.03019 Log. Methods Comput. Sci. 5, No. 3, Paper 4, 23 p. (2009). MSC: 03C13 03B44 03C07 03D05 68Q17 68Q19 PDF BibTeX XML Cite \textit{P. Weis} and \textit{N. Immerman}, Log. Methods Comput. Sci. 5, No. 3, Paper 4, 23 p. (2009; Zbl 1168.03019) Full Text: DOI
Stewart, Iain A. Logical and complexity-theoretic aspects of models of computation with restricted access to arrays. (English) Zbl 1169.68016 J. Log. Comput. 19, No. 1, 217-242 (2009). MSC: 68Q05 03C13 68Q15 68Q17 68Q19 PDF BibTeX XML Cite \textit{I. A. Stewart}, J. Log. Comput. 19, No. 1, 217--242 (2009; Zbl 1169.68016) Full Text: DOI
Yen, Hsu-Chun Decidability and complexity analysis of forbidden state problems for discrete event systems. (English) Zbl 1155.93032 Int. J. Found. Comput. Sci. 19, No. 4, 999-1013 (2008). MSC: 93C65 68Q17 68Q19 68Q85 PDF BibTeX XML Cite \textit{H.-C. Yen}, Int. J. Found. Comput. Sci. 19, No. 4, 999--1013 (2008; Zbl 1155.93032) Full Text: DOI
Selivanov, Victor L.; Wagner, Klaus W. Complexity of aperiodicity for topological properties of regular \(\omega \)-languages. (English) Zbl 1143.68039 Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 533-543 (2008). MSC: 68Q45 03B25 03D05 03E15 68Q17 68Q25 PDF BibTeX XML Cite \textit{V. L. Selivanov} and \textit{K. W. Wagner}, Lect. Notes Comput. Sci. 5028, 533--543 (2008; Zbl 1143.68039) Full Text: DOI
Weis, P.; Immerman, N. Structure theorem and strict alternation hierarchy for FO\(^{2}\) on words. (English) Zbl 1168.03328 Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lusanne, Switzerland, September 11–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 343-357 (2007). MSC: 03C13 03B44 03C07 03D05 68Q17 68Q19 PDF BibTeX XML Cite \textit{P. Weis} and \textit{N. Immerman}, Lect. Notes Comput. Sci. 4646, 343--357 (2007; Zbl 1168.03328) Full Text: DOI
Weyer, Mark Modified parameterized complexity theory. (Modifizierte parametrische Komplexitätstheorie.) (German) Zbl 1154.03021 Freiburg im Breisgau: Univ. Freiburg, Fakultät für Mathematik und Physik (Dissertation). 246 p. (2007). Reviewer: Heribert Vollmer (Hannover) MSC: 03D15 03-02 68-02 68Q15 68Q17 68Q19 68Q25 PDF BibTeX XML Cite \textit{M. Weyer}, Modifizierte parametrische Komplexitätstheorie. Freiburg im Breisgau: Univ. Freiburg, Fakultät für Mathematik und Physik (Dissertation) (2007; Zbl 1154.03021)
Schweikardt, Nicole Arithmetic, first-order logic, and counting quantifiers. (English) Zbl 1407.03050 ACM Trans. Comput. Log. 6, No. 3, 634-671 (2005). MSC: 03C07 03C10 03C80 03F30 68Q19 PDF BibTeX XML Cite \textit{N. Schweikardt}, ACM Trans. Comput. Log. 6, No. 3, 634--671 (2005; Zbl 1407.03050) Full Text: DOI
Camerlo, Riccardo Universality of embeddability relations for coloured total orders. (English) Zbl 1094.03031 Order 22, No. 3, 289-300 (2005). Reviewer: Alberto Marcone (Udine) MSC: 03E15 06A05 54F50 PDF BibTeX XML Cite \textit{R. Camerlo}, Order 22, No. 3, 289--300 (2005; Zbl 1094.03031) Full Text: DOI
Pikhurko, Oleg; Verbitsky, Oleg Descriptive complexity of finite structures: saving the quantifier rank. (English) Zbl 1105.03029 J. Symb. Log. 70, No. 2, 419-450 (2005). Reviewer: Heribert Vollmer (Hannover) MSC: 03C13 68Q19 03C10 PDF BibTeX XML Cite \textit{O. Pikhurko} and \textit{O. Verbitsky}, J. Symb. Log. 70, No. 2, 419--450 (2005; Zbl 1105.03029) Full Text: DOI arXiv
Majcher-Iwanow, Barbara \(G_\delta\)-pieces of canonical partitions of \(G\)-spaces. (English) Zbl 1085.03037 Math. Log. Q. 51, No. 5, 450-461 (2005). Reviewer: Su Gao (Denton) MSC: 03E15 03C15 03C35 PDF BibTeX XML Cite \textit{B. Majcher-Iwanow}, Math. Log. Q. 51, No. 5, 450--461 (2005; Zbl 1085.03037) Full Text: DOI
Nickelsen, Arfst; Tantau, Till The complexity of finding paths in graphs with bounded independence number. (English) Zbl 1079.68077 SIAM J. Comput. 34, No. 5, 1176-1195 (2005). MSC: 68R10 05C12 05C20 05C38 05C62 05C69 05C85 68Q17 68Q19 PDF BibTeX XML Cite \textit{A. Nickelsen} and \textit{T. Tantau}, SIAM J. Comput. 34, No. 5, 1176--1195 (2005; Zbl 1079.68077) Full Text: DOI
Cherlin, Gregory Theories categorical in power \(n+2\). (English) Zbl 1069.03022 Discrete Math. 291, No. 1-3, 55-71 (2005). MSC: 03C13 68Q19 03C35 PDF BibTeX XML Cite \textit{G. Cherlin}, Discrete Math. 291, No. 1--3, 55--71 (2005; Zbl 1069.03022) Full Text: DOI
Escoffier, Bruno; Paschos, Vangelis Th. Proving completeness by logic. (English) Zbl 1079.68042 Int. J. Comput. Math. 82, No. 2, 151-161 (2005). MSC: 68Q19 68Q17 03D15 PDF BibTeX XML Cite \textit{B. Escoffier} and \textit{V. Th. Paschos}, Int. J. Comput. Math. 82, No. 2, 151--161 (2005; Zbl 1079.68042) Full Text: DOI
Barbanchon, Régis; Grandjean, Etienne The minimal logically-defined NP-complete problem. (English) Zbl 1122.68063 Diekert, Volker (ed.) et al., STACS 2004. 21st annual symposium on theoretical aspects of computer science, Montpellier, France, March 25–27, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21236-1/pbk). Lecture Notes in Computer Science 2996, 338-349 (2004). MSC: 68Q17 03B15 03C13 68Q19 PDF BibTeX XML Cite \textit{R. Barbanchon} and \textit{E. Grandjean}, Lect. Notes Comput. Sci. 2996, 338--349 (2004; Zbl 1122.68063) Full Text: DOI
Lassaigne, Richard; de Rougemont, Michel Logic and complexity. (English) Zbl 1083.03001 Discrete Mathematics and Theoretical Computer Science. London: Springer (ISBN 1-85233-565-3/hbk). x, 359 p. (2004). MSC: 03-01 68Q15 68-01 03B70 03D15 68Q17 68Q19 68Q25 PDF BibTeX XML Cite \textit{R. Lassaigne} and \textit{M. de Rougemont}, Logic and complexity. London: Springer (2004; Zbl 1083.03001)
Mostowski, Marcin; Wojtyniak, Dominika Computational complexity of the semantics of some natural language constructions. (English) Zbl 1049.03025 Ann. Pure Appl. Logic 127, No. 1-3, 219-227 (2004). MSC: 03B65 03C80 68Q17 03A05 68Q19 03C13 PDF BibTeX XML Cite \textit{M. Mostowski} and \textit{D. Wojtyniak}, Ann. Pure Appl. Logic 127, No. 1--3, 219--227 (2004; Zbl 1049.03025) Full Text: DOI
Lotfallah, Wafik Boulos An Ehrenfeucht-Fraïssé class game. (English) Zbl 1040.03030 Math. Log. Q. 50, No. 2, 179-188 (2004). MSC: 03C52 68Q19 03C80 03C85 03C13 68Q15 68Q17 03B70 PDF BibTeX XML Cite \textit{W. B. Lotfallah}, Math. Log. Q. 50, No. 2, 179--188 (2004; Zbl 1040.03030) Full Text: DOI
Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc Definable relations and first-order query languages over strings. (English) Zbl 1325.03031 J. ACM 50, No. 5, 694-751 (2003). MSC: 03B70 03C10 68P15 68Q19 68Q45 PDF BibTeX XML Cite \textit{M. Benedikt} et al., J. ACM 50, No. 5, 694--751 (2003; Zbl 1325.03031) Full Text: DOI
Ionascu, Eugen J. A new construction of wavelet sets. (English) Zbl 1047.42027 Real Anal. Exch. 28(2002-2003), No. 2, 593-609 (2003). Reviewer: Ole Christensen (Lyngby) MSC: 42C40 42C30 28A05 03E15 PDF BibTeX XML Cite \textit{E. J. Ionascu}, Real Anal. Exch. 28, No. 2, 593--609 (2003; Zbl 1047.42027) Full Text: DOI arXiv
Schindler, Ralf \(P\neq NP\) for infinite time Turing machines. (English) Zbl 1029.68071 Monatsh. Math. 139, No. 4, 335-340 (2003). MSC: 68Q15 68Q17 03E15 PDF BibTeX XML Cite \textit{R. Schindler}, Monatsh. Math. 139, No. 4, 335--340 (2003; Zbl 1029.68071) Full Text: DOI arXiv
Camerlo, Riccardo The relation of recursive isomorphism for countable structures. (English) Zbl 1013.03053 J. Symb. Log. 67, No. 2, 879-895 (2002). MSC: 03E15 03C57 03C15 PDF BibTeX XML Cite \textit{R. Camerlo}, J. Symb. Log. 67, No. 2, 879--895 (2002; Zbl 1013.03053) Full Text: DOI
Blass, Andreas; Gurevich, Yuri The underlying logic of Hoare logic. (English) Zbl 1012.03514 Păun, Gheorghe (ed.) et al., Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992-2000. Singapore: World Scientific. 409-436 (2001). MSC: 03B70 68Q60 03C13 68Q19 PDF BibTeX XML Cite \textit{A. Blass} and \textit{Y. Gurevich}, in: Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992--2000. Singapore: World Scientific. 409--436 (2001; Zbl 1012.03514)
Hofmann, Martin The strength of non-size-increasing computation (introduction and summary). (English) Zbl 0999.68514 Sgall, Jiří(ed.) et al., Mathematical foundations of computer science 2001. 26th international symposium, MFCS 2001, Mariánské Lázně, Czech Republic, August 27-31, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2136, 58-61 (2001). MSC: 68Q17 03D15 03C13 68Q15 68Q55 68Q19 PDF BibTeX XML Cite \textit{M. Hofmann}, Lect. Notes Comput. Sci. 2136, 58--61 (2001; Zbl 0999.68514) Full Text: Link
Pudlák, Pavel Proofs as games. (English) Zbl 0983.03045 Am. Math. Mon. 107, No. 6, 541-550 (2000). Reviewer: Vladimir Komendantsky (Dolgoprudny) MSC: 03F20 03D15 68Q17 68Q19 03C13 03B35 91A80 PDF BibTeX XML Cite \textit{P. Pudlák}, Am. Math. Mon. 107, No. 6, 541--550 (2000; Zbl 0983.03045) Full Text: DOI
Buhrman, Harry; Torenvliet, Leen Randomness is hard. (English) Zbl 0977.68046 SIAM J. Comput. 30, No. 5, 1485-1501 (2000). MSC: 68Q30 68Q15 68Q17 68Q19 03D15 68Q10 PDF BibTeX XML Cite \textit{H. Buhrman} and \textit{L. Torenvliet}, SIAM J. Comput. 30, No. 5, 1485--1501 (2000; Zbl 0977.68046) Full Text: DOI
Flum, Jörg; Grohe, Martin On fixed-point logic with counting. (English) Zbl 0960.03025 J. Symb. Log. 65, No. 2, 777-787 (2000). Reviewer: Heribert Vollmer (Würzburg) MSC: 03C13 68Q19 68Q15 68Q17 PDF BibTeX XML Cite \textit{J. Flum} and \textit{M. Grohe}, J. Symb. Log. 65, No. 2, 777--787 (2000; Zbl 0960.03025) Full Text: DOI
Blass, Andreas; Gurevich, Yuri The underlying logic of Hoare logic. (English) Zbl 1012.03047 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 70, 82-110 (2000). MSC: 03B70 68Q60 03C13 68Q19 PDF BibTeX XML Cite \textit{A. Blass} and \textit{Y. Gurevich}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 70, 82--110 (2000; Zbl 1012.03047)
Schwentick, Thomas Descriptive complexity, lower bounds and linear time. (English) Zbl 0934.03054 Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 9-28 (1999). MSC: 03D15 68Q19 03C13 68Q15 68Q17 PDF BibTeX XML Cite \textit{T. Schwentick}, Lect. Notes Comput. Sci. 1584, 9--28 (1999; Zbl 0934.03054)
Hintikka, Jaakko On Gödel’s philosophical assumptions. (English) Zbl 0935.01008 Synthese 114, No. 1, 13-23 (1998). Reviewer: V.Peckhaus (Erlangen) MSC: 01A60 03-03 03A05 PDF BibTeX XML Cite \textit{J. Hintikka}, Synthese 114, No. 1, 13--23 (1998; Zbl 0935.01008) Full Text: DOI
Hintikka, Jaakko The principles of mathematics revisited. (English) Zbl 0897.03004 Cambridge: Cambridge University Press. xii, 288 p. (1998). MSC: 03-02 00A30 03A05 03B20 PDF BibTeX XML Cite \textit{J. Hintikka}, The principles of mathematics revisited. Cambridge: Cambridge University Press (1998; Zbl 0897.03004)
Hintikka, Jaakko Language, truth and logic in mathematics. (English) Zbl 0894.03001 Jaakko Hintikka Selected Papers. 3. Dordrecht: Kluwer Academic Publishers. x, 247 p. (1998). Reviewer: H.C.M.de Swart (Tilburg) MSC: 03-02 03A05 00A30 00B10 00B60 03B60 PDF BibTeX XML Cite \textit{J. Hintikka}, Language, truth and logic in mathematics. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0894.03001)
Veith, Helmut Languages represented by Boolean formulas. (English) Zbl 1337.68139 Inf. Process. Lett. 63, No. 5, 251-256 (1997). MSC: 68Q25 03B05 68Q17 68Q19 94C10 PDF BibTeX XML Cite \textit{H. Veith}, Inf. Process. Lett. 63, No. 5, 251--256 (1997; Zbl 1337.68139) Full Text: DOI
Arratia-Quesada, A. A.; Stewart, I. A. Generalized hex and logical characterizations of polynomial space. (English) Zbl 1337.68120 Inf. Process. Lett. 63, No. 3, 147-152 (1997). MSC: 68Q19 68Q15 PDF BibTeX XML Cite \textit{A. A. Arratia-Quesada} and \textit{I. A. Stewart}, Inf. Process. Lett. 63, No. 3, 147--152 (1997; Zbl 1337.68120) Full Text: DOI
Kechris, Alexander S. On the concept of \(\Pi^ 1_ 1\)-completeness. (English) Zbl 0864.03034 Proc. Am. Math. Soc. 125, No. 6, 1811-1814 (1997). MSC: 03E15 28A05 54H05 PDF BibTeX XML Cite \textit{A. S. Kechris}, Proc. Am. Math. Soc. 125, No. 6, 1811--1814 (1997; Zbl 0864.03034) Full Text: DOI
Smirnov, Eugeny I. The theory of Hausdorff spectra in the category of locally convex spaces. (English) Zbl 1010.54042 Funct. Approximatio, Comment. Math. 24, 17-33 (1996). MSC: 54H05 46A30 18A30 54B35 PDF BibTeX XML Cite \textit{E. I. Smirnov}, Funct. Approximatio, Comment. Math. 24, 17--33 (1996; Zbl 1010.54042)
Hintikka, Jaakko; Sandu, Gabriel A revolution in logic? (English) Zbl 0891.03001 Nord. J. Philos. Log. 1, No. 2, 169-183 (1996). Reviewer: L.Löfgren (Lund) MSC: 03A05 03-03 01A55 PDF BibTeX XML Cite \textit{J. Hintikka} and \textit{G. Sandu}, Nord. J. Philos. Log. 1, No. 2, 169--183 (1996; Zbl 0891.03001) Full Text: Link
Hintikka, Jaakko The principles of mathematics revisited. (English) Zbl 0869.03003 Cambridge: Cambridge Univ. Press. xii, 288 p. (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03-02 00A30 03A05 03B20 PDF BibTeX XML Cite \textit{J. Hintikka}, The principles of mathematics revisited. Cambridge: Cambridge Univ. Press (1996; Zbl 0869.03003)
Ki, Haseo The Borel classes of Mahler’s \(A\), \(S\), \(T\), and \(U\) numbers. (English) Zbl 0845.04003 Proc. Am. Math. Soc. 123, No. 10, 3197-3204 (1995). Reviewer: H.Ki (Seoul) MSC: 03E15 11J81 PDF BibTeX XML Cite \textit{H. Ki}, Proc. Am. Math. Soc. 123, No. 10, 3197--3204 (1995; Zbl 0845.04003) Full Text: DOI
Hintikka, Jaakko (ed.) From Dedekind to Gödel. Essays on the development of the foundations of mathematics. (English) Zbl 0841.03001 Synthese Library. 251. Dordrecht: Kluwer Academic Publishers, ix, 459 p. (1995). Reviewer: R.Murawski (Poznań) MSC: 03A05 00A30 01A55 01A60 03-03 00B20 03-06 PDF BibTeX XML Cite \textit{J. Hintikka} (ed.), From Dedekind to Gödel. Essays on the development of the foundations of mathematics. Dordrecht: Kluwer Academic Publishers (1995; Zbl 0841.03001)
Marcone, Alberto The set of better quasi orderings is \(\Pi_ 2^ 1\). (English) Zbl 0834.03014 Math. Log. Q. 41, No. 3, 373-383 (1995). MSC: 03E15 06A07 03F35 PDF BibTeX XML Cite \textit{A. Marcone}, Math. Log. Q. 41, No. 3, 373--383 (1995; Zbl 0834.03014) Full Text: DOI
Cascales, B.; Orihuela, J. Countably determined locally convex spaces. (English) Zbl 0765.46004 Port. Math. 48, No. 1, 75-89 (1991). Reviewer: S.Berger (Emek) MSC: 46A50 54H05 46A17 46A03 46A13 PDF BibTeX XML Cite \textit{B. Cascales} and \textit{J. Orihuela}, Port. Math. 48, No. 1, 75--89 (1991; Zbl 0765.46004) Full Text: EuDML
Goranko, Valentin Completeness and incompleteness in the bimodal base \({\mathcal L}(R,-R)\). (English) Zbl 0788.03018 Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 311-326 (1990). Reviewer: V.Shekhtman (Moskva) MSC: 03B45 PDF BibTeX XML Cite \textit{V. Goranko}, in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988. New York: Plenum Press. 311--326 (1990; Zbl 0788.03018)
Friedman, Harvey; Stanley, Lee A Borel reducibility theory for classes of countable structures. (English) Zbl 0692.03022 J. Symb. Log. 54, No. 3, 894-914 (1989). Reviewer: J.Flum MSC: 03C15 03C75 03D55 03E15 PDF BibTeX XML Cite \textit{H. Friedman} and \textit{L. Stanley}, J. Symb. Log. 54, No. 3, 894--914 (1989; Zbl 0692.03022) Full Text: DOI
Mishkin, V. Autohomeomorphism groups of spaces with unique non-isolated point. (English) Zbl 0667.54016 Commentat. Math. Univ. Carol. 30, No. 1, 89-94 (1989). MSC: 54H05 54H15 28A05 03E05 20B27 PDF BibTeX XML Cite \textit{V. Mishkin}, Commentat. Math. Univ. Carol. 30, No. 1, 89--94 (1989; Zbl 0667.54016) Full Text: EuDML