Admissible sets and structures
Admissible sets and structures
复制标题
允许的集合和结构
DOI：
10.1007/978-3-662-11035-5
复制
发表时间：
1975
期刊：
影响因子：
--
通讯作者：
J. Barwise
中科院分区：
文献类型：
--
作者：
J. Barwise
自创办以来，《逻辑学展望》和《逻辑学讲义》系列已经发表了许多重要逻辑学家的开创性著作。该系列的许多原版书籍多年来一直没有销路，但现在它们又重新出版了。可容许集合论是模型论、递归论和集合论相互作用的重要来源，在可定义性理论中占有重要地位。在本卷中，在展望逻辑系列的第七出版物，Jon Barwise提出了关于可容许集合和可容许序数的基本事实，使他们能够访问逻辑学生和专家一样。它填补了模型论和递归论之间的人为空白，涵盖了逻辑学家应该知道的关于可容许集的一切。
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 between model theory, recursion theory and set theory, and plays an important role in definability theory. In this volume, the seventh publication in the Perspectives in Logic series, Jon Barwise presents the basic facts about admissible sets and admissible ordinals in a way that makes them accessible to logic students and specialists alike. It fills the artificial gap between model theory and recursion theory and covers everything the logician should know about admissible sets.