Studies in Logic and the Foundations of Mathematics - Logic Colloquium'87, Proceedings of the Colloquium held in Granada
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Elsevier

9780444880222

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Unbounded Filters on ω

Studies in Logic and the Foundations of Mathematics - Logic Colloquium'87, Proceedings of the Colloquium held in Granada ◽

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

1989 ◽

pp. 105-115 ◽

Author(s):

Jaime I. Ihoda

Download Full-text

Type Theory and Explicit Mathematics

Studies in Logic and the Foundations of Mathematics - Logic Colloquium'87, Proceedings of the Colloquium held in Granada ◽

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

1989 ◽

pp. 117-135 ◽

Author(s):

Gerhard Jäger

Keyword(s):

Download Full-text

General Logics

Studies in Logic and the Foundations of Mathematics - Logic Colloquium'87, Proceedings of the Colloquium held in Granada ◽

10.1016/s0049-237x(08)70132-0 ◽

1989 ◽

pp. 275-329 ◽

Author(s):

José Meseguer

Download Full-text

Model Theory of Henselian Valued Fields

Studies in Logic and the Foundations of Mathematics - Logic Colloquium'87, Proceedings of the Colloquium held in Granada ◽

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

1989 ◽

pp. v-vi

Author(s):

H.-D. Ebbinghaus ◽

J. Fernandez-Prida ◽

M. Garrido ◽

D. Lascar ◽

M. Rodriquez Artalejo

Keyword(s):

Model Theory ◽

Valued Fields ◽

Henselian Valued Fields

Download Full-text

Edited by

Studies in Logic and the Foundations of Mathematics - Logic Colloquium'87, Proceedings of the Colloquium held in Granada ◽

10.1016/s0049-237x(08)70116-2 ◽

1989 ◽

pp. iii

Download Full-text

Some Aspects of Impredicativity

Studies in Logic and the Foundations of Mathematics - Logic Colloquium'87, Proceedings of the Colloquium held in Granada ◽

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

1989 ◽

pp. 241-274 ◽

Author(s):

Giuseppe Longo

Download Full-text

Model Theory of Regular and Compact Spaces

Studies in Logic and the Foundations of Mathematics - Logic Colloquium'87, Proceedings of the Colloquium held in Granada ◽

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

1989 ◽

pp. 41-52

Author(s):

Jörg Flum

Keyword(s):

Model Theory ◽

Download Full-text

Copyright page

Studies in Logic and the Foundations of Mathematics - Logic Colloquium'87, Proceedings of the Colloquium held in Granada ◽

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

1989 ◽

pp. iv

Download Full-text

Model Theory of Henselian Valued Fields

Studies in Logic and the Foundations of Mathematics - Logic Colloquium'87, Proceedings of the Colloquium held in Granada ◽

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

1989 ◽

pp. 1-10

Author(s):

Françoise Delon

Keyword(s):

Model Theory ◽

Valued Fields ◽

Henselian Valued Fields

Download Full-text

On the use of Diagonally Nonrecursive Functions

Studies in Logic and the Foundations of Mathematics - Logic Colloquium'87, Proceedings of the Colloquium held in Granada ◽

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

1989 ◽

pp. 219-239 ◽

Author(s):

Antonin Kučera

Download Full-text