Publication Information

{'id': 'https://openalex.org/W3161432936', 'doi': 'https://doi.org/10.11588/heidok.00029304', 'title': '[Pi 0 1] Classes Boundedness and Degrees', 'display_name': '[Pi 0 1] Classes Boundedness and Degrees', 'publication_year': 2021, 'publication_date': '2021-01-01', 'ids': {'openalex': 'https://openalex.org/W3161432936', 'doi': 'https://doi.org/10.11588/heidok.00029304', 'mag': '3161432936'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'http://archiv.ub.uni-heidelberg.de/volltextserver/29304/', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'dissertation', 'type_crossref': 'dissertation', 'indexed_in': [], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5087033302', 'display_name': 'Lutz Büch', 'orcid': None}, 'institutions': [], 'countries': [], 'is_corresponding': True, 'raw_author_name': 'Lutz Büch', 'raw_affiliation_strings': [], 'affiliations': []}], 'institution_assertions': [], 'countries_distinct_count': 0, 'institutions_distinct_count': 0, 'corresponding_author_ids': ['https://openalex.org/A5087033302'], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': None, 'has_fulltext': False, 'cited_by_count': 0, 'citation_normalized_percentile': {'value': 0.0, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 0, 'max': 57}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T12002', 'display_name': 'Computability, Logic, AI Algorithms', 'score': 0.9985, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, 'topics': [{'id': 'https://openalex.org/T12002', 'display_name': 'Computability, Logic, AI Algorithms', 'score': 0.9985, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T11151', 'display_name': 'Advanced Topology and Set Theory', 'score': 0.9622, 'subfield': {'id': 'https://openalex.org/subfields/2608', 'display_name': 'Geometry and Topology'}, 'field': {'id': 'https://openalex.org/fields/26', 'display_name': 'Mathematics'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T11010', 'display_name': 'Logic, Reasoning, and Knowledge', 'score': 0.9465, 'subfield': {'id': 'https://openalex.org/subfields/1702', 'display_name': 'Artificial Intelligence'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}], 'keywords': [], 'concepts': [{'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.7453332}, {'id': 'https://openalex.org/C34388435', 'wikidata': 'https://www.wikidata.org/wiki/Q2267362', 'display_name': 'Bounded function', 'level': 2, 'score': 0.7196069}, {'id': 'https://openalex.org/C2777212361', 'wikidata': 'https://www.wikidata.org/wiki/Q5127848', 'display_name': 'Class (philosophy)', 'level': 2, 'score': 0.62991065}, {'id': 'https://openalex.org/C118615104', 'wikidata': 'https://www.wikidata.org/wiki/Q121416', 'display_name': 'Discrete mathematics', 'level': 1, 'score': 0.48765314}, {'id': 'https://openalex.org/C2779343474', 'wikidata': 'https://www.wikidata.org/wiki/Q3109175', 'display_name': 'Context (archaeology)', 'level': 2, 'score': 0.47089082}, {'id': 'https://openalex.org/C182306322', 'wikidata': 'https://www.wikidata.org/wiki/Q1779371', 'display_name': 'Order (exchange)', 'level': 2, 'score': 0.47061235}, {'id': 'https://openalex.org/C114614502', 'wikidata': 'https://www.wikidata.org/wiki/Q76592', 'display_name': 'Combinatorics', 'level': 1, 'score': 0.3572784}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.14695248}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.06583542}, {'id': 'https://openalex.org/C134306372', 'wikidata': 'https://www.wikidata.org/wiki/Q7754', 'display_name': 'Mathematical analysis', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C151730666', 'wikidata': 'https://www.wikidata.org/wiki/Q7205', 'display_name': 'Paleontology', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C10138342', 'wikidata': 'https://www.wikidata.org/wiki/Q43015', 'display_name': 'Finance', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C162324750', 'wikidata': 'https://www.wikidata.org/wiki/Q8134', 'display_name': 'Economics', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C86803240', 'wikidata': 'https://www.wikidata.org/wiki/Q420', 'display_name': 'Biology', 'level': 0, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'http://archiv.ub.uni-heidelberg.de/volltextserver/29304/', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 0, 'referenced_works': [], 'related_works': ['https://openalex.org/W751931343', 'https://openalex.org/W3106086156', 'https://openalex.org/W2767252625', 'https://openalex.org/W2519197805', 'https://openalex.org/W2406385309', 'https://openalex.org/W2226604542', 'https://openalex.org/W2139142242', 'https://openalex.org/W2126650377', 'https://openalex.org/W2118526818', 'https://openalex.org/W2117110248', 'https://openalex.org/W2099129599', 'https://openalex.org/W2084960870', 'https://openalex.org/W2067940271', 'https://openalex.org/W2058220498', 'https://openalex.org/W2050888701', 'https://openalex.org/W2031203614', 'https://openalex.org/W2029181882', 'https://openalex.org/W1989573501', 'https://openalex.org/W1553230187', 'https://openalex.org/W1542543925'], 'abstract_inverted_index': {'In': [0, 236], 'this': [1, 150, 379, 394, 512], 'thesis': [2, 395], 'we': [3, 69, 114, 135, 152, 190, 200, 224, 241, 274, 307], 'consider': [4, 118], 'Π': [5, 24, 62, 80, 119, 139, 166, 177, 210, 250, 277, 345, 362, 471], '0': [6, 25, 63, 81, 120, 140, 167, 178, 211, 251, 278, 346, 363, 472], '1': [7, 26, 64, 82, 121, 141, 168, 179, 212, 252, 279, 347, 364, 473], 'class,': [8], 'which': [9, 84, 281], 'can': [10, 218, 374, 453], 'roughly': [11], 'be': [12, 376], 'defined': [13], 'as': [14, 49], 'the': [15, 38, 59, 71, 77, 90, 193, 196, 206, 221, 271, 301, 309, 321, 332, 397, 403, 406, 429, 438, 467, 499, 508, 540], 'sets': [16], 'of': [17, 37, 40, 43, 61, 67, 73, 79, 89, 130, 156, 164, 185, 195, 204, 208, 214, 229, 254, 261, 264, 296, 323, 334, 337, 358, 368, 393, 399, 405, 433, 458, 462, 466, 470, 482, 485, 501, 507, 521, 550], 'infinite': [18, 548], 'paths': [19], 'through': [20], 'computable': [21], 'trees.': [22], 'Historically,': [23], 'classes': [27, 122, 142, 163, 469], 'have': [28, 415], 'first': [29], 'been': [30, 416], 'considered': [31, 110, 468], 'by': [32, 282, 378], 'Shoenfield': [33], 'in': [34, 76, 123, 128, 146, 233, 289, 317, 536], 'an': [35, 517, 547], 'investigation': [36], 'complexity': [39, 232], 'complete': [41, 335], 'extensions': [42, 336], 'computably': [44, 175, 343, 360], 'axiomatizable': [45], 'first-order': [46], 'theories,': [47, 313], 'such': [48, 353], 'Peano': [50, 315, 338], 'arithmetic.': [51], 'We': [52, 94, 381], 'aim': [53], 'for': [54, 304, 402, 464, 493], 'a': [55, 86, 99, 182, 209, 215, 255, 259, 262, 294, 341, 459], 'comprehensive': [56], 'access': [57], 'to': [58, 138, 192, 226, 238, 292, 300, 311, 414], 'notion': [60, 72], 'classes.': [65, 474], 'First': [66], 'all': [68, 109, 129], 'motivate': [70], 'tree': [74], 'used': [75], 'context': [78], 'classes,': [83, 169, 180, 280], 'is': [85, 104, 330, 396, 425, 491, 528, 533, 546], 'special': [87, 100], 'case': [88], 'common': [91], 'graph-theoretic': [92], 'notion.': [93], 'find,': [95], 'that': [96, 143, 245, 248, 285, 331, 351, 445, 451, 478, 526, 532, 544], 'while': [97], 'formally': [98], 'case,': [101], 'its': [102], 'definition': [103], 'reasonable,': [105], 'since': [106], 'it': [107, 449, 515, 538], 'captures': [108], 'structural': [111], 'phenomena.': [112], 'Also,': [113], 'do': [115, 239], 'not': [116, 413], 'only': [117], '2': [124], 'ω': [125, 131, 132], ',': [126, 267], 'but': [127, 437], '.': [133], 'However,': [134], 'restrict': [136], 'ourselves': [137], 'are': [144, 480], 'bounded': [145, 165, 173, 176, 344, 361], 'some': [147, 234, 276, 297, 356], 'sense.': [148, 235], 'For': [149, 447], 'purpose,': [151], 'investigate': [153, 201], 'different': [154], 'notions': [155], 'boundedness': [157], 'before': [158], 'identifying': [159], 'two': [160], 'somewhat': [161], 'universal': [162, 342], 'then': [170, 476], 'simply': [171], 'called': [172, 268, 371], 'and': [174, 181, 314, 385, 435, 523], 'nice': [183], 'way': [184], 'representing': [186], 'them.': [187], 'After': [188], 'that,': [189], 'turn': [191], 'core': [194], 'thesis.': [197], 'That': [198, 349], 'is,': [199], 'what': [202], 'spectra': [203], 'degrees': [205, 367, 484, 552], 'members': [207, 228], 'class': [213, 253, 256, 263, 333], 'given': [216], 'kind': [217], 'bear.': [219], 'On': [220, 270], 'one': [222, 452], 'hand,': [223, 273], 'try': [225], 'find': [227], 'particularly': [230], 'low': [231, 483], 'order': [237], 'this,': [240], 'establish': [242], 'basis': [243], 'theorems': [244], 'tell': [246], 'us,': [247], 'any': [249, 286, 455, 465], 'C': [257], 'has': [258, 291, 440], 'member': [260, 295, 357], 'functions': [265], 'B': [266], 'basis.': [269], 'other': [272, 383], 'showcase': [275], 'example': [283], 'show': [284], 'according': [287], 'basis,': [288], 'return,': [290], 'contain': [293], 'property.': [298, 380], 'Returning': [299], 'initial': [302], 'motivation': [303], 'our': [305], 'consideration,': [306], 'apply': [308], 'results': [310, 386], 'logical': [312], 'arithmetic': [316, 339], 'particular,': [318], 'thereby': [319], 'nourishing': [320], 'findings': [322], 'Godel’s': [324], 'Incompleteness': [325], 'Theorem.': [326, 409], 'An': [327], 'important': [328], 'result': [329, 525, 543], 'form': [340], 'class.': [348, 365], 'means': [350], 'every': [352, 359, 554], 'extension': [354], 'computes': [355], 'The': [366, 419, 489], 'theses': [369], 'extensions,': [370], 'PA': [372, 388, 509, 551, 555], 'degrees,': [373], 'even': [375], 'characterized': [377], 'assemble': [382], 'characterizations': [384], 'on': [387], 'degrees.': [389, 495, 510], 'A': [390], 'notable': [391], 'feature': [392], 'generalization': [398, 411, 439, 500], 'Shoenfield’s': [400, 502], 'construction': [401, 503], 'improvement': [404], 'Kreisel': [407], 'Basis': [408, 423, 431], 'This': [410, 475], 'seems': [412], 'done': [417], 'yet.': [418], 'originally': [420], 'resulting': [421], 'Kreisel-Shoenfield': [422], 'Theorem': [424, 432], 'properly': [426], 'weaker': [427], 'than': [428, 443], 'Low': [430], 'Jockusch': [434], 'Soare,': [436], 'more': [441], 'ramifications': [442], 'just': [444], 'theorem.': [446], 'one,': [448], 'implies': [450, 539], 'delete': [454], 'maximal': [456], 'elements': [457], 'wide': [460], 'range': [461], 'bases': [463], 'shows': [477], 'there': [479, 527, 545], 'chains': [481], 'arbitrary': [486], 'finite': [487], 'length.': [488], 'same': [490], 'implied': [492], 'hyperimmune-free': [494], 'As': [496], 'another': [497], 'application,': [498], 'sharpens': [504], 'Solovay’s': [505], 'characterization': [506], 'By': [511], 'tightened': [513], 'characterization,': [514], 'provides': [516], 'immediate': [518], 'alternative': [519], 'proof': [520], 'Scott': [522], 'Tennenbaum’s': [524], 'no': [529], 'minimal': [530], 'degree': [531], 'PA.': [534], 'And': [535], 'fact,': [537], 'apparently': [541], 'novel': [542], 'chain': [549], 'below': [553], 'degree.': [556]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W3161432936', 'counts_by_year': [], 'updated_date': '2024-12-14T13:17:28.227981', 'created_date': '2021-05-24'}