Ebook: Admissible Sets and Structures: An Approach to Definability Theory
Author: Jon Barwise
- Genre: Mathematics // Logic
- Series: Perspectives in Mathematical Logic
- Year: 1975
- Publisher: Springer
- Language: English
- pdf
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
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
....
Download the book Admissible Sets and Structures: An Approach to Definability Theory for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)