Annals of Mathematical Logic最新文献_第8页

Groups of small Morley rank 一群群的小莫雷

Annals of Mathematical Logic Pub Date : 1979-11-01 DOI: 10.1016/0003-4843(79)90019-6

G. Cherlin

引用次数: 106

The next admissible ordinal 下一个允许的序数

Annals of Mathematical Logic Pub Date : 1979-11-01 DOI: 10.1016/0003-4843(79)90025-1

Richard Gostanian

引用次数: 10

Researches into the world of k → (k)k 研究k→(k)k的世界

Annals of Mathematical Logic Pub Date : 1979-11-01 DOI: 10.1016/0003-4843(79)90024-X

J.M. Henle

引用次数: 11

Groups of small Morley rank 一群群的小莫雷

Annals of Mathematical Logic Pub Date : 1979-11-01 DOI: 10.1016/0003-4843(79)90019-6

Gregory Cherlin

引用次数: 106

Universal equational theories and varieties of algebras 通用方程理论和代数的变种

Annals of Mathematical Logic Pub Date : 1979-11-01 DOI: 10.1016/0003-4843(79)90023-8

D. Pigozzi

引用次数: 9

Universal equational theories and varieties of algebras 通用方程理论和代数的变种

Annals of Mathematical Logic Pub Date : 1979-11-01 DOI: 10.1016/0003-4843(79)90023-8

Don Pigozzi

引用次数: 9

A computable ordinary differential equation which possesses no computable solution 不具有可计算解的可计算常微分方程

Annals of Mathematical Logic Pub Date : 1979-11-01 DOI: 10.1016/0003-4843(79)90021-4

Marian Boylan Pour-el, I. Richards

引用次数: 162

A computable ordinary differential equation which possesses no computable solution 不具有可计算解的可计算常微分方程

Annals of Mathematical Logic Pub Date : 1979-11-01 DOI: 10.1016/0003-4843(79)90021-4

Marian Boylan Pour-el, Ian Richards

引用次数: 162

Isomorphism and higher order equivalence 同构与高阶等价

Annals of Mathematical Logic Pub Date : 1979-09-01 DOI: 10.1016/0003-4843(79)90001-9

M. Ajtai

引用次数: 16

On α- and β-recursively enumerable degrees 在α-和β-递归可数度上

Annals of Mathematical Logic Pub Date : 1979-09-01 DOI: 10.1016/0003-4843(79)90002-0

Wolfgang Maass

{"title":"On α- and β-recursively enumerable degrees","authors":"Wolfgang Maass","doi":"10.1016/0003-4843(79)90002-0","DOIUrl":"10.1016/0003-4843(79)90002-0","url":null,"abstract":"<div>Several problems in recursion theory on admissible ordinals (α-recursion theory) and recursion theory of inadmissible ordinals (β-recursion theory) are studied. Fruitful interactions between both theories are stressed. In the first part of the admissible collapse is used in order to characterize for some inadmissible β the structure of all β-recursively enumerable degrees as an accumulation of structures of <math><mtext>U</mtext></math>-recursively enumerable degrees for many admissible structures <math><mtext>U</mtext></math>. Thus problems about the β-recursively enumerable degrees can be solved by considering “locally” the analogous problem in an admissible <math><mtext>U</mtext></math> (where results of α-recursion theory apply). In the second part β-recursion theory is used as a tool in infinite injury priority constructions for some particularly interesting α (e.g. ω1CK). New effects can be observed since some structure of the inadmissible world above O′ is projected into the α-recursively enumerable degrees by inverting the jump. The gained understanding of the jump of α-recursively enumerable degrees makes it possible to solve some open problems.</div>","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"16 3","pages":"Pages 205-231"},"PeriodicalIF":0.0,"publicationDate":"1979-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(79)90002-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91518467","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}

引用次数: 4