Weakly semirecursive sets and r.e. orderings (Q1210140): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q126772957, #quickstatements; #temporary_batch_1724703925167 |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Martin Kummer / rank | |||
Property / reviewed by | |||
Property / reviewed by: Cristian S. Calude / rank | |||
Property / author | |||
Property / author: Martin Kummer / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Cristian S. Calude / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Terse, superterse, and verbose sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3487329 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hypersimple sets with retraceable complements / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semirecursive Sets and Positive Reducibility / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weakly semirecursive sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Degrees of Hyperimmune Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two-dimensional partial orderings: Recursive model theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classical recursion theory. Vol. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3949052 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: R. e. presented linear orders / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear Order Types of Nonrecursive Presentability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Effective extensions of partial orders / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934380 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040892 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0168-0072(93)90040-k / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1986438122 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q126772957 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 22:28, 26 August 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weakly semirecursive sets and r.e. orderings |
scientific article |
Statements
Weakly semirecursive sets and r.e. orderings (English)
0 references
16 May 1993
0 references
This paper continues the investigation of weakly semirecursive sets -- introduced by \textit{C. G. Jockush jun.} and \textit{J. C. Owings} [J. Symb. Logic 55, 637-644 (1990; Zbl 0702.03020)] -- using methods from the theory of r.e. partial orderings. For instance, they prove that a set is weakly semirecursive if only if it is an initial segment of an r.e. partial ordering (this result generalizes the Appel-McLaughlin Theorem for semirecursive sets).
0 references
weakly semirecursive sets
0 references
r.e. partial orderings
0 references
initial segment
0 references