×

Found 94 Documents (Results 1–94)

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: arXiv

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

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

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)
PDFBibTeX XMLCite
Full Text: arXiv

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).
MSC:  30F40 03D15
PDFBibTeX XMLCite

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

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).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field