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!