Author(s): George Metakides (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 109
Publisher: Elsevier Science Ltd
Year: 1982
Language: English
Pages: iii-ix, 1-391
Content:
Edited by
Page iii
Copyright page
Page iv
Prologos
Page ix
Recursive Functionals and Quantifiers of Finite Types Revisited III Original Research Article
Pages 1-40
S.C. Kleene
Recursion Theory on Matroids Original Research Article
Pages 41-65
A. Nerode, J. Remmel
Recursion Theory and Abstract Dependence Original Research Article
Pages 67-76
J.T. Baldwin
Major Subsets in Effective Topology Original Research Article
Pages 77-94
Iraj Kalantari
Effective Isomorphisms of Algebraic Structures Original Research Article
Pages 95-122
Edward F. Eisenberg, Jeffrey B. Rernmel
Recursive Linear Orderings Original Research Article
Pages 123-136
Manuel Lerman
External and Internal Algorithms on the Continuous Functionals Original Research Article
Pages 137-144
Dag Normann
The Turing Degrees and the Metadegrees have Isomorphic Cones* Original Research Article
Pages 145-157
Sy D. Friedman
Symmetric Groups and the Open Sentence Problem Original Research Article
Pages 159-169
Verena Huber-Dyson
Iterated Inductive Fixed-Point Theories: Application to Hancock's Conjecture Original Research Article
Pages 171-196
Solomon Feferman
A Finite Combinatorial Principle Which is Equivalent to the 1-Consistency of Predicative Analysis Original Research Article
Pages 197-230
Harvey M. Friedman, Kenneth McAloon, Stephen G. Simpson
The Addison Game Played Backwards: Index Sets in Topology Original Research Article
Pages 231-237
Louise Hay, Douglas E. Miller
Analytic Equivalence Relations and Coanalytic Games Original Research Article
Pages 239-260
Jacques Stern
Model Theory and Lattices of Formulas Original Research Article
Pages 261-295
Volker Weispfenning
Saturated Ideals and Nonregular Ultrafilters Original Research Article
Pages 297-305
Richard Laver
What are R-Sets? Original Research Article
Pages 307-324
John R. Burgess
Global and Local Admissibility Original Research Article
Pages 325-338
C.T. Chong
Morass-Level Combinatorial Principles Original Research Article
Pages 339-358
A. Kanamori
Generalized Quantifiers in Models of Set Theory Original Research Article
Pages 359-371
Jouko Väänánen
Й›-Theorems and Elimination Theorems of Uniqueness Conditions Original Research Article
Pages 373-387
Nobuyoshi Motohashi
List of Participants
Pages 389-391
