Logic Colloquium '02: Lecture Notes in Logic 27
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By A K Peters/CRC Press

9780429065262

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lev D. Beklemishev The Worm principle

Logic Colloquium '02: Lecture Notes in Logic 27 ◽

10.1201/9781439865903-5 ◽

2006 ◽

pp. 87-107

Download Full-text

Ivan N. Soskov and Vessela Baleva Ash’s theorem for abstract structures

Logic Colloquium '02: Lecture Notes in Logic 27 ◽

10.1201/9781439865903-15 ◽

2006 ◽

pp. 339-353

Download Full-text

Martin Otto Bisimulation invariance and finite models

Logic Colloquium '02: Lecture Notes in Logic 27 ◽

10.1201/9781439865903-13 ◽

2006 ◽

pp. 288-310

Keyword(s):

Finite Models

Download Full-text

Elias E Combarro Symmetry of the universal computable function: A study of its automorphisms, homomorphisms and isomorphic embeddings

Logic Colloquium '02: Lecture Notes in Logic 27 ◽

10.1201/9781439865903-8 ◽

2006 ◽

pp. 164-183

Keyword(s):

Computable Function

Download Full-text

Vasco Brattka Computable versions of the uniform boundedness theorem

Logic Colloquium '02: Lecture Notes in Logic 27 ◽

10.1201/9781439865903-7 ◽

2006 ◽

pp. 142-163

Keyword(s):

Uniform Boundedness ◽

Boundedness Theorem

Download Full-text

Sebastiaan A. Terwijn Learning and computing in the lim it

Logic Colloquium '02: Lecture Notes in Logic 27 ◽

10.1201/9781439865903-17 ◽

2006 ◽

pp. 361-375

Download Full-text

Michael Rathjen Choice principles in constructive and classical set theories

Logic Colloquium '02: Lecture Notes in Logic 27 ◽

10.1201/9781439865903-14 ◽

2006 ◽

pp. 311-338

Download Full-text

Moti Gitik, Ralf Schindler, and Saharon Shelah PCF theory and Woodin cardinals

Logic Colloquium '02: Lecture Notes in Logic 27 ◽

10.1201/9781439865903-9 ◽

2006 ◽

pp. 184-217

Keyword(s):

Pcf Theory ◽

Woodin Cardinals

Download Full-text

David Aspero Generic absoluteness for Σι formulas and the continuum problem

Logic Colloquium '02: Lecture Notes in Logic 27 ◽

10.1201/9781439865903-2 ◽

2006 ◽

pp. 13-39

Keyword(s):

Generic Absoluteness ◽

The Continuum

Download Full-text

Andre Nies Reals which compute little

Logic Colloquium '02: Lecture Notes in Logic 27 ◽

10.1201/9781439865903-12 ◽

2006 ◽

pp. 273-287

Download Full-text