{"title":"Automorphisms of the lattice of recursively enumerable sets. Part II: Low sets","authors":"Robert I. Soare","doi":"10.1016/0003-4843(82)90016-X","DOIUrl":"https://doi.org/10.1016/0003-4843(82)90016-X","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"22 1","pages":"Pages 69-107"},"PeriodicalIF":0.0,"publicationDate":"1982-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(82)90016-X","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136558750","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A model of ZF + there exists an inaccessible, in which the dedekind cardinals constitute a natural non-standard model of arithmetic","authors":"Gershon Sageev","doi":"10.1016/0003-4843(81)90017-6","DOIUrl":"10.1016/0003-4843(81)90017-6","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"21 2","pages":"Pages 221-281"},"PeriodicalIF":0.0,"publicationDate":"1981-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(81)90017-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83177225","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Recursively invariant β-recursion theory","authors":"Wolfgand Maass","doi":"10.1016/0003-4843(81)90015-2","DOIUrl":"https://doi.org/10.1016/0003-4843(81)90015-2","url":null,"abstract":"<div><p>We introduce recursively invariant β-recursion theory as a new approach towards recursion theory on an arbitraty limit ordinal β. We follow Friedman and Sacks and call a subset of β β-recursively enumerable if it is <em>Σ</em><sub>1</sub>-definable over <em>L</em><sub><em>β</em></sub>. Since Friedman-Sacks' notion of a β-finite set is not invariant under β-recursive permutations of β we turn to a different notion. Under all possible invariant generalizations of finite there is a canonical one which we call i-finite. We consider further in the inadmissible case those criteria for the adequacy of generalizations of finite which have earlier been developed by Kreisel, Moschovakis and others. We look at infinitary languages over inadmissible sets <em>L</em><sub><em>β</em></sub> and the compactness theorem for these languages, the characterization of the basic notions of β-recursion theory in terms of model theoretic invariance, the definition of β-recursion theory via an equation calculus and axioma for computation theories. In turns out that in all these approaches the i-finite sets are those subsets of β respectively <em>L</em><sub><em>β</em></sub> which behave like finite sets.</p><p>Invariant β-recursion theory contains classical recursion theory and α-recursion theory as special cases. We start in the second half of this paper the systematic development of invariant β-recursion theory for all limit ordinals β. We study in particular i-degrees, which generalize Turing degrees and α-degrees. Besides 0 (the degree of β-recursive sets) and 0′ (the largest β-r.e. degree) there exist incomparable β-r.e. i-degrees for every limit ordinal β. Similar as the step from ω to α gave rise to the introduction of regular respectively hyperregular sets we arrive in invariant β-recursion theory at the new notion of an i-absolute β-r.e sets. This notion is useful in order to describe a difference among hyperregular β-r.e. sets which occurs exclusively in the inadmissible case. The study of i-degrees is most difficult for those β which are strongly inadmissible (i.e. σ1 cf β<β<sup>∗</sup>). For those strongly inadmissible β where β<sup>∗</sup> is regular we give two new constructions which rely heavily in the combinatorial properties of regular cardinals (◊, closed unbounded sets and the Δ-System lemma). We construct a β-r.e. degree <em>a</em> > 0 such that no degree <em>b</em>⩽<em>a</em> contains a simple set and we prove a splitting theorem for simple β-r.e. sets. We base the definition of a simple set on the general notion of a 1-finite set.</p></div>","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"21 1","pages":"Pages 27-73"},"PeriodicalIF":0.0,"publicationDate":"1981-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(81)90015-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91637373","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Algebraically prime models","authors":"John T. Baldwin , David W. Keuker","doi":"10.1016/0003-4843(81)90007-3","DOIUrl":"10.1016/0003-4843(81)90007-3","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"20 3","pages":"Pages 289-330"},"PeriodicalIF":0.0,"publicationDate":"1981-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(81)90007-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87671932","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On non-minimal p-points over a measurable cardinal","authors":"Moti Gitik","doi":"10.1016/0003-4843(81)90006-1","DOIUrl":"10.1016/0003-4843(81)90006-1","url":null,"abstract":"<div><p>Answering a question of Ketonen we build a non-minimal p-point in a generic extension of <em>L</em>[<em>U</em>]. A non-minimal RF-minimal <em>Q-</em>point is built too. Some other constructions related to these are investigated.</p></div>","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"20 3","pages":"Pages 269-288"},"PeriodicalIF":0.0,"publicationDate":"1981-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(81)90006-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76099588","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Trees, subtrees and order types","authors":"Stevo B. Todorčević","doi":"10.1016/0003-4843(81)90005-X","DOIUrl":"10.1016/0003-4843(81)90005-X","url":null,"abstract":"","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"20 3","pages":"Pages 233-268"},"PeriodicalIF":0.0,"publicationDate":"1981-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(81)90005-X","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88211431","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
