>>171 追加

http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
IUTそのIV
(抜粋)
P68
In the following discussion, we use the phrase “set-theoretic formula” as it is
conventionally used in discussions of axiomatic set theory [cf., e.g., [Drk], Chapter 1,
§2], with the following proviso: In the following discussion, it should be understood
that every set-theoretic formula that appears is “absolute” in the sense that its
validity for a collection of sets contained 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.