Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
Logic Colloquium '02 includes articles from some of the world's preeminent logicians
Logic Colloquium '02 includes articles from some of the world's preeminent logicians
Über den Autor
Zoe Chatzidakis Department of Mathematics University of Paris 7 Peter Koepke Mathematical Institute University of Bonn Wolfram Pohlers Institute for Mathematical Logic and Foundational Research University of Munster
Inhaltsverzeichnis
Preface, Participants Photograph, Generic absoluteness for ?? formulas and the continuum problem, Axioms of generic absoluteness, Generalised dynamic ordinals - universal measures for implicit computational complexity, The Worm principle, "One is a lonely number": logic and communication, Computable versions of the uniform boundedness theorem, Symmetry of the universal computable function: A study of its automorphisms, homomorphisms and isomorphic embeddings, PCF theory and Woodin cardinals, Embedding finite lattices into the computably enumerable degrees - a status survey, Dimension theory inside a homogeneous model, Reals which compute little, Bisimulation invariance and finite models, Choice principles in constructive and classical set theories, Ash's theorem for abstract structures, Martin-Lof random and PA-complete sets, Learning and computing in the limit
Details
Erscheinungsjahr: 2006
Fachbereich: Allgemeines
Genre: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Thema: Lexika
Medium: Taschenbuch
Inhalt: Einband - flex.(Paperback)
ISBN-13: 9781568813011
ISBN-10: 1568813015
Sprache: Englisch
Einband: Kartoniert / Broschiert
Redaktion: Chatzidakis, Zoé
Koepke, Peter
Pohlers, Wolfram
Hersteller: A K Peters/CRC Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 229 x 152 x 20 mm
Von/Mit: Zoé Chatzidakis (u. a.)
Erscheinungsdatum: 13.07.2006
Gewicht: 0,544 kg
Artikel-ID: 133240241