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

2017 ◽  
pp. 96-129 ◽  
Author(s):  
Johan van Benthem

scholarly journals Reals which compute little

2017 ◽  
pp. 261-275 ◽  
Author(s):  
Andre Nies

Ash's theorem for abstract structures

2017 ◽  
pp. 327-341 ◽  
Author(s):  
Ivan N. Soskov ◽  
Vessela Baleva

Preface

2017 ◽  
pp. vii-viii
Author(s):  
Zoé Chatzidakis ◽  
Peter Koepke ◽  
Wolfram Pohlers

Axioms of generic absoluteness

2017 ◽  
pp. 28-47 ◽  
Author(s):  
Joan Bagaria
Keyword(s):  
Generic Absoluteness

scholarly journals PCF theory and Woodin cardinals

2017 ◽  
pp. 172-205
Author(s):  
Moti Gitik ◽  
Ralf Schindler ◽  
Saharon Shelah
Keyword(s):  
Pcf Theory ◽  
Woodin Cardinals

Computable versions of the uniform boundedness theorem

2017 ◽  
pp. 130-151
Author(s):  
Vasco Brattka
Keyword(s):  
Uniform Boundedness ◽  
Boundedness Theorem

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

2017 ◽  
pp. 206-229
Author(s):  
Steffen Lempp ◽  
Manuel Lerman ◽  
Reed Solomon
Keyword(s):  
Finite Lattices ◽  
Status Survey ◽  
Computably Enumerable
Load More ...
Sign in / Sign up

Export Citation Format

Share Document