Explore >> Select a destination
|
You are here 
|
inquiryintoinquiry.com | ||
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a talk for the Notre Dame Logic Seminar on 6 February 2024, 2:00 pm. Abstract. The principle of covering reflection holds of a cardinal $\kappa$ if for every structure $B$ in a countab... | |
| | | | |
xorshammer.com
|
|
| | | | | We think of a proof as being non-constructive if it proves "There exists an $latex x$ such that $latex P(x)$ without ever actually exhibiting such an $latex x$. If you want to form a system of mathematics where all proofs are constructive, one thing you can do is remove the principle of proof by contradiction:... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a talk at the UW Madison Logic Seminar on 22 October 2024. Abstract. The principle of covering reflection holds of a cardinal ? if for every structure B in a countable first-order lang... | |
| | | | |
dsyme.home.blog
|
|
| | | This is an archive of https://blogs.msdn.com/dsyme, my old blog | ||
