Logic Colloquium 2000
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Cambridge University Press

9781316755884

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Maurice Boffa (1939–2001)

Logic Colloquium 2000 ◽

10.1017/9781316755884.007 ◽

2017 ◽

pp. 207-208

Download Full-text

Analytic and pseudo-analytic structures

Logic Colloquium 2000 ◽

10.1017/9781316755884.018 ◽

2017 ◽

pp. 392-408 ◽

Cited By ~ 1

Author(s):

Boris Zilber

Download Full-text

Introduction

Logic Colloquium 2000 ◽

10.1017/9781316755884.001 ◽

2017 ◽

pp. v-viii

Download Full-text

Partitioning pairs of uncountable sets

Logic Colloquium 2000 ◽

10.1017/9781316755884.015 ◽

2017 ◽

pp. 350-364

Author(s):

Masahiro Shioya

Download Full-text

Hilbert's wide program

Logic Colloquium 2000 ◽

10.1017/9781316755884.009 ◽

2017 ◽

pp. 228-251

Author(s):

William Ewald

Download Full-text

Russell's logics

Logic Colloquium 2000 ◽

10.1017/9781316755884.014 ◽

2017 ◽

pp. 335-349

Author(s):

Philippe de Rouilhan

Download Full-text

Liouville functions

Logic Colloquium 2000 ◽

10.1017/9781316755884.017 ◽

2017 ◽

pp. 383-391

Author(s):

A. J. Wilkie

Download Full-text

Bounded forcing axioms and the size of the continuum

Logic Colloquium 2000 ◽

10.1017/9781316755884.008 ◽

2017 ◽

pp. 211-227

Author(s):

David Asperó

Keyword(s):

Forcing Axioms ◽

The Continuum

Download Full-text

The ContinuumHypothesis

Logic Colloquium 2000 ◽

10.1017/9781316755884.005 ◽

2017 ◽

pp. 143-198

Author(s):

W. Hughwoodin

Download Full-text

Metapredicative and explicit Mahlo: a proof-theoretic perspective

Logic Colloquium 2000 ◽

10.1017/9781316755884.011 ◽

2017 ◽

pp. 272-293 ◽

Cited By ~ 2

Author(s):

Gerhard Jäger

Download Full-text