Arithmetic absoluteness for a rank-initial model
ID: arithmetic-absoluteness-for-a-rank-initial-model
If , it has the standard natural numbers and standard finite proofs. Every arithmetical sentence, including a formal consistency statement, therefore has the same truth value in and the universe.
New to topics? Read the docs here!