×
罗纳德·延森

内部模型和大型基数。 （英语） Zbl 0843.03029号

牛市。符号。日志。 1，第4期，393-407（1995）.
见对德国原版的审查【Jahresberich der DMV，Jubiläumstag.，100 Jahre DMV，Bremen/Dtschl.1990，265-280（1992）】在里面Zbl 0773.03036号.

引用于10文件

理学硕士：

03E45型 内部模型，包括可构造性、有序可定义性和核心模型
03E55型 大型红衣主教
03-03 数学逻辑和基础的历史
01A65号 当代数学的发展
2002年3月 与数学逻辑和基础相关的研究展览（专著、调查文章）

关键词：

鼠标;历史调查;内部模型;大红衣主教;累积层次结构;可构造宇宙;强制;决定性公理;毕达哥拉斯主义;牛顿主义;堆芯模型;伍丁红衣主教

引文：

Zbl 0773.03036号
PDF格式BibTeX公司 XML格式引用
\textit{R.Jensen}，公牛。符号。日志。1，第4号，393--407（1995；Zbl 0843.03029）
全文： 内政部 链接 链接

参考文献：

[1] 内政部：10.1016/0168-0072（93）90037-E·Zbl 0805.03043号 ·doi:10.1016/0168-0072（93）90037-E
[2] 逻辑3课堂讲稿（1994）
[3] 内政部：10.1090/S0894-0347-1994-1224594-7·doi:10.1090/S0894-0347-1994-1224594-7
[4] 可施工性（1984）
[5] 集合论：独立性证明导论（1980）·Zbl 0443.03021号
[6] 集合论：大型红衣主教简介（1974）·Zbl 0294.02034号
[7] DOI:10.1090/S0894-0347-1989-0955605-X·doi:10.1090/S0894-0347-1989-0955605-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。