Computable fields and the bounded Turing reduction (Q408170): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C57 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03D30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 12F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 12F10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6019360 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
computability | |||
Property / zbMATH Keywords: computability / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
computable model theory | |||
Property / zbMATH Keywords: computable model theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
computable field | |||
Property / zbMATH Keywords: computable field / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
bounded Turing reduction | |||
Property / zbMATH Keywords: bounded Turing reduction / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(\mathrm {m}\)-reduction | |||
Property / zbMATH Keywords: \(\mathrm {m}\)-reduction / 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/j.apal.2011.11.007 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1978583361 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4423053 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3027108 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Effective procedures in field theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Is it harder to factor a polynomial or to find a root? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: <i>d</i>-computable categoricity for algebraic fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computable Algebra, General Theory and Theory of Computable Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3819052 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computable Fields and Weak Truth-Table Reducibility / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5798024 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3943047 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 00:27, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computable fields and the bounded Turing reduction |
scientific article |
Statements
Computable fields and the bounded Turing reduction (English)
0 references
29 March 2012
0 references
computability
0 references
computable model theory
0 references
computable field
0 references
bounded Turing reduction
0 references
\(\mathrm {m}\)-reduction
0 references