Set Theory: Constructive and Intuitionistic ZF (Stanford Encyclopedia of Philosophy)
Note that in IZF the schema of separation is unrestricted. In CZF, Collection is strengthened to compensate for restricted separation. Subset collection is a strengthening of Myhill’s exponentiation axiom, thus substituting for ZF’s Powerset. 4. Constructive Choice Principles When discussing the role of classical set theory as a foundation for mathematics, one usually considers the theory ZFC, tha
Υπηρεσίες users.auth.gr και myfiles.auth.gr υπό κατάργηση – Κέντρο Ηλεκτρονικής Διακυβέρνησης ΑΠΘ
Οι παρακάτω δύο παλαιές υπηρεσίες του ΚΗΔ από την 1η Μαϊου 2024 θα απενεργοποιηθούν για όλους τους χρήστες του ΑΠΘ. Αν έχετε αρχεία σε αυτές, παρακαλούμε να τα μεταφέρετε εγκαίρως προς τις ασφαλείς υπηρεσίες που το ΚΗΔ προσφέρει προς αντικατάσταση ή να τα παραλάβετε σε δικό σας αποθηκευτικό χώρο. https://users.auth.gr/ (προσωπικές στατικές ιστοσελίδες, αποσύρεται) https://myfiles.auth.gr/ (προσωπ
A Cheerful Introduction to Forcing and the Continuum Hypothesis
This is an introduction to the set-theoretic method of forcing, including its application in proving the independence of the Continuum Hypothesis from the Zermelo-Fraenkel axioms of set theory. I presuppose no particular mathematical background beyond some familiarity with set theory and mathematical logic - in particular, no algebra is presupposed, though it can be useful. The goal is to have a d
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
2007-05-24 - とりマセ
Handbook of Set Theory
PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS - IOPscience
超集合論—circularityの論理の現在— (ワークショップ資料) 向井国昭 慶應義塾大学湘南藤沢 2002/11/10 1 はじめに 1.1 悪循環原理 ラッセルはホワイトヘッドとの共著プリンキピアマテマティカ��%26_cdi%3D5614%26_sort%3Dd%26_docanchor%3D%26_)
The strength of extensionality I — weak weak set theories with infinity - ScienceDirect
基礎の公理の成り立たない集合論について%26_cdi%3D7267%26_sort%3Dd%26_docanchor%3D%26_ct)
Recursive models for constructive set theories - ScienceDirect
Preprints
Modality, Morality and Belief
A proof of the independence of the continuum hypothesis - Theory of Computing Systems
Foundations for abstract forcing
A beginner's guide to forcing