Keywords: primary; 03C45; secondary; 03C10; 03C15; 03C30; Model theory; Homogeneous structure; Simple theory; Classification theory;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: primary; 46L07; secondary; 03C30; Operator space; 1-exact operator space; Noncommutative Gurarij space; Fraïssé class; Fraïssé limit;
Keywords: 03C50; 03C30; 03D05; 68Q45; Automatic structures; Model theory;
Keywords: 03C30; 03C45; 03C13; 60F20Random structure; Almost sure theory; Pregeometry; Supersimple; Countably categorical
Keywords: 03C45; 03C30; 05B35; 52C99Hrushovski; Strong minimal set
Keywords: 03C13; 03C30; 03C40; 03C50Model theory; Finite model theory; Preservation; Expressive completeness; Modal and guarded logics
Fraïssé limits in functional analysis
Keywords: primary; 46L07; 46A55; secondary; 46L89; 03C30; 03C98; Gurarij space; Poulsen simplex; Choquet simplex; Fraïssé limit operator space; Operator system; Universal operator;
Unifying the model theory of first-order and second-order arithmetic via WKL0â
Keywords: 03C62; 03H15; 03C30; 03C50; Nonstandard model of arithmetic; End extension; Initial segment; Arithmetized Completeness Theorem; BΣ1; WKL0â;
Consistent amalgamation for þ-forking
Keywords: primary; 03C45; 03C95; secondary; 03C10; 03C30; Rosy; þ-Forking; Amalgamation;
Definability and decidability in infinite algebraic extensions
Keywords: primary; 11U05; secondary; 11U07; 03C30; 03C60; First-order definability; Infinite algebraic extensions;