Perspectives in Logic

Admissible Sets and Structures: An Approach to Definability Theory

Jon Barwise

Book information

Author
Jon Barwise

Publication information
Perspectives in Mathematical Logic, Volume 7
Berlin: Springer-Verlag, 1975
394 pp.

Dates
Publication date: 1975
First available in Project Euclid: 23 February 2009

Permanent link to this book
https://projecteuclid.org/euclid.pl/1235418470

ISBN:
3-540-07451-1
0-387-07451-1

Mathematical Reviews (MathSciNet):
MR 0424560

Subjects
Primary: 02F27 02B25 O2H10 O2K35

Rights
Copyright © 1975, Association for Symbolic Logic

Citation
Jon Barwise, Admissible Sets and Structures: An Approach to Definability Theory (Berlin: Springer-Verlag, 1975)

Select/deselect all
  • Export citations
Miscellaneous Frontmatter
Abstract PDF
Introduction1 - 4
Abstract PDF

Part A: The Basic Theory

Chapter I: Admissible Set Theory7 - 41
Abstract PDF
Chapter II: Some Admissible Sets42 - 77
Abstract PDF
Chapter III: Countable Fragments of $\mathsf{L}_{\infty\omega}$78 - 112
Abstract PDF
Chapter IV: Elementary Results on $\mathbb{H}YP_{\mathfrak{M}}$113 - 149
Abstract PDF

Part B: The Absolute Theory

Chapter V: The Recursion Theory of $\Sigma_1$ Predicates on Admissible Sets153 - 196
Abstract PDF
Chapter VI: Inductive Definitions197 - 254
Abstract PDF

Part C: Towards a General Theory

Chapter VII: More about $\mathsf{L}_{\infty\omega}$257 - 310
Abstract PDF
Chapter VIII: Strict $\Pi^{1}-{1}$ Predicates and Konig Principles311 - 364
Abstract PDF
Appendix: Nonstandard Compactness Arguments and the Admissible Cover365 - 379
Abstract PDF
References380 - 385
Abstract PDF
Index of Notation386 - 387
Abstract PDF
Subject Index388 - 394
Abstract PDF
Miscellaneous Backmatter
Abstract PDF
Select/deselect all
  • Export citations

Top

Association for Symbolic Logic

Perspectives in Logic
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?