×

Found 369 Documents (Results 1–100)

Constructing the maximum prefix-closed subset for a set of \(-\omega \)-words defined by a \(-\omega \)-regular expression. (English. Ukrainian original) Zbl 07806783

Cybern. Syst. Anal. 59, No. 6, 880-889 (2023); translation from Kibern. Sist. Anal. 59, No. 6, 19-29 (2023).
MSC:  68Qxx 03Dxx 03Bxx
PDFBibTeX XMLCite
Full Text: DOI

Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality. (English) Zbl 1511.03004

Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 411-475 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Categorical combinatorics for non deterministic strategies on simple games. (English) Zbl 1505.91111

Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 39-70 (2018).
PDFBibTeX XMLCite
Full Text: DOI

The relation between logic, set theory and topos theory as it is used by Alain Badiou. (English) Zbl 1371.03010

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 181-200 (2015).
PDFBibTeX XMLCite
Full Text: DOI

\(E\)-recursion 2012. (English) Zbl 1336.03050

Chong, Chitat (ed.) et al., \(E\)-recursion, forcing and \(C^*\)-algebras. Hackensack, NJ: World Scientific (ISBN 978-981-4602-63-1/hbk; 978-981-4603-25-6/pbk; 978-981-4602-65-5/ebook). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 27, 183-217 (2014).
MSC:  03D60 03D65 03E40
PDFBibTeX XMLCite
Full Text: DOI

The consistency of a club-guessing failure at the successor of a regular cardinal. (English) Zbl 1358.03071

Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 5-27 (2014).
MSC:  03E35 03E05 03E04
PDFBibTeX XMLCite

Lipschitz and uniformly continuous reducibilities on ultrametric polish spaces. (English) Zbl 1344.03040

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, 213-258 (2014).
PDFBibTeX XMLCite
Full Text: arXiv

Hyperprojective hierarchy of \(\mathrm{qcb}_{0}\)-spaces. (English) Zbl 1393.03051

Beckmann, Arnold (ed.) et al., Language, life, limits. 10th conference on computability in Europe, CiE 2014, Budapest, Hungary, June 23–27, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08018-5/pbk). Lecture Notes in Computer Science 8493, 352-361 (2014).
PDFBibTeX XMLCite
Full Text: DOI

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

all top 3

Software