Loading…
Advances in Mathematical Logic dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, revised contributions /
Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91. Takeuti was one of t...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , , , , |
Format: | Conference Proceeding eBook |
Language: | English |
Published: |
Singapore :
Springer,
2021.
|
Series: | Springer proceedings in mathematics & statistics ;
v. 369. |
Physical Description: |
1 online resource (xi, 229 pages). |
Subjects: | |
Online Access: | SpringerLink - Click here for access |
MARC
LEADER | 00000cam a2200000 a 4500 | ||
---|---|---|---|
001 | on1295276775 | ||
003 | OCoLC | ||
005 | 20240329122006.0 | ||
006 | m o d | ||
007 | cr un|---aucuu | ||
008 | 220205s2021 si o 110 0 eng d | ||
019 | |a 1293769134 |a 1293847410 |a 1293894881 |a 1293933499 |a 1294124492 |a 1294138432 |a 1294216586 |a 1294286052 | ||
020 | |a 9789811641732 |q (electronic bk.) | ||
020 | |a 9811641730 |q (electronic bk.) | ||
020 | |z 9811641722 | ||
020 | |z 9789811641725 | ||
024 | 7 | |a 10.1007/978-981-16-4173-2 |2 doi | |
035 | |a (OCoLC)1295276775 |z (OCoLC)1293769134 |z (OCoLC)1293847410 |z (OCoLC)1293894881 |z (OCoLC)1293933499 |z (OCoLC)1294124492 |z (OCoLC)1294138432 |z (OCoLC)1294216586 |z (OCoLC)1294286052 | ||
040 | |a EBLCP |b eng |c EBLCP |d GW5XE |d YDX |d OCLCO |d OCLCF |d COM |d OCLCO |d SFB |d VLB |d OCL |d UKAHL |d AUD |d OCLCQ |d S9M |d OCLCO |d OCLCL |d OCLCQ | ||
049 | |a COM6 | ||
050 | 4 | |a QA9.A1 |b S96 2018eb | |
066 | |c (S | ||
072 | 7 | |a MAT018000 |2 bisacsh | |
082 | 0 | 4 | |a 511.3 |2 23 |
111 | 2 | |a Symposium on Advances in Mathematical Logic |d (2018 : |c Kobe, Japan) | |
245 | 1 | 0 | |a Advances in Mathematical Logic : |b dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, revised contributions / |c Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka, editors. |
246 | 3 | |a SAML 2018. | |
264 | 1 | |a Singapore : |b Springer, |c 2021. | |
264 | 4 | |c ©2021. | |
300 | |a 1 online resource (xi, 229 pages). | ||
336 | |a text |b txt |2 rdacontent. | ||
337 | |a computer |b c |2 rdamedia. | ||
338 | |a online resource |b cr |2 rdacarrier. | ||
490 | 1 | |a Springer proceedings in mathematics and statistics ; |v v. 369. | |
520 | |a Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91. Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program about the consistency of mathematics. Based on Gentzen's pioneering works of proof theory in the 1930s, he proposed a conjecture in 1953 concerning the essential nature of formal proofs of higher-order logic now known as Takeuti's fundamental conjecture and of which he gave a partial positive solution. His arguments on the conjecture and proof theory in general have had great influence on the later developments of mathematical logic, philosophy of mathematics, and applications of mathematical logic to theoretical computer science. Takeuti's work ranged over the whole spectrum of mathematical logic, including set theory, computability theory, Boolean valued analysis, fuzzy logic, bounded arithmetic, and theoretical computer science. He wrote many monographs and textbooks both in English and in Japanese, and his monumental monograph Proof Theory, published in 1975, has long been a standard reference of proof theory. He had a wide range of interests covering virtually all areas of mathematics and extending to physics. His publications include many Japanese books for students and general readers about mathematical logic, mathematics in general, and connections between mathematics and physics, as well as many essays for Japanese science magazines. This volume is a collection of papers based on the Symposium on Advances in Mathematical Logic 2018. The symposium was held September 1820, 2018, at Kobe University, Japan, and was dedicated to the memory of Professor Gaisi Takeuti. | ||
505 | 0 | |a S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem -- D. Ikegami and N. Trang, On supercompactness of -- S. Iwata, Interpolation properties for Sacchettis logics -- T. Kurahashi, Rosser provability and the second incompleteness theorem -- H. Kurokawa, On Takeutis early view of the concept of set -- Yo Matsubara and T. Usuba, On Countable Stationary Towers -- M. Ozawa, Reforming Takeutis Quantum Set Theory to Satisfy De Morgans Laws -- T. Usuba, Choiceless Lowenheim-Skolem property and uniform definability of grounds -- M. Yasugi, Y. Tsujii, T. Mori, Irrational-based computability of functions -- M. Yasugi, Gaisi Takeutis finitist standpoint and its mathematical embodiment -- Y. Yoshinobu, Properness under closed forcing. | |
650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. |0 https://id.loc.gov/authorities/subjects/sh2008107112. | |
650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
650 | 7 | |a Lógica matemática |x Congresos. |2 embne. | |
650 | 7 | |a Logic, Symbolic and mathematical. |2 fast. | |
650 | 7 | |a Lògica matemàtica. |2 thub. | |
655 | 2 | |a Congress. |0 https://id.nlm.nih.gov/mesh/D016423. | |
655 | 7 | |a proceedings (reports) |2 aat. | |
655 | 7 | |a Festschriften. |2 fast. | |
655 | 7 | |a Conference papers and proceedings. |2 fast. | |
655 | 7 | |a Conference papers and proceedings. |2 lcgft |0 https://id.loc.gov/authorities/genreForms/gf2014026068. | |
655 | 7 | |a Festschriften. |2 lcgft |0 https://id.loc.gov/authorities/genreForms/gf2016026082. | |
655 | 7 | |a Actes de congrès. |2 rvmgf. | |
655 | 7 | |a Congressos. |2 thub. | |
655 | 7 | |a Llibres electrònics. |2 thub. | |
700 | 1 | |a Takeuti, Gaisi, |d 1926-2017 |0 https://id.loc.gov/authorities/names/n50008917 |1 https://id.oclc.org/worldcat/entity/E39PBJrrCW98YGHYHWxp8XCWjC, |e honouree. | |
700 | 1 | |a Arai, Toshiyasu. |0 https://id.loc.gov/authorities/names/no2010048927. | |
700 | 1 | |a Kikuchi, Makoto |c (Mathematician) |0 https://id.loc.gov/authorities/names/n2016004584 |1 https://id.oclc.org/worldcat/entity/E39PCjr9bPvTb9HDtrvcHCMXVC. | |
700 | 1 | |a Kuroda, Satoru. |0 https://id.loc.gov/authorities/names/n2023045180. | |
700 | 1 | |a Okada, Mitsuhiro. | |
700 | 1 | |a Yorioka, Teruyuki. | |
710 | 2 | |a SpringerLink (Online service) |0 https://id.loc.gov/authorities/names/no2005046756. | |
776 | 0 | 8 | |i Print version: |a Arai, Toshiyasu |t Advances in Mathematical Logic |d Singapore : Springer Singapore Pte. Limited,c2022 |z 9789811641725. |
830 | 0 | |a Springer proceedings in mathematics & statistics ; |0 https://id.loc.gov/authorities/names/no2013000283 |v v. 369. | |
880 | 0 | 0 | |6 505-00/(S |t Reflection principles, generic large cardinals, and the Continuum Problem -- |t On supercompactness of ω1 -- |t Interpolation properties for Sacchettis logics -- |t Rosser provability and the second incompleteness theorem -- |t On Takeutis early view of the concept of set -- |t On Countable Stationary Towers -- |t Reforming Takeutis Quantum Set Theory to Satisfy De Morgans Laws -- |t Choiceless Lowenheim-Skolem property and uniform definability of grounds -- |t Irrational-based computability of functions -- "Gaisi Takeutis finitist standpoint" and its mathematical embodiment -- |t Properness under closed forcing. |
907 | |a .b65096095 |b multi |c - |d 220228 |e 240701 | ||
998 | |a (2)cue |a cu |b 240404 |c m |d z |e - |f eng |g si |h 0 |i 2 | ||
948 | |a MARCIVE Overnight, in 2024.04 | ||
948 | |a MARCIVE Comprehensive, in 2023.02 | ||
948 | |a MARCIVE Over, 03/2022 | ||
933 | |a Marcive found issue: "700 1 |a Yorioka, Teruyuki." | ||
933 | |a Marcive found issue: "111 2 |a Symposium on Advances in Mathematical Logic |d (2018 : |c Kobe, Japan)" | ||
933 | |a Marcive found multi matches on:"700 1 |a Okada, Mitsuhiro." | ||
994 | |a 92 |b COM | ||
995 | |a Loaded with m2btab.ltiac in 2024.04 | ||
995 | |a Loaded with m2btab.elec in 2024.04 | ||
995 | |a Loaded with m2btab.ltiac in 2023.02 | ||
995 | |a Loaded with m2btab.ltiac in 2022.03 | ||
995 | |a Loaded with m2btab.elec in 2022.02 | ||
995 | |a Loaded with m2btab.auth in 2022.03 | ||
995 | |a Loaded with m2btab.auth in 2024.06 | ||
999 | |e z | ||
999 | |a cue | ||
989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240404 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i151592263 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-981-16-4173-2 |3 SpringerLink |z Click here for access |