{"title":"On the Constructive and Computational Content of Abstract Mathematics","authors":"Ulrich Berger","doi":"10.1007/978-3-030-20447-1_6","DOIUrl":"https://doi.org/10.1007/978-3-030-20447-1_6","url":null,"abstract":"","PeriodicalId":203000,"journal":{"name":"Mathesis Universalis, Computability and Proof","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116620410","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Diplomacy of Trust in the European Crisis: Contributions by the Alexander von Humboldt Foundation","authors":"E. Aufderheide","doi":"10.1007/978-3-030-20447-1_2","DOIUrl":"https://doi.org/10.1007/978-3-030-20447-1_2","url":null,"abstract":"","PeriodicalId":203000,"journal":{"name":"Mathesis Universalis, Computability and Proof","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128566850","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Mathesis Universalis and Homotopy Type Theory","authors":"S. Awodey","doi":"10.1007/978-3-030-20447-1_3","DOIUrl":"https://doi.org/10.1007/978-3-030-20447-1_3","url":null,"abstract":"","PeriodicalId":203000,"journal":{"name":"Mathesis Universalis, Computability and Proof","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122451017","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Addressing Circular Definitions via Systems of Proofs","authors":"Riccardo Bruni","doi":"10.1007/978-3-030-20447-1_7","DOIUrl":"https://doi.org/10.1007/978-3-030-20447-1_7","url":null,"abstract":"","PeriodicalId":203000,"journal":{"name":"Mathesis Universalis, Computability and Proof","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130418837","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective","authors":"Godehard Link","doi":"10.1007/978-3-030-20447-1_11","DOIUrl":"https://doi.org/10.1007/978-3-030-20447-1_11","url":null,"abstract":"","PeriodicalId":203000,"journal":{"name":"Mathesis Universalis, Computability and Proof","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128478237","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Point-Free Spectra of Linear Spreads","authors":"D. Wessel","doi":"10.1007/978-3-030-20447-1_19","DOIUrl":"https://doi.org/10.1007/978-3-030-20447-1_19","url":null,"abstract":"","PeriodicalId":203000,"journal":{"name":"Mathesis Universalis, Computability and Proof","volume":"446 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116024068","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Constructive Proofs of Negated Statements","authors":"J. Berger, Gregor Svindland","doi":"10.1007/978-3-030-20447-1_5","DOIUrl":"https://doi.org/10.1007/978-3-030-20447-1_5","url":null,"abstract":"","PeriodicalId":203000,"journal":{"name":"Mathesis Universalis, Computability and Proof","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115399845","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}