Open AccessModel completeness of generic graphs in rational cases
Author(s) -
Hirotaka Kikyo
Publication year - 2017
Publication title -
archive for mathematical logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.618
H-Index - 32
eISSN - 1432-0665
pISSN - 0933-5846
DOI - 10.1007/s00153-017-0601-4
Subject(s) - mathematics , completeness (order theory) , class (philosophy) , rational function , function (biology) , discrete mathematics , combinatorics , pure mathematics , algebra over a field , mathematical analysis , computer science , artificial intelligence , evolutionary biology , biology
Let $$\mathbf {K}_f$$Kf be an ab initio amalgamation class with an unbounded increasing concave function f. We show that if the predimension function has a rational coefficient and f satisfies a certain assumption then the generic structure of $$\mathbf {K}_f$$Kf has a model complete theory.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom