Keywords: 03C10; 03C35; 03C40; 03C50; First-order; Reduct; Ramsey; Homogeneous; Automorphism;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 05C80; 03C15; 03C50; 03E40; 06A06; 20M20; Random graph; Isomorphic substructure; Self-embedding; Partial order; Right Green's preorder; Forcing;
Keywords: 03C40; 03C50; 03B20; 03B45; Model theory; Intensional logic; Propositional logic; Asimulation; Bisimulation; Van Benthem's theorem;
Keywords: 05C63; 05C80; 05C60; 06A05; 06A06; 03C50; 03C15; Ultrahomogeneous graph; Henson graphs; Rado graph; Isomorphic subgraph; Maximal chain; Compact set;
Keywords: 03C50; 03C30; 03D05; 68Q45; Automatic structures; Model theory;
Keywords: 03C48; 03C45; 03C50; 03C30Abstract elementary classes; Superstability; Symmetry; Splitting; Limit models
Keywords: 03C50; 03E40; 05C80; 20M20Countable random graph; Isomorphic substructure; Self-embedding; Right Green's pre-order; 2-localization; Forcing
Keywords: 03C45; 03C48; 03C50; 03C98AECs; Strong minimality; Group configuration
Vaught's conjecture for weakly o-minimal theories of convexity rank 1
Keywords: 03C64; 03C15; 03C07; 03C50; Weak o-minimality; Convexity rank; Vaught's conjecture; Countable model; Binary theory;
Finding a field in a Zariski-like structure
Keywords: 03C48; 03C50; 03C98; 03C65; Group configuration; Zariski geometries; AECs;
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â;
Symmetry and the union of saturated models in superstable abstract elementary classes
Keywords: 03C48; 03C45; 03C50; 03C52; Saturated models; Abstract elementary classes; Superstability; Splitting; Limit models;
Saturation and elementary equivalence of C*-algebras
Keywords: 03C65; 03C90; 03C50; 46L05; 46L10; 54C35Countable degree-1 saturation; Breuer ideal; Commutative C*-algebra; Elementary equivalence
Decidable locally finite discriminator varieties arising from dihedral varieties of groups
Keywords: 03C05; 03C50; 08B05; 20A15;