Effective metric model theory (Q5740682): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Computability of Fraïssé limits / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4249355 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On d-finiteness in continuous structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A proof of completeness for continuous first-order logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4485693 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generic separable metric structures / rank | |||
Normal rank |
Revision as of 09:06, 12 July 2024
scientific article; zbMATH DE number 6606965
Language | Label | Description | Also known as |
---|---|---|---|
English | Effective metric model theory |
scientific article; zbMATH DE number 6606965 |
Statements
Effective metric model theory (English)
0 references
27 July 2016
0 references