Non-Tightness in Class Theory and Second-Order Arithmetic

FREIRE, A. R., & WILLIAMS, K. J. (2025). Non-Tightness in Class Theory and Second-Order Arithmetic. Journal of Symbolic Logic, 90(2), 627-654.

Type

Journal article

Intellectual base

Primary research

Year

2025

DOI

10.1017/jsl.2023.38

Link

https://doi.org/10.1017/jsl.2023.38

Cited by

1 citation across 1 artifact.

Domain-specific

• Closed Preordered Set
  • Freire and Williams use `<Ord`-closed class forcing to construct generic extensions that add classes without adding sets; the role structure is identical, but the permitted sequence lengths are all set ordinals rather than those below one cardinal.

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.

Links previously used in the corpus

Before the registry existed this work was also linked 1 other way.

• https://arxiv.org/abs/2212.04445 ×1

Registry ID ref:b08d4c5c854d · see in the full table