Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444864659

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Copyright Page

Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70498-7 ◽

1982 ◽

pp. iv

Download Full-text

Problematic Principles in Constructive Mathematics

Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70502-6 ◽

1982 ◽

pp. 11-55 ◽

Cited By ~ 4

Author(s):

Michael J. Beeson

Keyword(s):

Constructive Mathematics

Download Full-text

How Weak is A Closed Unbounded Ultrafilter?

Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70512-9 ◽

1982 ◽

pp. 209-230 ◽

Cited By ~ 5

Author(s):

William Mitchell

Download Full-text

Preface

Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70499-9 ◽

1982 ◽

pp. v-vi

Author(s):

Solomon Feferman

Download Full-text

AN (ℵ2, ℵ2, ℵ0) - SATURATED IDEAL ON Ω1

Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70510-5 ◽

1982 ◽

pp. 173-180 ◽

Cited By ~ 5

Author(s):

Richard Laver

Download Full-text

Modeles Recursivement Satures De L'addition Et De La Multiplication Des Entiers Naturels

Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70503-8 ◽

1982 ◽

pp. 57-68 ◽

Cited By ~ 1

Author(s):

Patrick Cegielski ◽

Kenneth Mcaloon ◽

George Wilmers

Download Full-text

Inductively Presented Systems and the Formalization of Meta-Mathematics

Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70506-3 ◽

1982 ◽

pp. 95-128 ◽

Cited By ~ 3

Author(s):

Solomon Feferman

Download Full-text

Back-and-Forth Inside A Recursively Saturated Model of Arithmetic

Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70516-6 ◽

1982 ◽

pp. 273-278 ◽

Cited By ~ 4

Author(s):

C. Smoryński

Keyword(s):

Saturated Model ◽

Recursively Saturated ◽

Recursively Saturated Model

Download Full-text

Edited by

Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70497-5 ◽

1982 ◽

pp. iii

Download Full-text

Singleton Reals

Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70505-1 ◽

1982 ◽

pp. 83-94 ◽

Cited By ~ 1

Author(s):

D. van Dalen

Download Full-text

Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Copyright Page

Problematic Principles in Constructive Mathematics

How Weak is A Closed Unbounded Ultrafilter?

Preface

AN (ℵ2, ℵ2, ℵ0) - SATURATED IDEAL ON Ω1

Modeles Recursivement Satures De L'addition Et De La Multiplication Des Entiers Naturels

Inductively Presented Systems and the Formalization of Meta-Mathematics

Back-and-Forth Inside A Recursively Saturated Model of Arithmetic

Edited by

Singleton Reals

Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic - Studies in Logic and the Foundations of Mathematics
Latest Publications