|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Logic Colloquium 2000 (hardcover)
ISBN-13:
9781439865750
Veröffentl:
2005
Seiten:
350
Autor:
Rene Cori
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
0 - No protection
Sprache:
Englisch
Beschreibung:
This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture. Held in the same hall at La Sorbonne where Hilbert first presented his famous problems, this meeting carries special significance to the Mathematics and Logic communities. The pr
Tutorials; Model Theory and Geometry; Notions of Computability at Higher Types I; The Continuum Hypothesis; Participant Photographs; Articles; Bounded Forcing Axioms and the Size of the Continuum; Hilbert's Wide Program; Rigidity Conjectures; Metapredicative and Explicit Mahlo: a Proof-Theoretic Perspective; A Two-Dimensional Tree Ideal; Psychology Looks Hopefully to Logic; Russell's Logics; Partitioning Pairs of Uncountable Sets; Aspects of the Turing Jump; Liouville Functions; Analytic and Pseudo-Analytic Structures
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
