Content:
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS, Page ifci
Dedication, Page II
Front Matter, Page III
Copyright, Page IV
PREFACE, Pages VII-VIII, THE EDITORS
EVERT WILLEM BETH 1908 – 1964, Page IX
LIST OF PAPERS GROUPED BY SUBJECT MATTER, Pages XI-XII
FOREWORD ON TERMINOLOGY, Pages XIII-XV, THE EDITORS
THE METHOD OF ALTERNATING CHAINS, Pages 1-16, J.W. ADDISON
SEMANTIC CONSTRUCTION OF LEWIS'S SYSTEMS S4 AND S5, Pages 17-24, E.W. BETH, J.J.F. NIELAND
CONTINUOUS MODEL THEORY, Pages 25-38, C.C. CHANG, H. JEROME KEISLER
INDEPENDENCE RESULTS IN SET THEORY, Pages 39-54, PAUL J. COHEN
BOOLEAN NOTIONS EXTENDED TO HIGHER DIMENSIONS, Pages 55-69, WILLIAM CRAIG
ELEMENTARY THEORIES WITH MODELS WITHOUT AUTOMORPHISMS, Pages 70-76, ANDRZEJ EHRENFEUCHT
COMBINATORIAL THEOREMS FOR THE CONSTRUCTION OF MODELS, Pages 77-88, ERWIN ENGELER
SOME APPLICATIONS OF THE NOTIONS OF FORCING AND GENERIC SETS (SUMMARY), Pages 89-95, SOLOMON FEFERMAN
A HYPOTHESIS CONCERNING THE EXTENSION OF FINITE RELATIONS AND ITS VERIFICATION FOR CERTAIN SPECIAL CASES, Pages 96-106, ROLAND FRAÏSSÉ
THE THEORIES OF FUNCTORS AND MODELS, Pages 107-120, PETER FREYD
LANGUAGES WITH ADDED QUANTIFIER “THERE EXIST AT LEAST χα”, Pages 121-131, GEBHARD FUHRKEN
MODEL-THEORETIC METHODS IN THE STUDY OF ELEMENTARY LOGIC, Pages 132-145, WILLIAM HANF
EXTENSIONS OF RELATIONAL STRUCTURES, Pages 146-157, BJARNI JÓNSSON
FINITE APPROXIMATIONS OF INFINITELY LONG FORMULAS, Pages 158-169, H. JEROME KEISLER
TOPICS IN THE THEORY OF DEFINITION, Pages 170-176, SIMON KOCHEN
LOGICAL STRUCTURES ARISING IN QUANTUM THEORY, Pages 177-189, SIMON KOCHEN, E.P. SPECKER
MODEL-THEORETIC INVARIANTS: APPLICATIONS TO RECURSIVE AND HYPERARITHMETIC OPERATIONS, Pages 190-205, G. KREISEL
SEMANTICAL ANALYSIS OF MODAL LOGIC II. NON-NORMAL MODAL PROPOSITIONAL CALCULI, Pages 206-220, SAUL A. KRIPKE
THE FRAENKEL-MOSTOWSKI METHOD FOR INDEPENDENCE PROOFS IN SET THEORY, Pages 221-228, AZRIEL LÉVY
FREE PRODUCT IN GENERAL ALGEBRAS, Pages 229-237, JERZY LOŚ
MODEL-THEORETIC METHODS AND RESULTS IN THE THEORY OF CYLINDRIC ALGEBRAS, Pages 238-250, DONALD MONK
REDUCTIONS OF HIGHER-ORDER LOGIC, Pages 251-264, RICHARD MONTAGUE
OMITTING CLASSES OF ELEMENTS, Pages 265-273, MICHAEL MORLEY
UNIVERSAL GROUPS OF AUTOMORPHISMS OF MODELS, Pages 274-284, MICHAEL O. RABIN
TOPICS IN NON-ARCHIMEDEAN MATHEMATICS, Pages 285-298, ABRAHAM ROBINSON
THE DECISION PROBLEM FOR FIELDS, Pages 299-311, JULIA ROBINSON
ON MODELS OF ELEMENTARY ELLIPTIC GEOMETRY, Pages 312-328, WOLFRAM SCHWABHÄUSER
LOGIC WITH DENUMERABLY LONG FORMULAS AND FINITE STRINGS OF QUANTIFIERS, Pages 329-341, DANA SCOTT
NON-STANDARD MODELS FOR FRAGMENTS OF NUMBER THEORY, Pages 342-358, J.C. SHEPHERDSON
APPLICATIONS OF MODEL THEORY TO DEGREES OF UNSOLVABILITY, Pages 359-363, J.R. SHOENFIELD
LOGICS APPROPRIATE TO EMPIRICAL THEORIES, Pages 364-375, PATRICK SUPPES
ON THE DENUMERABLE MODELS OF THEORIES WITH EXTRA PREDICATES, Pages 376-389, LARS SVENONIUS
A LÖWENHEIM-SKOLEM THEOREM FOR CARDINALS FAR APART, Pages 390-401, R.L. VAUGHT
SYNONYMOUS THEORIES, Pages 402-406, KAREL DE BOUVÈRE
FINITE-QUANTIFIER EQUIVALENCE, Pages 407-412, CAROL R. KARP
ALGEBRAIC THEORIES, ALGEBRAIC CATEGORIES, AND ALGEBRAIC FUNCTORS, Pages 413-418, F. WILLIAM LAWVERE
EXTENSIVE ULTRAPRODUCTS AND HAAR MEASURE, Pages 419-423, ARTHUR L. STONE
RELATIVELY CATEGORICAL AND NORMAL THEORIES, Pages 424-426, J. RICHARD BUCHI
FREE STRUCTURES AND CATEGORIES, Pages 427-428, WALTER FELSCHER, GUDRUN JARFE
FINITE-DIMENSIONAL ANALOGUES TO BOOLEAN ALGEBRAS, Pages 429-430, C.M. HOWARD
BOOLEAN RECURSIVE FUNCTIONS AND CLOSURE ALGEBRA, Pages 431-432, MAKOTO ITOH
A UNIFYING PRINCIPLE IN QUANTIFICATION THEORY, Pages 433-434, RAYMOND M. SMULLYAN
2χoCAN BE ANYTHING IT OUGHT TO BE, Page 435, ROBERT SOLOVAY
CONSTRUCTION OF A MODEL FOR GÖDEL–BERNAYS SET THEORY FOR WHICH THE CLASS OF NATURAL NUMBERS IS A SET OF THE MODEL AND A PROPER CLASS IN THE THEORY, Pages 436-437, PETR VOPĚNKA
SOME NOTES ON THE THEORY OF MODELS, Pages 438-441, J.W. ADDISON
A BIBLIOGRAPHY OF THE THEORY OF MODELS, Pages 442-492
LIST OF REGISTERED PARTICIPANTS, Pages 493-494
