rods366
发表于 2025-3-26 21:02:03
Identity and Quantificationncern the domain of quantification, the range of quantifiers, the collapse of the existential and the universal quantifiers, and the intelligibility of quantification. The central role of identity in quantification is identified in each case. Also considered is quantification in non-classical contex
CULP
发表于 2025-3-27 04:36:14
On the Consistency of Quasi-Set Theorycable, in the sense that . = . is not a formula, if . is an arbitrary term. The terms of . are either collections or atoms (empty terms who are not collections), in a precise sense. Within this context, . is supposed to be some sort of generalization of ZFU (ZF with atoms). Strangely enough, no one
Accomplish
发表于 2025-3-27 08:53:45
Troublesome Quasi-Cardinals and the Axiom of Choiceak Extensionality Axiom. A modification . of . is proposed. Similarly to what is going on in ., indiscernibility is a primitive concept of ., objects of . are either .-atoms or .-atoms, or quasi-classes. Some quasi-classes are quasi-sets. The ZFA-kernel of . is defined to serve as a model of Zermelo
无辜
发表于 2025-3-27 12:41:35
http://reply.papertrans.cn/67/6671/667013/667013_34.png
nitric-oxide
发表于 2025-3-27 13:58:43
http://reply.papertrans.cn/67/6671/667013/667013_35.png
不能强迫我
发表于 2025-3-27 21:44:02
http://reply.papertrans.cn/67/6671/667013/667013_36.png
不怕任性
发表于 2025-3-27 22:26:35
http://reply.papertrans.cn/67/6671/667013/667013_37.png
言行自由
发表于 2025-3-28 02:48:38
Jonas R. B. Arenhart,Raoni W. Arroyoed quasihomogeneous if it contains a dense orbit. Popov 1973 classified all normal affine quasihomogeneous G-varieties. In addition, Luna and Vust 1983 classified the normal (not necessarily affine) quasihomogeneous G-varieties. These classifications use discrete parameters, which even in
SPASM
发表于 2025-3-28 08:50:18
ed quasihomogeneous if it contains a dense orbit. Popov 1973 classified all normal affine quasihomogeneous G-varieties. In addition, Luna and Vust 1983 classified the normal (not necessarily affine) quasihomogeneous G-varieties. These classifications use discrete parameters, which even in
散步
发表于 2025-3-28 10:53:59
http://reply.papertrans.cn/67/6671/667013/667013_40.png