LEADER 00918nam a22002535i 4500 001 991000643259707536 008 041020s1999 it 000 0bita d 020 $a8815070850 035 $ab13251284-39ule_inst 040 $aDip.to Studi Giuridici$bita 082 0 $a320.50 100 1 $aScognamiglio, Rosamaria$0621491 245 10$aAlle radici della politica :$bil pensiero di Dolf Sternberger /$cRosamaria Scognamiglio 260 $aBologna :$bIl mulino,$c1999 300 $a296 p. ;$c22 cm 440 0$aRicerca 500 $aContiene bibl. (pp. 279-291) e indice dei nomi 650 4$aSternberger, Dolf 907 $a.b13251284$b21-09-06$c22-11-04 912 $a991000643259707536 945 $aLE027 320.50 SCO01.01$g1$lle027$o-$pE20.66$q-$rl$s- $t0$u0$v0$w0$x0$y.i13945063$z22-11-04 996 $aAlle radici della politica$91106726 997 $aUNISALENTO 998 $ale027$b22-11-04$cm$da $e-$fita$git $h0$i0 LEADER 05301nam 22007095 450 001 9910523006803321 005 20251113175843.0 010 $a981-16-4173-0 024 7 $a10.1007/978-981-16-4173-2 035 $a(MiAaPQ)EBC6875116 035 $a(Au-PeEL)EBL6875116 035 $a(CKB)21004150500041 035 $a(PPN)269154620 035 $a(OCoLC)1298407282 035 $a(DE-He213)978-981-16-4173-2 035 $a(EXLCZ)9921004150500041 100 $a20220124d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvances in Mathematical Logic $eDedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions /$fedited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka 205 $a1st ed. 2021. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2021. 215 $a1 online resource (232 pages) 225 1 $aSpringer Proceedings in Mathematics & Statistics,$x2194-1017 ;$v369 311 08$aPrint version: Arai, Toshiyasu Advances in Mathematical Logic Singapore : Springer Singapore Pte. Limited,c2022 9789811641725 327 $aS. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem -- D. Ikegami and N. Trang, On supercompactness of ?1 -- S. Iwata, Interpolation properties for Sacchetti?s logics -- T. Kurahashi, Rosser provability and the second incompleteness theorem -- H. Kurokawa, On Takeuti?s early view of the concept of set -- Yo Matsubara and T. Usuba, On Countable Stationary Towers -- M. Ozawa, Reforming Takeuti?s Quantum Set Theory to Satisfy De Morgan?s 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 Takeuti?s finitist standpoint? and its mathematical embodiment -- Y. Yoshinobu, Properness under closed forcing. 330 $aGaisi 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 workranged 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 18?20, 2018, at Kobe University, Japan, and was dedicated to the memory of Professor Gaisi Takeuti. 410 0$aSpringer Proceedings in Mathematics & Statistics,$x2194-1017 ;$v369 606 $aLogic, Symbolic and mathematical 606 $aComputer arithmetic and logic units 606 $aComputer science$xMathematics 606 $aLogic 606 $aMathematics$xPhilosophy 606 $aMathematical Logic and Foundations 606 $aArithmetic and Logic Structures 606 $aMathematics of Computing 606 $aMathematical Logic and Foundations 606 $aLogic 606 $aPhilosophy of Mathematics 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer arithmetic and logic units. 615 0$aComputer science$xMathematics. 615 0$aLogic. 615 0$aMathematics$xPhilosophy. 615 14$aMathematical Logic and Foundations. 615 24$aArithmetic and Logic Structures. 615 24$aMathematics of Computing. 615 24$aMathematical Logic and Foundations. 615 24$aLogic. 615 24$aPhilosophy of Mathematics. 676 $a511.3 702 $aArai$b Toshiyasu 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910523006803321 996 $aAdvances in mathematical logic$92597493 997 $aUNINA