Abelian Variety
ACF
advanced logic research topics
Algebraic Groups
Algebraically Closed
Algebraically Independent
Belief Revision
Category=PBCD
computability theory
Consistency Proof
Continuous Lifting
Countable Ordinal
Definable Ideals
Definable Set
Dichotomy Theorem
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Independence Theorem
Linearly Disjoint
Logical Fictions
mathematical logic
model theory applications
Order Arithmetic
philosophical logic
proof theory
Quantifier Elimination
Ramified Theory
Recursive Ordinal
Recursively Enumerable
Revision Functions
set theory foundations
Turing Degree
Uncountable Cardinality
Vicious Circle Principle
Product details
- ISBN 9781568812519
- Weight: 680g
- Dimensions: 152 x 229mm
- Publication Date: 25 Apr 2005
- Publisher: Taylor & Francis Inc
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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 presentations include tutorials and research articles from some of the world's preeminent logicians. Three long articles are based on tutorials given at the meeting, and present accessible expositions of devloping research in three active areas of logic: model theory, computability, and set theory. The eleven subsequent articles cover seperate research topics in all areas of mathematical logic, including: aspects in Computer Science, Proof Theory, Set Theory, Model Theory, Computability Theory, and aspects of Philosophy.
Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood
