Admissible Sets and Structures: An Appro
โ J. Barwise
๐ Library
๐
1976
๐ Springer
๐ English
โฆ LIBER โฆ
๐
Admissible Sets and Structures: An Approach to Definability Theory
โ Scribed by Jon Barwise
- Publisher
- Springer
- Year
- 1975
- Tongue
- English
- Leaves
- 404
- Series
- Perspectives in Mathematical Logic
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Table of Contents
Content:
Front Matter....Pages I-XIV
Introduction....Pages 1-4
Front Matter....Pages 5-5
Admissible Set Theory....Pages 7-41
Some Admissible Sets....Pages 42-77
Countable Fragments of L?? ....Pages 78-112
Elementary Results on ?YPm ....Pages 113-149
Front Matter....Pages 151-151
The Recursion Theory of ?1 Predicates on Admissible Sets....Pages 153-196
Inductive Definitions....Pages 197-254
Front Matter....Pages 255-255
More about L?? ....Pages 257-310
Strict ? 1 1 Predicates and K?nig Principles....Pages 311-364
Back Matter....Pages 365-396
๐ SIMILAR VOLUMES
Admissible sets and structures: An appro
โ J. Barwise
๐ Library
๐
1976
๐ Springer
๐ English
Admissible Sets and Structures
โ Jon Barwise
๐ Library
๐
2017
๐ Cambridge University Press
๐ English
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Admissible set theory is a major source of interaction
Admissible Sets and Structures
โ Jon Barwise
๐ Library
๐
2017
๐ Cambridge University Press
๐ English
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Admissible set theory is a major source of interaction
Admissible Sets and Structures
โ Jon Barwise
๐ Library
๐
2017
๐ Cambridge University Press
๐ English
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Admissible set theory is a major source of interaction
Theories for Admissible Sets: A Unifying
โ Gerhard Jager
๐ Library
๐
1987
๐ Humanities Pr
๐ English