Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Tipus de document

Article

Versió

Versió publicada

Data de publicació

Tots els drets reservats

Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/217385

The Weak Vopênka Principle for definable classes of structures

Títol de la revista

Director/Tutor

ISSN de la revista

Títol del volum

Resum

We give a level-by-level analysis of the Weak Vopěnka Principle for definable classes of relational structures ( WVP ), in accordance with the complexity of their definition, and we determine the large-cardinal strength of each level. Thus, in particular, we show that WVP for $\Sigma_2$-definable classes is equivalent to the existence of a strong cardinal. The main theorem (Theorem 5.11) shows, more generally, that WVP for $\Sigma_n$-definable classes is equivalent to the existence of a $\Sigma_n$-strong cardinal (Definition 5.1). Hence, WVP is equivalent to the existence of a $\Sigma_n$-strong cardinal for all $n<\omega$.

Citació

Citació

BAGARIA, Joan and WILSON, Trevor M. The Weak Vopênka Principle for definable classes of structures. Journal of Symbolic Logic. 2023. Vol. 88, num. 1. ISSN 0022-4812. [consulted: 15 of August of 2026]. Available at: https://hdl.handle.net/2445/217385

Exportar metadades

JSON - METS

Compartir registre