Pub Date : 2020-06-24DOI: 10.1007/978-3-030-51466-2_5
S. K. Jakobsen, J. Simonsen
{"title":"Liouville Numbers and the Computational Complexity of Changing Bases","authors":"S. K. Jakobsen, J. Simonsen","doi":"10.1007/978-3-030-51466-2_5","DOIUrl":"https://doi.org/10.1007/978-3-030-51466-2_5","url":null,"abstract":"","PeriodicalId":418583,"journal":{"name":"Beyond the Horizon of Computability","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129833036","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}
Pub Date : 2020-06-24DOI: 10.1007/978-3-030-51466-2_27
Maria Madonia
{"title":"Two-Dimensional Codes","authors":"Maria Madonia","doi":"10.1007/978-3-030-51466-2_27","DOIUrl":"https://doi.org/10.1007/978-3-030-51466-2_27","url":null,"abstract":"","PeriodicalId":418583,"journal":{"name":"Beyond the Horizon of Computability","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124179364","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}
Pub Date : 2020-06-24DOI: 10.1007/978-3-030-51466-2_9
R. Downey, A. Melnikov
{"title":"Computable Analysis and Classification Problems","authors":"R. Downey, A. Melnikov","doi":"10.1007/978-3-030-51466-2_9","DOIUrl":"https://doi.org/10.1007/978-3-030-51466-2_9","url":null,"abstract":"","PeriodicalId":418583,"journal":{"name":"Beyond the Horizon of Computability","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122994512","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}
Pub Date : 2020-06-24DOI: 10.1007/978-3-030-51466-2_21
P. Schuster, Daniel Misselbeck-Wessel
{"title":"The Computational Significance of Hausdorff’s Maximal Chain Principle","authors":"P. Schuster, Daniel Misselbeck-Wessel","doi":"10.1007/978-3-030-51466-2_21","DOIUrl":"https://doi.org/10.1007/978-3-030-51466-2_21","url":null,"abstract":"","PeriodicalId":418583,"journal":{"name":"Beyond the Horizon of Computability","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126622644","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}
Pub Date : 2020-06-24DOI: 10.1007/978-3-030-51466-2_10
Russell G. Miller
{"title":"Non-coding Enumeration Operators","authors":"Russell G. Miller","doi":"10.1007/978-3-030-51466-2_10","DOIUrl":"https://doi.org/10.1007/978-3-030-51466-2_10","url":null,"abstract":"","PeriodicalId":418583,"journal":{"name":"Beyond the Horizon of Computability","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133350622","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}
Pub Date : 2020-06-24DOI: 10.1007/978-3-030-51466-2_15
Z. Haniková
{"title":"On the Complexity of Validity Degrees in Łukasiewicz Logic","authors":"Z. Haniková","doi":"10.1007/978-3-030-51466-2_15","DOIUrl":"https://doi.org/10.1007/978-3-030-51466-2_15","url":null,"abstract":"","PeriodicalId":418583,"journal":{"name":"Beyond the Horizon of Computability","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114299194","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}
Pub Date : 2020-04-28DOI: 10.1007/978-3-030-51466-2_3
Matthew de Brecht
{"title":"Some Notes on Spaces of Ideals and Computable Topology","authors":"Matthew de Brecht","doi":"10.1007/978-3-030-51466-2_3","DOIUrl":"https://doi.org/10.1007/978-3-030-51466-2_3","url":null,"abstract":"","PeriodicalId":418583,"journal":{"name":"Beyond the Horizon of Computability","volume":"13 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114033709","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}
Pub Date : 2020-04-05DOI: 10.1007/978-3-030-51466-2_30
C. Noûs, Kévin Perrot, Sylvain Sen'e, Lucas Venturini
{"title":"#P-completeness of Counting Update Digraphs, Cacti, and Series-Parallel Decomposition Method","authors":"C. Noûs, Kévin Perrot, Sylvain Sen'e, Lucas Venturini","doi":"10.1007/978-3-030-51466-2_30","DOIUrl":"https://doi.org/10.1007/978-3-030-51466-2_30","url":null,"abstract":"","PeriodicalId":418583,"journal":{"name":"Beyond the Horizon of Computability","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126814731","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}
Pub Date : 2020-04-01DOI: 10.1007/978-3-030-51466-2_14
David Fern'andez-Duque, A. Weiermann
{"title":"Ackermannian Goodstein Sequences of Intermediate Growth","authors":"David Fern'andez-Duque, A. Weiermann","doi":"10.1007/978-3-030-51466-2_14","DOIUrl":"https://doi.org/10.1007/978-3-030-51466-2_14","url":null,"abstract":"","PeriodicalId":418583,"journal":{"name":"Beyond the Horizon of Computability","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127660579","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}
Pub Date : 2020-02-10DOI: 10.1007/978-3-030-51466-2_18
Donghyun Lim, M. Ziegler
{"title":"Quantitative Coding and Complexity Theory of Compact Metric Spaces","authors":"Donghyun Lim, M. Ziegler","doi":"10.1007/978-3-030-51466-2_18","DOIUrl":"https://doi.org/10.1007/978-3-030-51466-2_18","url":null,"abstract":"","PeriodicalId":418583,"journal":{"name":"Beyond the Horizon of Computability","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125281090","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}