×

Found 623 Documents (Results 1–100)

Algebraic operations on fuzzy sets and relations in automata interpretation implemented by logical hardware. (English. Ukrainian original) Zbl 07630529

Cybern. Syst. Anal. 58, No. 4, 649-659 (2022); translation from Kibern. Sist. Anal. 58, No. 4, 172-182 (2022).
MSC:  68Qxx 68Txx 03Exx
PDFBibTeX XMLCite
Full Text: DOI

Concise introduction to logic and set theory. (English) Zbl 1473.03001

Mathematics and Its Applications: Modelling, Engineering, and Social Sciences. Boca Raton, FL: CRC Press (ISBN 978-0-367-07795-2/hbk; 978-1-032-10622-9/pbk; 978-0-429-02283-8/ebook). ix, 160 p. (2022).
MSC:  03-01 03Bxx 03Exx
PDFBibTeX XMLCite
Full Text: DOI

Properness under closed forcing. (English) Zbl 07615257

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 223-229 (2021).
MSC:  03Bxx 03Exx 03Fxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

“Gaisi Takeuti’s finitist standpoint” and its mathematical embodiment. (English) Zbl 07615256

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 205-221 (2021).
MSC:  03Bxx 03Exx 03Fxx
PDFBibTeX XMLCite
Full Text: DOI

Irrational-based computability of functions. (English) Zbl 07615255

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 181-204 (2021).
MSC:  03Bxx 03Exx 03Fxx
PDFBibTeX XMLCite
Full Text: DOI

Choiceless Löwenheim-Skolem property and uniform definability of grounds. (English) Zbl 07615254

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 161-179 (2021).
MSC:  03Bxx 03Exx 03Fxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reforming Takeuti’s quantum set theory to satisfy De Morgan’s laws. (English) Zbl 07615253

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 143-159 (2021).
MSC:  03Bxx 03Exx 03Fxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

On countable stationary towers. (English) Zbl 07615252

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 133-141 (2021).
MSC:  03Bxx 03Exx 03Fxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

On Takeuti’s early view of the concept of set. (English) Zbl 07615251

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 99-131 (2021).
MSC:  03Bxx 03Exx 03Fxx
PDFBibTeX XMLCite
Full Text: DOI

Rosser provability and the second incompleteness theorem. (English) Zbl 07615250

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 77-97 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Interpolation properties for Sacchetti’s logics. (English) Zbl 07615249

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 47-76 (2021).
MSC:  03Bxx 03Exx 03Fxx
PDFBibTeX XMLCite
Full Text: DOI

On supercompactness of \(\omega_1\). (English) Zbl 07615248

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 27-45 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reflection principles, generic large cardinals, and the continuum problem. (English) Zbl 07615247

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 1-25 (2021).
MSC:  03Bxx 03Exx 03Fxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Algorithmic support for the management of the computer-aided design of flexible manufacture system and its equipment. (English. Russian original) Zbl 07485093

Cybern. Syst. Anal. 57, No. 6, 950-958 (2021); translation from Kibern. Sist. Anal. 57, No. 6, 118-127 (2021).
MSC:  68Txx 90Bxx 03Exx
PDFBibTeX XMLCite
Full Text: DOI

Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. (English) Zbl 1479.03003

Springer Proceedings in Mathematics & Statistics 369. Singapore: Springer (ISBN 978-981-16-4172-5/hbk; 978-981-16-4173-2/ebook). xi, 229 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

Large cardinals, determinacy and other topics. The Cabal Seminar, Vol. IV. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. (English) Zbl 1465.03026

Lecture Notes in Logic 49. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-18299-8/hbk; 978-1-108-92022-3/4-vol. set). xv, 300 p. (2021).
MSC:  03-06 03Exx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Set theory and mathematical logic. From infinite mathematics to Gödel’s theorems. (Théorie des ensembles et logique mathématique. Des infinis mathématiques aux théorèmes de Gödel.) (French) Zbl 1451.03002

Références Sciences. Paris: Ellipses (ISBN 978-2-340-04100-4/pbk). viii, 292 p. (2020).
MSC:  03-01 03Bxx 03Exx
PDFBibTeX XMLCite

Trends in set theory. Simon Fest conference in honor of Simon Thomas’s 60th birthday, Rutgers University, Piscataway, New Jersey, USA, September 15–17, 2017. (English) Zbl 1454.03009

Contemporary Mathematics 752. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4332-0/pbk; 978-1-4704-5609-2/ebook). ix, 207 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Set theory and foundations of mathematics. An introduction to mathematical logic. Volume I: Set theory. (English) Zbl 1435.03001

Hackensack, NJ: World Scientific (ISBN 978-981-12-0192-9/hbk; 978-981-12-0194-3/ebook). xi, 209 p. (2020).
MSC:  03-01 03Exx
PDFBibTeX XMLCite
Full Text: DOI

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. (English) Zbl 1443.03002

Trends in Logic – Studia Logica Library 53. Cham: Springer (ISBN 978-3-030-30228-3/hbk; 978-3-030-30229-0/ebook). x, 391 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 14th and 15th Asian logic conferences, Mumbai, India, January, 5–8, 2015 and Daejeon, South Korea, July 10–14, 2017. (English) Zbl 1419.03006

Hackensack, NJ: World Scientific (ISBN 978-981-323-754-4/hbk; 978-981-323-756-8/ebook). xii, 297 p. (2019).
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

all top 3

Software