Fitxers

847284.pdf (411.33 KB)

Tipus de document

Article

Versió

Versió publicada

Data de publicació

2023-03

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

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

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

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$.

Matèries

Nombres cardinals, Categories (Matemàtica), Teoria de conjunts

Matèries (anglès)

Cardinal numbers, Categories (Mathematics), Set theory

Citació

Col·leccions

Articles publicats en revistes (Matemàtiques i Informàtica)

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: 30 of June of 2026]. Available at: https://hdl.handle.net/2445/217385

Exportar metadades

JSON - METS

Compartir registre