形状 发表于 2025-3-30 09:12:09
Borel Equivalence Relations,idered part of descriptive set theory, it traces its origins back to areas entirely outside logic. In fact this survey starts with Silver’s theorem on the number of equivalence classes of a co-analytic equivalence relation and the landmark Harrington-Kechris-Louveau dichotomy theorem, but also takesAdherent 发表于 2025-3-30 14:07:40
http://reply.papertrans.cn/43/4222/422146/422146_52.pngLEVY 发表于 2025-3-30 19:19:10
http://reply.papertrans.cn/43/4222/422146/422146_53.pngInfect 发表于 2025-3-30 21:41:29
Invariants of Measure and Category,erties of the associated ideals, particularly, their cardinal characteristics. The key notion is the Tukey reducibility which compares partial orders with respect to their cofinality type. We define small sets of reals associated with cardinal invariants and discuss their properties. We present a nu吊胃口 发表于 2025-3-31 04:21:22
http://reply.papertrans.cn/43/4222/422146/422146_55.png割公牛膨胀 发表于 2025-3-31 07:27:17
http://reply.papertrans.cn/43/4222/422146/422146_56.png免费 发表于 2025-3-31 09:28:57
http://reply.papertrans.cn/43/4222/422146/422146_57.pngPtsd429 发表于 2025-3-31 15:36:20
http://reply.papertrans.cn/43/4222/422146/422146_58.pngMorsel 发表于 2025-3-31 21:09:19
Iterated Forcing and Elementary Embeddings,f extending a (possibly generic) elementary embedding of the universe to a larger domain, which is typically a generic extension of the ground model by some iterated forcing construction..Topics covered include.(a) building, transfer and alteration of generic objects.(b) strong and weak master condiSmall-Intestine 发表于 2025-3-31 21:55:46
http://reply.papertrans.cn/43/4222/422146/422146_60.png