Logic Colloquium 2006 /
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contributions from plenary speakers and selected special session speakers, contains both expository and research...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cambridge ; New York : [Poughkeepsie, N.Y.] :
Cambridge University Press ; Association for Symbolic Logic,
2009.
|
| Series: | Lecture notes in logic ;
32. |
| Subjects: | |
| Online Access: | CONNECT |
Table of Contents:
- COVER; HALF-TITLE; SERIES-TITLE; TITLE; COPYRIGHT; CONTENTS; INTRODUCTION; DEFINABILITY AND ELEMENTARY EQUIVALENCE IN THE ERSHOV DIFFERENCE HIERARCHY; REFERENCES; A UNIFIED APPROACH TO ALGEBRAIC SET THEORY; REFERENCES; BRIEF INTRODUCTION TO UNPROVABILITY; REFERENCES; HIGHER-ORDER ABSTRACT SYNTAX IN TYPE THEORY; REFERENCES; AN INTRODUCTION TO b-MINIMALITY; REFERENCES; THE SIXTH LECTURE ON ALGORITHMIC RANDOMNESS; REFERENCES; THE INEVITABILITY OF LOGICAL STRENGTH: STRICT REVERSE MATHEMATICS; REFERENCES; APPLICATIONS OF LOGIC IN ALGEBRA: EXAMPLES FROM CLONE THEORY; REFERENCES
- ON FINITE IMAGINARIESREFERENCES; STRONG MINIMAL COVERS AND A QUESTION OF YATES: THE STORY SO FAR; REFERENCES; EMBEDDINGS INTO THE TURING DEGREES; REFERENCES; RANDOMNESS
- BEYOND LEBESGUE MEASURE; REFERENCES; THE DERIVED MODEL THEOREM; REFERENCES; FORCING AXIOMS AND CARDINAL ARITHMETIC; REFERENCES; HRUSHOVSKI'S AMALGAMATION CONSTRUCTION; REFERENCES
