책 이미지
책 정보
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 수학사/수학 철학
· ISBN : 9781107169029
· 쪽수 : 315쪽
목차
A note on the ordinal analysis of KPM Wilfried Buchholz; On the geometry of U-rank 2 types Steven Buechler and Ludomir Newelski; Definability and global degree theory S. Barry Cooper; About the irreflexivity hypothesis for free left distributive magmas Patrick Dehornoy; On ω1-complete filters Hans-Dieter Donder; Labelled deductive systems ? a position paper D. M. Gabbay; Temporal expressive completeness in the presence of gaps D. M. Gabbay, I. M. Hodkinson and M. A. Reynolds; New foundations for mathematical theories Jaakko Hintikka; Absoluteness for projective sets Haim Judah; A division algorithm for the free left distributive algebra Richard Laver; Gentzen-type systems and resolution rule. Part II. Predicate logic Grigori Mints; An intuitionistic theory of lawlike, choice and lawless sequences Joan Rand Moschovakis; Sense and denotation as algorithm and value Yiannis N. Moschovakis; A transfinite version of Puiseux's theorem, with applications to real closed fields M. H. Mourgues and J.-P. Ressayre; On similarities of complete theories T. G. Mustafin; Decidability questions for theories of modules Francoise Point; On CH + 2aleph1 → (α)22 for α < ω2 Saharon Shelah; On the structure of gamma degrees Alan P. Silver.