Inner-Model Reflection Principles

Neil Barton, A. E. C., Fuchs, G., Hamkins, J. D., Reitz, J., & Schindler, R. (2020). Inner-Model Reflection Principles.

Type

Unclassified

Intellectual base

Unclassified

Year

2020

DOI

10.1007/s11225-019-09860-7

Link

https://doi.org/10.1007/s11225-019-09860-7

Cited by

1 citation across 1 artifact.

Domain-specific

• Reflection principle
  • … transfers from For any finite list of formulas, ZF proves there is an ordinal alpha such that those formulas are absolute between V_alpha and V for parameters in V_alpha. to A foundational proof distinguishes theorem-level reflection schemes from stronger principles equivalent to large-cardinal assumptions..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:d300af894a9c · see in the full table