Logic Colloquium '02
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Cambridge University Press

9781316755723

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

“One is a lonely number”: logic and communication

Logic Colloquium '02 ◽

10.1017/9781316755723.006 ◽

2017 ◽

pp. 96-129 ◽

Cited By ~ 10

Author(s):

Johan van Benthem

Download Full-text

Reals which compute little

Logic Colloquium '02 ◽

10.1017/9781316755723.012 ◽

2017 ◽

pp. 261-275 ◽

Cited By ~ 1

Author(s):

Andre Nies

Download Full-text

Ash's theorem for abstract structures

Logic Colloquium '02 ◽

10.1017/9781316755723.015 ◽

2017 ◽

pp. 327-341 ◽

Cited By ~ 2

Author(s):

Ivan N. Soskov ◽

Vessela Baleva

Download Full-text

Preface

Logic Colloquium '02 ◽

10.1017/9781316755723.001 ◽

2017 ◽

pp. vii-viii

Author(s):

Zoé Chatzidakis ◽

Peter Koepke ◽

Wolfram Pohlers

Download Full-text

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

Logic Colloquium '02 ◽

10.1017/9781316755723.008 ◽

2017 ◽

pp. 152-171

Author(s):

Elıas F. Combarro

Keyword(s):

Computable Function

Download Full-text

Generalised dynamic ordinals — universal measures for implicit computational complexity

Logic Colloquium '02 ◽

10.1017/9781316755723.004 ◽

2017 ◽

pp. 48-74 ◽

Cited By ~ 1

Author(s):

Arnold Beckmann

Keyword(s):

Computational Complexity ◽

Implicit Computational Complexity

Download Full-text

Axioms of generic absoluteness

Logic Colloquium '02 ◽

10.1017/9781316755723.003 ◽

2017 ◽

pp. 28-47 ◽

Cited By ~ 3

Author(s):

Joan Bagaria

Keyword(s):

Generic Absoluteness

Download Full-text

PCF theory and Woodin cardinals

Logic Colloquium '02 ◽

10.1017/9781316755723.009 ◽

2017 ◽

pp. 172-205

Author(s):

Moti Gitik ◽

Ralf Schindler ◽

Saharon Shelah

Keyword(s):

Pcf Theory ◽

Woodin Cardinals

Download Full-text

Computable versions of the uniform boundedness theorem

Logic Colloquium '02 ◽

10.1017/9781316755723.007 ◽

2017 ◽

pp. 130-151

Author(s):

Vasco Brattka

Keyword(s):

Uniform Boundedness ◽

Boundedness Theorem

Download Full-text

Embedding finite lattices into the computably enumerable degrees — a status survey

Logic Colloquium '02 ◽

10.1017/9781316755723.010 ◽

2017 ◽

pp. 206-229

Author(s):

Steffen Lempp ◽

Manuel Lerman ◽

Reed Solomon

Keyword(s):

Finite Lattices ◽

Status Survey ◽

Computably Enumerable

Download Full-text