Record · corpus.blog/posts/01a11641-4e2b-72c7-9fdb-1cbb46b3a5db
A topological model for provability logic
John D. Cook · published 6 October 2026
A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.
1blog citing
- First cited
- 7 Oct 2026
- Most recent
- 7 Oct 2026
- Rank this month
- not ranked
- External links
- 0
- Words captured
- 301
Cited by 1 blog in 1 post
One row per blog, the most recently citing first. Each shows the blog's newest citing post; open a row for the others.
Blog
Newest citing post
Date
Similar posts
Consider the form of that statement:
raginrayguns.tumblr.com
11 Sept 2026
A Crash Course in Predicate Logic
Hillel Wayne
1 Sept 2026
Continuous Functions
marcocetica.com
1 Oct 2026
Links from this post
This post only links within johndcook.com.