Logic Colloquium '90
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Cambridge University Press

9781316718254

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On complete filters

Logic Colloquium '90 ◽

10.1017/9781316718254.007 ◽

2017 ◽

pp. 62-65

Author(s):

Hans-Dieter Bonder

Download Full-text

Absoluteness for projective sets

Logic Colloquium '90 ◽

10.1017/9781316718254.011 ◽

2017 ◽

pp. 145-154 ◽

Author(s):

Haim Judah

Download Full-text

Decidability questions for theories of modules

Logic Colloquium '90 ◽

10.1017/9781316718254.018 ◽

2017 ◽

pp. 266-280

Author(s):

Françoise Point

Download Full-text

New foundations for mathematical theories

Logic Colloquium '90 ◽

10.1017/9781316718254.010 ◽

2017 ◽

pp. 122-144 ◽

Author(s):

Jaakko Hintikka

Keyword(s):

New Foundations

Download Full-text

Foreword

Logic Colloquium '90 ◽

10.1017/9781316718254.001 ◽

2017 ◽

pp. v-vi

Author(s):

Juha Oikkonen ◽

Jouko Väänänen

Download Full-text

About the irreflexivity hypothesis for free left distributive magmas

Logic Colloquium '90 ◽

10.1017/9781316718254.006 ◽

2017 ◽

pp. 46-61

Author(s):

Patrick Dehornoy

Keyword(s):

Download Full-text

A transfinite version of Puiseux's theorem, with applications to real closed fields

Logic Colloquium '90 ◽

10.1017/9781316718254.016 ◽

2017 ◽

pp. 250-258

Author(s):

M. H. Mourgues ◽

J.-P. Ressayre

Keyword(s):

Real Closed Fields ◽

Download Full-text

Gentzen-type systems and resolution rule. Part II. Predicate logic

Logic Colloquium '90 ◽

10.1017/9781316718254.013 ◽

2017 ◽

pp. 163-190 ◽

Author(s):

Grigori Mints

Keyword(s):

Predicate Logic ◽

Type Systems ◽

Resolution Rule

Download Full-text

A note on the ordinal analysis of KPM

Logic Colloquium '90 ◽

10.1017/9781316718254.003 ◽

2017 ◽

pp. 1-9 ◽

Author(s):

Wilfried Buchholz

Keyword(s):

Ordinal Analysis

Download Full-text

On similarities of complete theories

Logic Colloquium '90 ◽

10.1017/9781316718254.017 ◽

2017 ◽

pp. 259-265

Author(s):

T. G. Mustafin

Keyword(s):

Complete Theories

Download Full-text