Journal of Symbolic Logic· 2026Q1
Predikatif ve Yapıcı Etkin Topos İçindeki Fibrasyonlu Kümeler
FIBRED SETS WITHIN A PREDICATIVE AND CONSTRUCTIVE EFFECTIVE TOPOS
- 0atıf
- Q1SCImago
- 2026yıl
Kısa özet
Etkin Topos'un predikatif varyantı pEff içinde kümelerin fibrasyonlu bir yapısı tanımlanarak, yapıcı ve predikatif teorilerde bile Formal Kilise Tezi'ni doğruladığı gösterilmiştir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Etkin Topos'un (pEff) predikatif varyantı içindeki kümelerin fibrasyonlu yapısı tanımlanmıştır.
- Analiz, Etkin Topos'un (Eff) yapıcı ve predikatif varyantlarına genişletilebilir.
- Eff'in ayrık nesneler alt kategorisi, bir fibrasyonlu predikatif topos içerir.
- Bu fibrasyonlu topos, yapıcı ve predikatif temeller altında Formal Kilise Tezi'ni doğrular.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
Abstract We describe the fibrational structure of sets within the predicative variant pEff $\textbf {pEff}$ bold pEff of Hyland’s Effective Topos Eff ${\mathbf {Eff} }$ bold upper E f f , previously introduced in Feferman’s classical predicative theory of non-iterative fixpoints I D 1 ^ ${\widehat {ID_1}}$ ModifyingAbove upper I upper D 1 With caret . Our structural analysis can be carried out also in constructive and predicative variants of Eff ${\mathbf {Eff} }$ bold upper E f f developed within extensions of Aczel’s constructive Zermelo–Fraenkel set theory. This shows that the full subcategory of discrete objects of Hyland’s Effective Topos Eff ${\mathbf {Eff} }$ bold upper E f f already contains a fibred predicative topos validating the Formal Church Thesis, even when both are formalized in a constructive and predicative foundational theory.
Yazarların özeti; kaynağından alınmıştır. Journal of Symbolic Logic, 2026 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Yöneylem Araştırması ve Yönetim Bilimi
Management Science and Operations ResearchDecision Sciences