Generic copies of countable structures (Q1123889): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Julia F. Knight / rank | |||
Property / author | |||
Property / author: M. S. Manasse / rank | |||
Property / author | |||
Property / author: Theodore A. Slaman / rank | |||
Property / author | |||
Property / author: Julia F. Knight / rank | |||
Normal rank | |||
Property / author | |||
Property / author: M. S. Manasse / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Theodore A. Slaman / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0168-0072(89)90015-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1976089169 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categoricity in hyperarithmetical degrees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3919698 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intrinsically \(\Sigma ^ 0_{\alpha}\) relations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Degrees coded in jumps of orderings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5573961 / rank | |||
Normal rank |
Latest revision as of 10:13, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generic copies of countable structures |
scientific article |
Statements
Generic copies of countable structures (English)
0 references
1989
0 references
There is a series of papers concerning intrinsical relations, stability and categoricity of recursive structures in hyperarithmetical degrees [e.g. \textit{C. J. Ash}, Ann. Pure Appl. Logic 32, 113-135 (1986; Zbl 0631.03016)]. It was shown that for these properties there is a natural syntactic condition which is sufficient and, with additional assumptions, is also necessary. In this paper arbitrary structures whose domain is the set of natural numbers, not just recursive structures, are considered. Recursiveness of relations is replaced by recursiveness relative to the diagram of a structure. It is proved that for this generalization, the natural syntactic condition is both necessary and sufficient. This is done producing an isomorphic copy of a given structure by forcing with finite partial isomorphisms.
0 references
denumerable models
0 references
categoricity
0 references
intrinsical relations
0 references
0 references