×

Found 485 Documents (Results 1–100)

Degrees of enumerations of countable Wehner-like families. (English. Russian original) Zbl 07364538

J. Math. Sci., New York 256, No. 1, 51-60 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 59-69 (2018).
MSC:  03D30 03D45
PDFBibTeX XMLCite
Full Text: DOI

The modal logic of almost sure frame validities in the finite. (English) Zbl 07585717

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 249-268 (2020).
MSC:  03B45 03B48 03C13
PDFBibTeX XMLCite

Vaught’s conjecture for weakly o-minimal theories of finite convexity rank. (English. Russian original) Zbl 1481.03023

Izv. Math. 84, No. 2, 324-347 (2020); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 84, No. 2, 126-151 (2020).
MSC:  03C64 03C15 03C50
PDFBibTeX XMLCite
Full Text: DOI

Parity objectives in countable MDPs. (English) Zbl 1457.68109

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 40, 11 p. (2017).
MSC:  68Q09 68Q87 91A15
PDFBibTeX XMLCite
Full Text: arXiv Link

Algebraic properties of groups of infinite matrices. (Алгебраические свойства групп весконечных матриц.) (Russian) Zbl 1384.20001

Monografia (Gliwice) 671. Gliwice: Wydawnictwo Politechniki Śląskiej (ISBN 978-83-7880-475-8/pbk). 137 p. (2017).
PDFBibTeX XMLCite

Decidability and complexity of tree share formulas. (English) Zbl 1391.68019

Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 19, 14 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Binary formulas in countably categorical weakly circularly minimal structures. (English. Russian original) Zbl 1404.03035

Algebra Logic 55, No. 3, 226-241 (2016); translation from Algebra Logika 55, No. 3, 341-365 (2016).
MSC:  03C64 03C15 03C35
PDFBibTeX XMLCite
Full Text: DOI

On Gruenhage spaces, separating \(\sigma\)-isolated families, and their relatives. (English) Zbl 1327.54051

PDFBibTeX XMLCite
Full Text: DOI

The countable Henkin principle. (English) Zbl 1347.03063

Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 179-201 (2014).
PDFBibTeX XMLCite
Full Text: DOI

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

Problems on classification of countable models of complete theories. (English) Zbl 1299.03037

Pinus, A. G. (ed.) et al., Algebra and model theory 9. Collection of papers from the 10th summer school “Frontiers in model theory and universal algebra”, Erlogol, Russia, June 25–29, 2013. Novosibirsk: Novosibirsk State Technical University (ISBN 978-5-7782-2350-9). 162-163 (2013).
MSC:  03C15 03C07
PDFBibTeX XMLCite

The Tarski-Lindenbaum algebra of the class of all strongly constructivizable countable saturated models. (English) Zbl 1433.03086

Bonizzoni, Paola (ed.) et al., The nature of computation. Logic, algorithms, applications. 9th conference on computability in Europe, CiE 2013, Milan, Italy, July 1–5, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7921, 342-352 (2013).
PDFBibTeX XMLCite
Full Text: DOI

A single binary function is enough. (English) Zbl 1287.08001

Czermak, J. (ed.) et al., Proceedings of the 81st workshop on general algebra “81. Arbeitstagung Allgemeine Algebra”, Salzburg, Austria, February 3–6, 2011. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0447-9/pbk). Contributions to General Algebra 20, 35-37 (2012).
MSC:  08A05 08A40
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

Software