Logic Colloquium '03
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Cambridge University Press

9781316755785
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Has the continuumhypothesis been settled?

2017 ◽  
pp. 56-75 ◽  
Author(s):  
Matthew Foreman

scholarly journals Cocovering and set forcing

2017 ◽  
pp. 345-376
Author(s):  
M. C. Stanley

Rank inequalities in the theory of differentially closed fields

2017 ◽  
pp. 232-243
Author(s):  
Wai Yan Pong
Keyword(s):  
Closed Fields

scholarly journals Realizability for constructive Zermelo-Fraenkel set theory

2017 ◽  
pp. 282-314 ◽  
Author(s):  
Michael Rathjen
Keyword(s):  
Set Theory

Abstract versus concrete computability: the case of countable algebras

2017 ◽  
pp. 377-408 ◽  
Author(s):  
J. V. Tucker ◽  
J. I. Zucker

On local modularity in homogeneous structures

2017 ◽  
pp. 118-132
Author(s):  
Tapani Hyttinen
Keyword(s):  
Homogeneous Structures

Generalizing finitemodel theory

2017 ◽  
pp. 3-24
Author(s):  
Michael Benedikt

Definability and reducibility in higher types over the reals

2017 ◽  
pp. 200-220
Author(s):  
Dag Normann
Keyword(s):  
Higher Types

Decidable properties of logical calculi and of varieties of algebras

2017 ◽  
pp. 146-166
Author(s):  
Larisa Maksimova
Keyword(s):  
Logical Calculi
Load More ...
Sign in / Sign up

Export Citation Format

Share Document