TY - JOUR
T1 - A Construction of Many Uncountable Rings Using SFP Domains and Aronszajn Trees
AU - Hodkinson, Ian
AU - Shelah, Saharon
PY - 1993/11
Y1 - 1993/11
N2 - The paper is in two parts. In Part I we describe a construction of a certain kind of subdirect product of a family of rings. We endow the index set of the family with the partial order structure of an SFP domain, as introduced by Plotkin, and provide a commuting system of homomorphisms between those rings whose indices are related in the ordering. We then take the subdirect product consisting of those elements of the direct product having finite support in the sense of this domain structure. In the special case where the homomorphisms are isomorphisms of a fixed ring S, our construction reduces to taking the Boolean power of S by a Boolean algebra canonically associated with the SFP domain. We examine the ideals of a ring obtainable in this way, showing for instance that each ideal is determined by its projections onto the factor rings. We give conditions on the underlying SFP domain that ensure that the ring is atomless. We examine the relationship between the L∞ω-theory of the ring and that of the SFP domain. In Part II we prove a ‘non-structure theorem’ by exhibiting 2ℵ1 pairwise non-embeddable L∞ω-equivalent rings of cardinality ℵ1 with various higher-order properties. The construction needs only ZFC, and uses Aronszajn trees to build many different SFP domains with bases of cardinality ℵ1.
AB - The paper is in two parts. In Part I we describe a construction of a certain kind of subdirect product of a family of rings. We endow the index set of the family with the partial order structure of an SFP domain, as introduced by Plotkin, and provide a commuting system of homomorphisms between those rings whose indices are related in the ordering. We then take the subdirect product consisting of those elements of the direct product having finite support in the sense of this domain structure. In the special case where the homomorphisms are isomorphisms of a fixed ring S, our construction reduces to taking the Boolean power of S by a Boolean algebra canonically associated with the SFP domain. We examine the ideals of a ring obtainable in this way, showing for instance that each ideal is determined by its projections onto the factor rings. We give conditions on the underlying SFP domain that ensure that the ring is atomless. We examine the relationship between the L∞ω-theory of the ring and that of the SFP domain. In Part II we prove a ‘non-structure theorem’ by exhibiting 2ℵ1 pairwise non-embeddable L∞ω-equivalent rings of cardinality ℵ1 with various higher-order properties. The construction needs only ZFC, and uses Aronszajn trees to build many different SFP domains with bases of cardinality ℵ1.
UR - http://www.scopus.com/inward/record.url?scp=84963012115&partnerID=8YFLogxK
U2 - 10.1112/plms/s3-67.3.449
DO - 10.1112/plms/s3-67.3.449
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84963012115
SN - 0024-6115
VL - s3-67
SP - 449
EP - 492
JO - Proceedings of the London Mathematical Society
JF - Proceedings of the London Mathematical Society
IS - 3
ER -