corpus.blog
41,554 blogs · 5,197,919 posts Claim your blog
Record · corpus.blog/posts/01a0df74-7669-70f3-a695-b904d77387b0

Believing in (in-)consistency

theHigherGeometer · published 20 June 2019

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.

Read the post at thehighergeometer.wordpress.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
17
Words captured
877

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Presburger_arithmetic
en.wikipedia.org
https://en.wikipedia.org/wiki/Robinson_arithmetic
en.wikipedia.org
https://ncatlab.org/nlab/show/well-founded+relation
ncatlab.org
https://en.wikipedia.org/wiki/Ordinal_analysis
en.wikipedia.org
https://en.wikipedia.org/wiki/Epsilon_numbers_(mathematics
en.wikipedia.org
http://r6.ca/blog/20091101T231201Z.html
r6.ca
http://en.wikipedia.org/wiki/Peano_axioms
en.wikipedia.org
http://en.wikipedia.org/wiki/%CE%95%E2%82%80
en.wikipedia.org
http://math.andrej.com/2008/02/02/the-hydra-game/
math.andrej.com
http://en.wikipedia.org/wiki/Primitive_recursive_arithmetic
en.wikipedia.org
https://mathoverflow.net/q/334311/4177
mathoverflow.net
https://mathoverflow.net/users/12705/emil-je%c5%99%c3%a1bek
mathoverflow.net
https://en.wikipedia.org/wiki/Well-order
en.wikipedia.org
https://en.wikipedia.org/wiki/Peano_axioms
en.wikipedia.org
https://en.wikipedia.org/wiki/Shortlex_order
en.wikipedia.org
https://math.stackexchange.com/questions/1976297/proof-theoretic-ordinal-for-robinsons-arithmetic
math.stackexchange.com
http://timothychow.net/consistent.pdf
timothychow.net