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

Descripción completa

Detalles Bibliográficos
Autores principales: Iemhoff, Rosalie, Passmann, Robert
Formato: Online Artículo Texto
Lenguaje:English
Publicado: The Royal Society 2023
Materias:
Articles
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
_version_ 1785021435511570432
author Iemhoff, Rosalie
Passmann, Robert
author_facet Iemhoff, Rosalie
Passmann, Robert
author_sort Iemhoff, Rosalie
collection PubMed
description 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 extensible. This article is part of the theme issue ‘Modern perspectives in Proof Theory’.
format Online
Article
Text
id pubmed-10083100
institution National Center for Biotechnology Information
language English
publishDate 2023
publisher The Royal Society
record_format MEDLINE/PubMed
spelling pubmed-100831002023-04-10 Logics and admissible rules of constructive set theories Iemhoff, Rosalie Passmann, Robert Philos Trans A Math Phys Eng Sci Articles 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 extensible. This article is part of the theme issue ‘Modern perspectives in Proof Theory’. The Royal Society 2023-05-29 2023-04-10 /pmc/articles/PMC10083100/ /pubmed/37031696 http://dx.doi.org/10.1098/rsta.2022.0018 Text en © 2023 The Authors. https://creativecommons.org/licenses/by/4.0/Published by the Royal Society under the terms of the Creative Commons Attribution License http://creativecommons.org/licenses/by/4.0/ (https://creativecommons.org/licenses/by/4.0/) , which permits unrestricted use, provided the original author and source are credited.
spellingShingle Articles
Iemhoff, Rosalie
Passmann, Robert
Logics and admissible rules of constructive set theories
title Logics and admissible rules of constructive set theories
title_full Logics and admissible rules of constructive set theories
title_fullStr Logics and admissible rules of constructive set theories
title_full_unstemmed Logics and admissible rules of constructive set theories
title_short Logics and admissible rules of constructive set theories
title_sort logics and admissible rules of constructive set theories
topic Articles
url 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
work_keys_str_mv AT iemhoffrosalie logicsandadmissiblerulesofconstructivesettheories
AT passmannrobert logicsandadmissiblerulesofconstructivesettheories

Ejemplares similares