Logic Colloquium 2006
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Cambridge University Press

9780511605321
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The derived model theorem

2010 ◽  
pp. 280-327 ◽  
Author(s):  
J. R. Steel

Forcing axioms and cardinal arithmetic

2010 ◽  
pp. 328-360
Author(s):  
Boban Veličković
Keyword(s):  
Forcing Axioms ◽  
Cardinal Arithmetic

The inevitability of logical strength: Strict reverse mathematics

2010 ◽  
pp. 135-183 ◽  
Author(s):  
Harvey M. Friedman
Keyword(s):  
Reverse Mathematics ◽  
Logical Strength

scholarly journals An introduction to b-minimality

2010 ◽  
pp. 91-102 ◽  
Author(s):  
Raf Cluckers

scholarly journals A unified approach to algebraic set theory

2010 ◽  
pp. 18-37 ◽  
Author(s):  
Benno van den Berg ◽  
Ieke Moerdijk
Keyword(s):  
Set Theory ◽  
Unified Approach ◽  
Algebraic Set

The sixth lecture on algorithmic randomness

2010 ◽  
pp. 103-134
Author(s):  
Rod Downey
Keyword(s):  
Algorithmic Randomness

Brief introduction to unprovability

2010 ◽  
pp. 38-64 ◽  
Author(s):  
Andrey Bovykin

Strong minimal covers and a question of Yates: The story so far

2010 ◽  
pp. 213-228 ◽  
Author(s):  
Andrew E. M. Lewis

Randomness—beyond Lebesgue measure

2010 ◽  
pp. 247-279 ◽  
Author(s):  
Jan Reimann
Keyword(s):  
Lebesgue Measure

Embeddings into the Turing degrees

2010 ◽  
pp. 229-246
Author(s):  
Antonio Montalbán
Keyword(s):  
Turing Degrees
Load More ...
Sign in / Sign up

Export Citation Format

Share Document