Admissible Sets and Structures: An Approach to Definability Theory

Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches. Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content. Contact customer_support@projecteuclid.org with any questions.
View Project Euclid Privacy Policy

All Fields are Required

First Name

Last/Family Name

Password

Password Requirements: Minimum 8 characters, must include as least one uppercase, one lowercase letter, and one number or permitted symbol Valid Symbols for password:
~ Tilde
! Exclamation Mark
@ At sign
$ Dollar sign
^ Caret
( Opening Parenthesis
) Closing Parenthesis
_ Underscore
. Period

Confirm Password

Admissible Sets and Structures: An Approach to Definability Theory

Author(s) Jon Barwise

Perspect. Logic, 7: 394pp. (1975).

Abstract

No abstract available

Hide All Book Information -

Information

Perspectives in Logic, Volume 7

394 pp.

Published: 1975

First available in Project Euclid: 23 February 2009

MathSciNet: MR0424560

ISBN: 3540074511

Subjects:

Primary: 02B25 , 02F27 , O2H10 , O2K35

Perspectives in Logic

Next Volume >

Association for Symbolic Logic

TABLE OF CONTENTS
View All Abstracts +

Miscellaneous Frontmatter

Jon Barwise

Perspectives in Logic Vol. 7, - (1975). Open Access

Introduction

Jon Barwise

Perspectives in Logic Vol. 7, 1-4 (1975). Open Access

Part A: The Basic Theory

Chapter I: Admissible Set Theory

Jon Barwise

Perspectives in Logic Vol. 7, 7-41 (1975). Open Access

Chapter II: Some Admissible Sets

Jon Barwise

Perspectives in Logic Vol. 7, 42-77 (1975). Open Access

Chapter III: Countable Fragments of $\mathsf{L}_{\infty\omega}$

Jon Barwise

Perspectives in Logic Vol. 7, 78-112 (1975). Open Access

Chapter IV: Elementary Results on $\mathbb{H}YP_{\mathfrak{M}}$

Jon Barwise

Perspectives in Logic Vol. 7, 113-149 (1975). Open Access

Part B: The Absolute Theory

Chapter V: The Recursion Theory of $\Sigma_1$ Predicates on Admissible Sets

Jon Barwise

Perspectives in Logic Vol. 7, 153-196 (1975). Open Access

Chapter VI: Inductive Definitions

Jon Barwise

Perspectives in Logic Vol. 7, 197-254 (1975). Open Access

Part C: Towards a General Theory

Chapter VII: More about $\mathsf{L}_{\infty\omega}$

Jon Barwise

Perspectives in Logic Vol. 7, 257-310 (1975). Open Access

Chapter VIII: Strict $\Pi^{1}-{1}$ Predicates and Konig Principles

Jon Barwise

Perspectives in Logic Vol. 7, 311-364 (1975). Open Access

Appendix: Nonstandard Compactness Arguments and the Admissible Cover

Jon Barwise

Perspectives in Logic Vol. 7, 365-379 (1975). Open Access

References

Jon Barwise

Perspectives in Logic Vol. 7, 380-385 (1975). Open Access

Index of Notation

Jon Barwise

Perspectives in Logic Vol. 7, 386-387 (1975). Open Access

Subject Index

Jon Barwise

Perspectives in Logic Vol. 7, 388-394 (1975). Open Access

Miscellaneous Backmatter

Jon Barwise

Perspectives in Logic Vol. 7, - (1975). Open Access

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS