Model completeness and relative decidability (Q2042736): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Russell G. Miller / rank | |||
Property / author | |||
Property / author: D. Reed Solomon / rank | |||
Property / author | |||
Property / author: Russell G. Miller / rank | |||
Normal rank | |||
Property / author | |||
Property / author: D. Reed Solomon / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3119991094 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q105642085 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generic copies of countable structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model theory. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Trivial, strongly minimal theories are model complete after naming constants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4249356 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: There is no classification of the decidably presentable structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Degree spectra and computable dimensions in algebraic structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5371227 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040892 / rank | |||
Normal rank |
Latest revision as of 06:45, 26 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Model completeness and relative decidability |
scientific article |
Statements
Model completeness and relative decidability (English)
0 references
21 July 2021
0 references
computability
0 references
computable model theory
0 references
model completeness
0 references
model theory
0 references
relative decidability
0 references