{"id":"https://openalex.org/W4393304313","doi":"https://doi.org/10.31274/td-20240329-160","title":"Computable structure theory of continuous logic","display_name":"Computable structure theory of continuous logic","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4393304313","doi":"https://doi.org/10.31274/td-20240329-160"},"language":"en","primary_location":{"id":"doi:10.31274/td-20240329-160","is_oa":true,"landing_page_url":"http://dx.doi.org/10.31274/td-20240329-160","pdf_url":"https://dr.lib.iastate.edu/bitstreams/41bbdbef-2e4c-4cf5-8957-1b3e6f5950d6/download","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Iowa State University","raw_type":"dissertation"},"type":"dissertation","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dr.lib.iastate.edu/bitstreams/41bbdbef-2e4c-4cf5-8957-1b3e6f5950d6/download","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5094275712","display_name":"Caleb Matthew Camrud","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Caleb Matthew Camrud","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5094275712"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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.9998999834060669,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9829000234603882,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9786999821662903,"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":[{"id":"https://openalex.org/keywords/finitary","display_name":"Finitary","score":0.8497761487960815},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6856956481933594},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.49139395356178284},{"id":"https://openalex.org/keywords/computable-function","display_name":"Computable function","score":0.48335832357406616},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.4789167642593384},{"id":"https://openalex.org/keywords/computable-analysis","display_name":"Computable analysis","score":0.4433528184890747},{"id":"https://openalex.org/keywords/computable-number","display_name":"Computable number","score":0.43445685505867004},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.42840200662612915},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.36153337359428406}],"concepts":[{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.8497761487960815},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6856956481933594},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49139395356178284},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.48335832357406616},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.4789167642593384},{"id":"https://openalex.org/C27318111","wikidata":"https://www.wikidata.org/wiki/Q5157264","display_name":"Computable analysis","level":3,"score":0.4433528184890747},{"id":"https://openalex.org/C156382255","wikidata":"https://www.wikidata.org/wiki/Q818895","display_name":"Computable number","level":4,"score":0.43445685505867004},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42840200662612915},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.36153337359428406},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.31274/td-20240329-160","is_oa":true,"landing_page_url":"http://dx.doi.org/10.31274/td-20240329-160","pdf_url":"https://dr.lib.iastate.edu/bitstreams/41bbdbef-2e4c-4cf5-8957-1b3e6f5950d6/download","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Iowa State University","raw_type":"dissertation"}],"best_oa_location":{"id":"doi:10.31274/td-20240329-160","is_oa":true,"landing_page_url":"http://dx.doi.org/10.31274/td-20240329-160","pdf_url":"https://dr.lib.iastate.edu/bitstreams/41bbdbef-2e4c-4cf5-8957-1b3e6f5950d6/download","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Iowa State University","raw_type":"dissertation"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4393304313.pdf","grobid_xml":"https://content.openalex.org/works/W4393304313.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W125135646","https://openalex.org/W1522669644","https://openalex.org/W1976089169","https://openalex.org/W1982821787","https://openalex.org/W1998220929","https://openalex.org/W2039687554","https://openalex.org/W2045356657","https://openalex.org/W2060951741","https://openalex.org/W2068855023","https://openalex.org/W2070221296","https://openalex.org/W2130092000","https://openalex.org/W2323777246","https://openalex.org/W2623067578","https://openalex.org/W2982177602","https://openalex.org/W3088572834","https://openalex.org/W3096199475","https://openalex.org/W3096756779","https://openalex.org/W3099595641","https://openalex.org/W3101258384","https://openalex.org/W3118714052","https://openalex.org/W3160252493","https://openalex.org/W4232277851","https://openalex.org/W4254202520","https://openalex.org/W4287122607","https://openalex.org/W4287759582","https://openalex.org/W4296119740","https://openalex.org/W4297662268","https://openalex.org/W6609712112"],"related_works":["https://openalex.org/W197714092","https://openalex.org/W2150482238","https://openalex.org/W153068418","https://openalex.org/W2527631632","https://openalex.org/W1577501449","https://openalex.org/W1994403863","https://openalex.org/W2108904240","https://openalex.org/W1987175852","https://openalex.org/W1498085647","https://openalex.org/W2080359559"],"abstract_inverted_index":{"This":[0],"dissertation":[1],"examines":[2],"computable":[3,36,58,71,111],"structure":[4,37],"theory":[5,38],"relative":[6],"to":[7,11,28,39],"continuous":[8,13,41,55,115],"logic.":[9],"Due":[10],"the":[12,16,40,61,81,84,89,110,129],"nature":[14],"of":[15,21,63,83,88,94,109,114,131],"relevant":[17],"structures":[18],"and":[19,30,57,74,77,91,121],"space":[20],"truth":[22],"values,":[23],"special":[24],"care":[25],"is":[26],"required":[27],"translate":[29],"modify":[31],"results":[32,45],"given":[33,101],"in":[34],"classical":[35],"setting.":[42],"Three":[43],"primary":[44],"are":[46,102],"proven:":[47],"(1)":[48],"a":[49,95,122,132,135],"generalized":[50],"effective":[51],"completeness":[52],"theorem":[53],"for":[54,65,128],"logic":[56],"presentations,":[59],"(2)":[60],"existence":[62],"numerals":[64],"hyperarithmetical":[66],"real":[67],"numbers":[68],"coded":[69],"by":[70],"infinitary":[72,92,112,119],"sentences,":[73],"(3)":[75],"upper":[76],"lower":[78],"bounds":[79],"on":[80],"complexity":[82],"various":[85],"diagram":[86],"levels":[87],"finitary":[90],"theories":[93],"computably":[96],"presented":[97],"metric":[98],"structure.":[99],"Also":[100],"basic":[103],"model-theoretic":[104],"results,":[105],"an":[106],"explicit":[107],"formulation":[108],"formulas":[113],"logic,":[116],"propositions":[117],"concerning":[118],"connectives,":[120],"novel":[123],"combinatorial":[124],"result":[125],"which":[126],"allows":[127],"encoding":[130],"quantifier":[133],"via":[134],"series":[136],"inequality":[137]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-25T13:04:00.132906","created_date":"2025-10-10T00:00:00"}