Cargando…
Logics and admissible rules of constructive set theories
We survey the logical structure of constructive set theories and point towards directions for future research. Moreover, we analyse the consequences of being extensible for the logical structure of a given constructive set theory. We finally provide examples of a number of set theories that are exte...
| Autores principales: | , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
The Royal Society
2023
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10083100/ https://www.ncbi.nlm.nih.gov/pubmed/37031696 http://dx.doi.org/10.1098/rsta.2022.0018 |