Logic Colloquium '95
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9781316716830

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Higher Infinite in Proof Theory

Logic Colloquium '95 ◽

10.1017/9781316716830.019 ◽

2017 ◽

pp. 275-304

Author(s):

M. Rathjen

Keyword(s):

Proof Theory

Download Full-text

Combinatorial Principles from Adding Cohen Reals

Logic Colloquium '95 ◽

10.1017/9781316716830.010 ◽

2017 ◽

pp. 79-103

Author(s):

I. Juhász ◽

L. Soukup ◽

Z. Szentmiklóssy

Keyword(s):

Combinatorial Principles

Download Full-text

Accessible Segments of the Fast Growing Hierarchy

Logic Colloquium '95 ◽

10.1017/9781316716830.022 ◽

2017 ◽

pp. 339-348

Author(s):

S. S. Wainer

Keyword(s):

Fast Growing

Download Full-text

Plenary sessions

Logic Colloquium '95 ◽

10.1017/9781316716830.002 ◽

2017 ◽

pp. ix-x

Download Full-text

Noninterpretability of Infinite Linear Orders

Logic Colloquium '95 ◽

10.1017/9781316716830.009 ◽

2017 ◽

pp. 73-78

Author(s):

W. Hodges ◽

A. Nies

Keyword(s):

Linear Orders ◽

Infinite Linear

Download Full-text

Model Theory of Modules

Logic Colloquium '95 ◽

10.1017/9781316716830.008 ◽

2017 ◽

pp. 66-72

Author(s):

I. Herzog

Keyword(s):

Model Theory

Download Full-text

Strongly Minimal Sets and Geometry

Logic Colloquium '95 ◽

10.1017/9781316716830.015 ◽

2017 ◽

pp. 191-213

Author(s):

D. Marker

Keyword(s):

Minimal Sets

Download Full-text

V=L and Maximize

Logic Colloquium '95 ◽

10.1017/9781316716830.013 ◽

2017 ◽

pp. 134-152

Author(s):

P. Maddy

Download Full-text

The Number of Path-Components of a Compact Subset of Rn

Logic Colloquium '95 ◽

10.1017/9781316716830.004 ◽

2017 ◽

pp. 1-16

Author(s):

H. Becker

Keyword(s):

Compact Subset

Download Full-text

Computationally-Sound Proofs

Logic Colloquium '95 ◽

10.1017/9781316716830.016 ◽

2017 ◽

pp. 214-268

Author(s):

S. Micali

Download Full-text