책 이미지
eBook 미리보기
책 정보
· 제목 : Logic Colloquium 2007 (Paperback)
· 분류 : 외국도서 > 인문/사회 > 철학 > 논리
· ISBN : 9781107696778
· 쪽수 : 282쪽
· 출판일 : 2014-03-06
· 분류 : 외국도서 > 인문/사회 > 철학 > 논리
· ISBN : 9781107696778
· 쪽수 : 282쪽
· 출판일 : 2014-03-06
목차
1. Decorated linear order types and the theory of concatenation Vedran Cacic, Pavel Pudlak, Greg Restall, Alasdair Urquhart and Albert Visser; 2. Cardinal preserving elementary embeddings Andres Eduardo Caicedo; 3. Proof interpretations and majorizability Fernando Ferreira; 4. Proof mining in practice Philipp Gerhardy; 5. Cardinal structure under AD Steve Jackson; 6. Three lectures on automatic structures Bakhadyr Khoussainov and Mia Minnes; 7. Pillay's conjecture and its solution - a survey Ya'acov Peterzil; 8. Proof theory and meaning: on the context of deducibility Greg Restall; 9. Bounded super real closed rings Marcus Tressl; 10. Analytic combinatorics of the transfinite: a unifying Tauberian perspective Andreas Weiermann.
