現代数学の系譜工学物理雑談古典ガロア理論も読む80

現代数学の系譜工学物理雑談古典ガロア理論も読む80at MATH

現代数学の系譜工学物理雑談古典ガロア理論も読む80 - 暇つぶし2ch193:tained in some universe V relative to the model of set theory determined by V is equivalent, for any universe W such that V ∈ W, to its validity for the same collection of sets relative to the model of set theory determined by W [cf., e.g., [Drk], Chapter 3, Definition 4.2]. Definition 3.1. (i) A 0-species S0 is a collection of conditions given by a set-theoretic formula P85 Bibliography [Drk] F. R. Drake, Set Theory: an Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics 76, North-Holland (1974). https://www.researchgate.net/publication/270260913_Drake_Frank_R_Set_theory_An_introduction_to_large_cardinals_Studies_in_logic_and_the_foundations_of_mathematics_vol_76_North-Holland_Publishing_Company_Amsterdam_and_London_and_American_Elsevier_Publi researchgate Drake Frank R.. Set theory. An introduction to large cardinals. Studies in logic and the foundations of mathematics, vol. 76. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, xii + 351 pp.

次ページ

続きを表示

1を表示