×

Found 107 Documents (Results 1–100)

Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. (English) Zbl 1528.68022

Lecture Notes in Computer Science 13967. Cham: Springer (ISBN 978-3-031-36977-3/pbk; 978-3-031-36978-0/ebook). li, 297 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

The strength of some combinatorial principles related to Ramsey’s theorem for pairs. (English) Zbl 1167.03009

Chong, Chitat (ed.) et al., Computational prospects of infinity. Part II: Presented talks. Selected papers of the workshop, June 20–August 15, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-279-654-7/hbk). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 15, 143-161 (2008).
MSC:  03B30 03F35
PDFBibTeX XMLCite
Full Text: arXiv

Generating sets for the recursively enumerable Turing degrees. (English) Zbl 1156.03039

Chong, Chitat (ed.) et al., Computational prospects of infinity. Part II: Presented talks. Selected papers of the workshop, June 20–August 15, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-279-654-7/hbk). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 15, 1-22 (2008).
MSC:  03D25
PDFBibTeX XMLCite

The complexity of the index sets of \(\aleph_0\)-categorical theories and of Ehrenfeucht theories. (English) Zbl 1123.03035

Gao, Su (ed.) et al., Advances in logic. The North Texas logic conference, Denton, TX, USA, October 8–10, 2004. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-3819-8/pbk). Contemporary Mathematics 425, 43-47 (2007).
PDFBibTeX XMLCite
Full Text: arXiv

Embedding finite lattices into the computably enumerable degrees – a status survey. (English) Zbl 1107.03046

Chatzidakis, Zoé (ed.) et al., Logic colloquium ’02. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL) and the Colloquium Logicum, Münster, Germany, August 3–11, 2002. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-300-7/hbk; 1-56881-301-5/pbk). Lecture Notes in Logic 27, 206-229 (2006).
MSC:  03D25 03-02
PDFBibTeX XMLCite

Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13–17, 1999. (English) Zbl 0945.00017

Contemporary Mathematics. 257. Providence, RI: American Mathematical Society (AMS). xvi, 320 p. (2000).
MSC:  00B25
PDFBibTeX XMLCite
Full Text: DOI

The proof-theoretic strength of the Dushnik-Miller theorem for countable linear orders. (English) Zbl 0951.03053

Arslanov, Marat M. (ed.) et al., Recursion theory and complexity. Proceedings of the Kazan ’97 workshop, Kazan, Russia, July 14–19, 1997. Berlin: Walter de Gruyter (ISBN 3-11-016587-2/hbk). de Gruyter Series in Logic and Its Applications 2, 55-57 (1999).
MSC:  03F35 06A05
PDFBibTeX XMLCite

Recursion theory and complexity. Proceedings of the Kazan ’97 workshop, Kazan, Russia, July 14–19, 1997. (English) Zbl 0923.00014

de Gruyter Series in Logic and Its Applications 2. Berlin: Walter de Gruyter (ISBN 3-11-016587-2/hbk). viii, 233 p. (1999).
MSC:  00B25 03-06
PDFBibTeX XMLCite

Decidability and undecidability in the enumerable Turing degrees. (English) Zbl 1004.03034

Chong, C. T. (ed.) et al., Proceedings of the 6th Asian logic conference, Beijing, China, May 20-24, 1996. Singapore: World Scientific. 151-161 (1998).
MSC:  03D25 03D35 03B25
PDFBibTeX XMLCite

Randomness vs. completeness: On the diagonalization strength of resource-bounded random sets. (English) Zbl 0912.03023

Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 465-473 (1998).
MSC:  03D15 68Q15
PDFBibTeX XMLCite

Lattice embeddings into the r.e. degrees preserving 1. (English) Zbl 0819.03032

Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 179-198 (1994).
MSC:  03D25 06B99
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

Software

  • Z (1)