Logic Colloquium '03
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By A K Peters/CRC Press

9780367807092

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

STABILIZATION—AN ALTERNATIVE TO DOUBLE-NEGATION TRANSLATION FOR CLASSICAL NATURAL DEDUCTION

Logic Colloquium '03 ◽

10.1201/9781439865835-9 ◽

2006 ◽

pp. 167-199

Author(s):

RALPH MATTHES

Keyword(s):

Natural Deduction ◽

Double Negation

Download Full-text

HAS THE CONTINUUM HYPOTHESIS BEEN SETTLED?

Logic Colloquium '03 ◽

10.1201/9781439865835-4 ◽

2006 ◽

pp. 56-75

Author(s):

MATTHEW FOREMAN

Keyword(s):

Continuum Hypothesis ◽

Download Full-text

COCOVERING AND SET FORCING

Logic Colloquium '03 ◽

10.1201/9781439865835-17 ◽

2006 ◽

pp. 345-376

Author(s):

M. C. STANLEY

Download Full-text

ON LOCAL MODULARITY IN HOMOGENEOUS STRUCTURES

Logic Colloquium '03 ◽

10.1201/9781439865835-6 ◽

2006 ◽

pp. 118-132

Author(s):

TAPANI HYTTINEN

Keyword(s):

Homogeneous Structures

Download Full-text

SOME APPLICATIONS OF REGULAR MARKERS

Logic Colloquium '03 ◽

10.1201/9781439865835-3 ◽

2006 ◽

pp. 38-55

Author(s):

CHARLES M. BOYKIN ◽

STEVE JACKSON

Download Full-text

PREDICATIVITY PROBLEMS IN POINT-FREE TOPOLOGY

Logic Colloquium '03 ◽

10.1201/9781439865835-11 ◽

2006 ◽

pp. 221-231

Author(s):

ERIK PALMGREN

Download Full-text

INDESTRUCTIBILITY AND STRONG COMPACTNESS

Logic Colloquium '03 ◽

10.1201/9781439865835-2 ◽

2006 ◽

pp. 27-37

Author(s):

ARTHUR W. APTER

Keyword(s):

Strong Compactness

Download Full-text

ABSTRACT VERSUS CONCRETE COMPUTABILITY: THE CASE OF COUNTABLE ALGEBRAS

Logic Colloquium '03 ◽

10.1201/9781439865835-18 ◽

2006 ◽

pp. 377-408

Author(s):

J. V. TUCKER ◽

J. I. ZUCKER

Download Full-text

THE ∀∃ THEORY OF D(≤, V,') IS UNDECIDABLE

Logic Colloquium '03 ◽

10.1201/9781439865835-16 ◽

2006 ◽

pp. 326-344

Author(s):

RICHARD A. SHORE ◽

THEODORE A. SLAMAN

Download Full-text

DEFINABILITY AND REDUCTIBILITY IN HIGHER TYPES OVER THE REALS

Logic Colloquium '03 ◽

10.1201/9781439865835-10 ◽

2006 ◽

pp. 200-220

Author(s):

DAG NORMANN

Keyword(s):

Download Full-text