Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the thirteenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic held at the University of Economics in Prague, August 9-15, 1988. It includes surveys and research from preeminent logicians. The papers in this volume range over all areas of mathematical logic, including proof theory, set theory, model theory, computability theory and philosophy. This book will be of interest to all students and researchers in mathematical logic.
Reihe
Sprache
Verlagsort
Zielgruppe
Illustrationen
Worked examples or Exercises; 4 Line drawings, black and white
Dateigröße
ISBN-13
978-1-108-61848-9 (9781108618489)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Samuel R. Buss works in the Department of Mathematics at the University of California, San Diego. Petr Hajek works in the Institute of Computer Science at the Academy of Sciences of the Czech Republic, Prague. Pavel Pudlak works in the Mathematics Institute at the Academy of Sciences of the Czech Republic, Prague.
Herausgeber*in
University of California, San Diego
Academy of Sciences of the Czech Republic, Prague
Academy of Sciences of the Czech Republic, Prague
Preface; Opening speech of Peter Vopenka; Bolzano medal awarded to Gaisi Takeuti; 1. Collapsing polynomial-time degrees Klaus Ambos Spies, Levke Bentzien, Peter A. Fejer, Wolfgang Merkle and Frank Stephan; 2. Qualitative and probabilistic models of full belief Horacio Arlo Costa; 3. Relative splittings of the 0'e in the ?02-enumeration degrees Marat M. Arslanov and Andrea Sorbi; 4. A realizability interpretation for classical arithmetic Jeremy Avigad; 5. An axiomatization of quantified propositional Goedel logic using the Takeuti-Titani rule Matthias Baaz and Helmut Veith; 6. Another pathological well-ordering Lev Beklemishev; 7. How small can the set of generics be? Joerg Brendle; 8. Entailment relations and distributive lattices Jan Cederquist and Thierry Coquand; 9. The Friedberg jump inversion theorem revisited - a study of undefinable cuts Chi Tat Chong, Lei Qian and Yue Yang; 10. Hartley Rogers' 1965 agenda S. Barry Cooper; 11. Liftings of homomorphisms between quotient structures and Ulam stability Ilijas Farah; 12. Mathematical fuzzy logic - state of the art Petr Hajek; 13. Reflections on the last Delfino problem Kai Hauser; 14. Continuous images of coanalytic sets Greg Hjorth; 15. Classification of subsheaves over GL-algebras Ulrich Hohle; 16. On the ?1b -bit-comprehension rule Jan Johannsen and Chris Pollett; 17. Cardinal invariants associated with predictors Shizuo Kamo; 18. theorem on countable ordered sets with an application to universal graphs Peter Komjath; 19. Dimension theory and stratification of rigid subanalytic sets Leonard Lipshitz and Zachary Robinson; 20. The Ramsey structure of A-determined sets in a ?-saturated universe Josef Mlcek and Pavol Zlatos; 21. On ?-definability of admissible sets Andrei S. Morozov; 22. Additive theories Evgeny A. Palyutin; 23. Adding multiplication to an O-minimal expansion of the additive group of real numbers Yaacov Peterzil, Patrick Speissegger and Sergei Starchenko; 24. The superjump in Martin-Loef type theory Michael Rathjen; 25. 'Just because': taking belief bases seriously Hans Rott; 26. Artin approximation via the model theory of Cohen-Macaulay rings Hans Schoutens; 27. Ordinal systems: one inaccessible Anton Setzer; 28. Autonomous fixed point progressions and fixed point transfinite recursion Thomas Strahm; 29. Finitary reductions for local predicativity: recursively regular ordinals Sergei Tupailo; 30. The complexity of linear logic with weakening Alasdair Urquhart; 31. Some remarks on the maximality of inner models Philip D. Welch; Author index.
