Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981 - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Elsevier

9780444867063

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Copyright page

Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981 - Studies in Logic and the Foundations of Mathematics ◽

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

1983 ◽

pp. iv

Download Full-text

Orthologic, Forcing, and The Manifestation of Attributes

Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981 - Studies in Logic and the Foundations of Mathematics ◽

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

1983 ◽

pp. 13-36 ◽

Cited By ~ 2

Author(s):

J.L. Bell

Download Full-text

Sequentially Large Cardinals

Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981 - Studies in Logic and the Foundations of Mathematics ◽

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

1983 ◽

pp. 197-210

Author(s):

It Beng Tan

Keyword(s):

Large Cardinals

Download Full-text

On the Number of Countable Models

Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70961-3 ◽

1983 ◽

pp. 185-195 ◽

Cited By ~ 3

Author(s):

Gerald E. Sacks

Keyword(s):

Countable Models

Download Full-text

Preface

Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981 - Studies in Logic and the Foundations of Mathematics ◽

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

1983 ◽

pp. v

Author(s):

Malcolm Wicks

Download Full-text

Formal Systems and Boolean Valued Combinatorics

Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981 - Studies in Logic and the Foundations of Mathematics ◽

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

1983 ◽

pp. 115-132

Author(s):

Kanji Namba

Keyword(s):

Formal Systems

Download Full-text

List of Participants

Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981 - Studies in Logic and the Foundations of Mathematics ◽

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

1983 ◽

pp. xi

Download Full-text

Acknowledgements

Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981 - Studies in Logic and the Foundations of Mathematics ◽

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

1983 ◽

pp. vii

Download Full-text

Model - Theoretic Forms of the Axiom of Choice

Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981 - Studies in Logic and the Foundations of Mathematics ◽

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

1983 ◽

pp. 1-12

Author(s):

C.J. Ash

Keyword(s):

Axiom Of Choice ◽

The Axiom Of Choice

Download Full-text

Summary of Programme

Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981 - Studies in Logic and the Foundations of Mathematics ◽

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

1983 ◽

pp. ix-x

Download Full-text