Studies in Logic and the Foundations of Mathematics - Logic Colloquium '78, Proceedings of the colloquium held in Mons
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Elsevier

9780444853783

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Number of Expansions of the Models of ZFC-Set Theory to Models of KM-Theory of Classes

Studies in Logic and the Foundations of Mathematics - Logic Colloquium '78, Proceedings of the colloquium held in Mons ◽

10.1016/s0049-237x(08)71632-x ◽

1979 ◽

pp. 317-333

Author(s):

Z. Ratajczyk

Keyword(s):

Download Full-text

Linear orders in (ω)ω under eventual dominance

Studies in Logic and the Foundations of Mathematics - Logic Colloquium '78, Proceedings of the colloquium held in Mons ◽

10.1016/s0049-237x(08)71630-6 ◽

1979 ◽

pp. 299-302 ◽

Author(s):

Richard Laver

Keyword(s):

Linear Orders ◽

Eventual Dominance

Download Full-text

Continuity in Intuitionistic Set Theories

Studies in Logic and the Foundations of Mathematics - Logic Colloquium '78, Proceedings of the colloquium held in Mons ◽

10.1016/s0049-237x(08)71619-7 ◽

1979 ◽

pp. 1-52 ◽

Author(s):

Michael Beeson

Download Full-text

Equivalence Relations, Projective and Beyond

Studies in Logic and the Foundations of Mathematics - Logic Colloquium '78, Proceedings of the colloquium held in Mons ◽

10.1016/s0049-237x(08)71628-8 ◽

1979 ◽

pp. 247-264 ◽

Author(s):

L. Harrington ◽

R. Sami

Keyword(s):

Equivalence Relations

Download Full-text

On Successors of Singular Cardinals

Studies in Logic and the Foundations of Mathematics - Logic Colloquium '78, Proceedings of the colloquium held in Mons ◽

10.1016/s0049-237x(08)71635-5 ◽

1979 ◽

pp. 357-380 ◽

Author(s):

Saharon Shelah

Keyword(s):

Singular Cardinals

Download Full-text

On Partially Conservative Extensions of Arithmetic

Studies in Logic and the Foundations of Mathematics - Logic Colloquium '78, Proceedings of the colloquium held in Mons ◽

10.1016/s0049-237x(08)71626-4 ◽

1979 ◽

pp. 225-234 ◽

Author(s):

Petr Hájek

Keyword(s):

Conservative Extensions

Download Full-text

Un résultat de non contradiction relative au sujet de la conjecture de SOLOVAY

Studies in Logic and the Foundations of Mathematics - Logic Colloquium '78, Proceedings of the colloquium held in Mons ◽

10.1016/s0049-237x(08)71621-5 ◽

1979 ◽

pp. 75-79

Author(s):

René David

Download Full-text

Abstract Logic and Set Theory. I. Definability

Studies in Logic and the Foundations of Mathematics - Logic Colloquium '78, Proceedings of the colloquium held in Mons ◽

10.1016/s0049-237x(08)71637-9 ◽

1979 ◽

pp. 391-421 ◽

Author(s):

Jouko Väänänen

Keyword(s):

Download Full-text

The Diophantine Problem for Polynomial Rings of Positive Characteristic

Studies in Logic and the Foundations of Mathematics - Logic Colloquium '78, Proceedings of the colloquium held in Mons ◽

10.1016/s0049-237x(08)71623-9 ◽

1979 ◽

pp. 131-145 ◽

Author(s):

J. Denef

Keyword(s):

Positive Characteristic ◽

Polynomial Rings ◽

Diophantine Problem

Download Full-text

A Fine Structure Generated by Reflection Formulas over Primitive Recursive Arithmetic

Studies in Logic and the Foundations of Mathematics - Logic Colloquium '78, Proceedings of the colloquium held in Mons ◽

10.1016/s0049-237x(08)71633-1 ◽

1979 ◽

pp. 335-350 ◽

Author(s):

Ulf R. Schmerl

Keyword(s):

Fine Structure ◽

Primitive Recursive Arithmetic ◽

Primitive Recursive

Download Full-text