A rather classless model-Reference-Cited by-同舟云学术

登录注册会员服务联系我们

A rather classless model

Published:1977 Issue:2 Volume:62 Page:330-333
ISSN:0002-9939
Container-title:Proceedings of the American Mathematical Society
language:en
Short-container-title:Proc. Amer. Math. Soc.

Author:

Kaufmann Matt

Abstract

Using ♢ ω 1 {\diamondsuit _{{\omega _1}}} , a model N \mathfrak {N} of Peano arithmetic is constructed which has a unique extension ( N , χ ) (\mathfrak {N},\chi ) to a model of Δ 1 1 \Delta _1^1 -PA, Peano arithmetic with Δ 1 1 \Delta _1^1 -comprehension.

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Link

http://www.ams.org/proc/1977-062-02/S0002-9939-1977-0476498-7/S0002-9939-1977-0476498-7.pdf

Reference4 articles.

1. Perspectives in Mathematical Logic;Barwise, Jon,1975

2. On recursively saturated models of arithmetic;Barwise, Jon,1975

3. Models with tree structures;Keisler, H. Jerome,1974

4. J. Schlipf, Some hyperelementary aspects of model theory, Doctoral Dissertation, University of Wisconsin, Madison, Wis., 1975.

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Set theoretical analogues of the Barwise-Schlipf theorem;Annals of Pure and Applied Logic;2022-10

2. Destructibility and axiomatizability of Kaufmann models;Archive for Mathematical Logic;2022-03-26

3. Condensable models of set theory;Archive for Mathematical Logic;2021-08-06

4. Satisfaction Classes;Trends in Logic;2019

5. MODELS OF POSITIVE TRUTH;The Review of Symbolic Logic;2018-12-26

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线，采集、加工和组织学术论文而形成的新型学术文献查询和分析系统，可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容，当前同舟云学术共收录了国内外主流学术期刊6万余种，收集的期刊论文及会议论文总量共计约1.5亿篇，并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询！咨询电话：010-8811{复制后删除}0370

www.globalauthorid.com

TOP