Extending the extensional level of the Minimalist Foundation to axiomatic set theories

We introduce extensions by rules of the extensional level of the Minimalist Foundation which turn out to be equivalent to constructive and classical axiomatic set theories.

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Maschio, Samuele, Sabelli, Pietro
Format:	Artikel
Sprache:	eng
Schlagworte:	Mathematics - Logic
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page
container_issue
container_start_page
container_title
container_volume
creator	Maschio, Samuele Sabelli, Pietro
description	We introduce extensions by rules of the extensional level of the Minimalist Foundation which turn out to be equivalent to constructive and classical axiomatic set theories.
doi_str_mv	10.48550/arxiv.2102.12888
format	Article
fullrecord	<record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_2102_12888</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2102_12888</sourcerecordid><originalsourceid>FETCH-LOGICAL-a678-950eb70c443c809d5e238df503703a3264d97a1bf3f99cd2366317f010f70a93</originalsourceid><addsrcrecordid>eNotj8FOxCAYhLl4MKsP4EleoPUHSoGj2eyqyRoPGq_NvwWUhAXT4qa-vW31NJnMZDIfITcM6kZLCXc4TOFccwa8ZlxrfUned1NxyYb0Qcuno25xY8gJI43u7CLNfg2eQwonjGEsdJ-_k8Uyl2jJFKeQT7Pr6ejKUs1DcOMVufAYR3f9rxvyut-9bR-rw8vD0_b-UGGrdGUkuKOCvmlEr8FY6bjQ1ksQCgQK3jbWKGRHL7wxveWibQVTHhh4BWjEhtz-ra5c3dcwXxx-uoWvW_nEL1DbS1s</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Extending the extensional level of the Minimalist Foundation to axiomatic set theories</title><source>arXiv.org</source><creator>Maschio, Samuele ; Sabelli, Pietro</creator><creatorcontrib>Maschio, Samuele ; Sabelli, Pietro</creatorcontrib><description>We introduce extensions by rules of the extensional level of the Minimalist Foundation which turn out to be equivalent to constructive and classical axiomatic set theories.</description><identifier>DOI: 10.48550/arxiv.2102.12888</identifier><language>eng</language><subject>Mathematics - Logic</subject><creationdate>2021-02</creationdate><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,776,881</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/2102.12888$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.2102.12888$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Maschio, Samuele</creatorcontrib><creatorcontrib>Sabelli, Pietro</creatorcontrib><title>Extending the extensional level of the Minimalist Foundation to axiomatic set theories</title><description>We introduce extensions by rules of the extensional level of the Minimalist Foundation which turn out to be equivalent to constructive and classical axiomatic set theories.</description><subject>Mathematics - Logic</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2021</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNotj8FOxCAYhLl4MKsP4EleoPUHSoGj2eyqyRoPGq_NvwWUhAXT4qa-vW31NJnMZDIfITcM6kZLCXc4TOFccwa8ZlxrfUned1NxyYb0Qcuno25xY8gJI43u7CLNfg2eQwonjGEsdJ-_k8Uyl2jJFKeQT7Pr6ejKUs1DcOMVufAYR3f9rxvyut-9bR-rw8vD0_b-UGGrdGUkuKOCvmlEr8FY6bjQ1ksQCgQK3jbWKGRHL7wxveWibQVTHhh4BWjEhtz-ra5c3dcwXxx-uoWvW_nEL1DbS1s</recordid><startdate>20210225</startdate><enddate>20210225</enddate><creator>Maschio, Samuele</creator><creator>Sabelli, Pietro</creator><scope>AKZ</scope><scope>GOX</scope></search><sort><creationdate>20210225</creationdate><title>Extending the extensional level of the Minimalist Foundation to axiomatic set theories</title><author>Maschio, Samuele ; Sabelli, Pietro</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a678-950eb70c443c809d5e238df503703a3264d97a1bf3f99cd2366317f010f70a93</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2021</creationdate><topic>Mathematics - Logic</topic><toplevel>online_resources</toplevel><creatorcontrib>Maschio, Samuele</creatorcontrib><creatorcontrib>Sabelli, Pietro</creatorcontrib><collection>arXiv Mathematics</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Maschio, Samuele</au><au>Sabelli, Pietro</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Extending the extensional level of the Minimalist Foundation to axiomatic set theories</atitle><date>2021-02-25</date><risdate>2021</risdate><abstract>We introduce extensions by rules of the extensional level of the Minimalist Foundation which turn out to be equivalent to constructive and classical axiomatic set theories.</abstract><doi>10.48550/arxiv.2102.12888</doi><oa>free_for_read</oa></addata></record>
fulltext	fulltext_linktorsrc
identifier	DOI: 10.48550/arxiv.2102.12888
ispartof
issn
language	eng
recordid	cdi_arxiv_primary_2102_12888
source	arXiv.org
subjects	Mathematics - Logic
title	Extending the extensional level of the Minimalist Foundation to axiomatic set theories
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-09T08%3A05%3A48IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Extending%20the%20extensional%20level%20of%20the%20Minimalist%20Foundation%20to%20axiomatic%20set%20theories&rft.au=Maschio,%20Samuele&rft.date=2021-02-25&rft_id=info:doi/10.48550/arxiv.2102.12888&rft_dat=%3Carxiv_GOX%3E2102_12888%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true