×

Found 136 Documents (Results 1–100)

Well-quasi orders and hierarchy theory. (English) Zbl 1496.03189

Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 271-319 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Logic and operator algebras. (English) Zbl 1373.03063

Jang, Sun Young (ed.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13–21, 2014. Vol. II: Invited lectures. Seoul: KM Kyung Moon Sa (ISBN 978-89-6105-805-6/hbk; 978-89-6105-803-2/set). 15-39 (2014).
PDFBibTeX XMLCite
Full Text: arXiv

Reducibility by continuous functions and Wadge degrees. (English) Zbl 1307.03029

De Vuyst, Jonas (ed.) et al., Future directions in logic. Proceedings of PhDs in logic III. Selected papers presented at the conference, Brussels, Belgium, February 17–18, 2011. London: College Publications (ISBN 978-1-84890-079-0). IfColog Proceedings 2, 35-44 (2012).
PDFBibTeX XMLCite

Countable Borel equivalence relations, Borel reducibility, and orbit equivalence. (English) Zbl 1196.03058

Arai, T. (ed.) et al., Proceedings of the 10th Asian logic conference, Kobe, Japan, September 1–6, 2008. Hackensack, NJ: World Scientific (ISBN 978-981-4293-01-3/hbk; 978-981-4293-02-0/ebook). 152-213 (2010).
MSC:  03E15 54H05 54H20 37A05 28D05
PDFBibTeX XMLCite

Equivalence relations and classical Banach spaces. (English) Zbl 1116.03041

Goncharov, S. S. (ed.) et al., Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16–19, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-270-045-2/hbk). 70-89 (2006).
MSC:  03E15 46B99
PDFBibTeX XMLCite

Complexity of sets and binary relations in continuum theory: a survey. (English) Zbl 1115.03063

Bagaria, Joan (ed.) et al., Set theory. Centre de Recerca Matemàtica Barcelona, 2003–2004. Basel: Birkhäuser (ISBN 3-7643-7691-0/hbk). Trends in Mathematics, 121-147 (2006).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field