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

Saturated structures, unions of chains, and preservation theorems 饱和结构，链的结合，和保存定理

Annals of Mathematical Logic Pub Date : 1980-11-01 DOI: 10.1016/0003-4843(80)90020-0

Alan Adamson

引用次数: 2

Superstable fields and groups 超稳定场和群

Annals of Mathematical Logic Pub Date : 1980-08-01 DOI: 10.1016/0003-4843(80)90006-6

G. Cherlin , S. Shelah

引用次数: 81

Boolean valued models and generalized quantifiers 布尔值模型与广义量词

Annals of Mathematical Logic Pub Date : 1980-08-01 DOI: 10.1016/0003-4843(80)90005-4

Jouko Väänänen

引用次数: 11

Σ1-well-founded compactness Σ1-well-founded密实度

Annals of Mathematical Logic Pub Date : 1980-08-01 DOI: 10.1016/0003-4843(80)90007-8

Nigel Cutland , Matt Kauffmann

引用次数: 4

Recursion theory on algebraic structures with independent sets 具有独立集的代数结构的递归理论

Annals of Mathematical Logic Pub Date : 1980-06-01 DOI: 10.1016/0003-4843(80)90016-9

J.B. Remmel

引用次数: 33

Almost sure theories 几乎可以肯定的理论

Annals of Mathematical Logic Pub Date : 1980-06-01 DOI: 10.1016/0003-4843(80)90014-5

James F. Lynch

{"title":"Almost sure theories","authors":"James F. Lynch","doi":"10.1016/0003-4843(80)90014-5","DOIUrl":"10.1016/0003-4843(80)90014-5","url":null,"abstract":"<div>If <figure><img></figure> is a model with universe <math><mtext>U </mtext><mtext>and</mtext><mtext> Q ⊆ </mtext><msup><mi></mi><mn>q</mn></msup><mtext>U</mtext></math> where q is a fixed positive integer, we put <figure><img></figure>〈Q〉 for the expansion of <figure><img></figure> with the new relation Q. We study sets of relations defined by <math><mtext>S(σ) = {Q⊆</mtext><msup><mi></mi><mn>q</mn></msup><mtext>U:</mtext><mglyph></mglyph><mtext>〈Q〉⊨σ}</mtext></math> where σ is a first-order sentence with equality of the appropriate type and <math><mtext>|U|⩽ℵ</mtext><msub><mi></mi><mn>0</mn></msub></math>. For some simple countable structures <figure><img></figure>, we show that S(σ) is almost all of <figure><img></figure>2 or almost none of it, for certain topologies and measures. We have analogous results for the cardinality of S(σ) for some finite structures <figure><img></figure> with large enough U.Some of the structures we examine, in both the countable and finite case, are sets with a successor relation and cyclic groups.</div>","PeriodicalId":100093,"journal":{"name":"Annals of Mathematical Logic","volume":"18 2","pages":"Pages 91-135"},"PeriodicalIF":0.0,"publicationDate":"1980-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0003-4843(80)90014-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77078501","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}

引用次数: 63

Two splitting theorems for beta-recursion theory 递归理论的两个分裂定理

Annals of Mathematical Logic Pub Date : 1980-06-01 DOI: 10.1016/0003-4843(80)90015-7

Steven Homer

引用次数: 0

Reducibility orderings: Theories, definability and automorphisms 可约性排序:理论、可定义性和自同构

Annals of Mathematical Logic Pub Date : 1980-03-01 DOI: 10.1016/0003-4843(80)90004-2

Anil Nerode, Richard A. Shore

引用次数: 59

Effective partitions of the real line into Borel sets of bounded rank 将实线有效划分为有界秩的Borel集合

Annals of Mathematical Logic Pub Date : 1980-03-01 DOI: 10.1016/0003-4843(80)90003-0

Jacques Stern

引用次数: 16

Counting the number of equivalence classes of Borel and coanalytic equivalence relations 计算Borel和协解析等价关系的等价类数

Annals of Mathematical Logic Pub Date : 1980-03-01 DOI: 10.1016/0003-4843(80)90002-9

Jack H. Silver

引用次数: 196