Keywords: تئوری مدل; Large fields; Henselian valuations; Definable sets; Model theory;
مقالات ISI تئوری مدل (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تئوری مدل; Mathematical fuzzy logic; First-order fuzzy logics; Non-classical logics; Elementary equivalence; Back-and-forth systems; Model theory;
Keywords: تئوری مدل; 03C60; 12L12; 12J10; 12J25; Valued fields; Model theory; Hensel's Lemma; Axiomatisability;
Keywords: تئوری مدل; primary; 03C45; secondary; 03C10; 03C15; 03C30; Model theory; Homogeneous structure; Simple theory; Classification theory;
Keywords: تئوری مدل; 03C13; 05A16; 05D99; 03C60; Asymptotic enumeration; Extremal combinatorics; Model theory; Hereditary properties;
Keywords: تئوری مدل; primary; 03C10; 03C60; secondary; 03C64; 03C07; Model theory; Real closed fields; PAC fields; PRC fields; Elimination of imaginaries; Superrosy;
Keywords: تئوری مدل; primary; 03C45; 03C60; secondary; 20F14; 20F16; 20F18; 20F19; 20F24; Model theory; Definable envelope; Group with a simple theory; Nilpotent and soluble subgroups; FC-nilpotent and FC-soluble groups;
Keywords: تئوری مدل; 03C64; 03C10; 14P10; 20E99; Model theory; Real field; Multiplicative subgroups; Finite rank; Complex numbers;
Keywords: تئوری مدل; 03C40; 03C50; 03B20; 03B45; Model theory; Intensional logic; Propositional logic; Asimulation; Bisimulation; Van Benthem's theorem;
Keywords: تئوری مدل; 03C45; 03C20; 03E05; 03G05; 06E10; Model theory; Ultrafilters; Saturation of ultrapowers; Keisler's order; Classification of simple theories; Optimal ultrafilters;
Keywords: تئوری مدل; Modal logics; Model theory; Simulation; Characterization; Definability; Separation; Saturation
Keywords: تئوری مدل; Differential algebraic geometry; Completeness; Partial differential fields; Model theory; Model theory of fields; Differentially closed fields
Keywords: تئوری مدل; primary; 03C45; 03C60; secondary; 20F16; 20F24; 20F14; Model theory; Supersimple group; Just-infinite groups; Series with abelian or simple factors;
Keywords: تئوری مدل; 03C50; 03C30; 03D05; 68Q45; Automatic structures; Model theory;
Keywords: تئوری مدل; 03C60; 55U05; 16Y60; 20M25Grothendieck ring; Model theory; Module; Positive primitive formula; Abstract simplicial complex; Monoid ring
The unreasonable rigidity of Ulam sequences
Keywords: تئوری مدل; Ulam sequence; Additive number theory; Model theory;
On transformations in the Painlevé family
Keywords: تئوری مدل; 03C60; 12H05; 34M55; Painlevé equations; Backlund transformations; Model theory; Differentially closed field;
Finiteness theorems on hypersurfaces in partial differential-algebraic geometry
Keywords: تئوری مدل; Differential algebra; Foliations; Invariant hypersurfaces; Model theory;
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
Keywords: تئوری مدل; Model theory; Modal logic; Intuitionistic logic; Propositional logic; Bisimulation; Van Benthem's theorem;
Superstability and central extensions of algebraic groups
Keywords: تئوری مدل; 03C45; 03C60; 19C09; 03C98Differential algebra; Model theory; Differential algebraic groups; Superstable groups; Model theory of differential fields; Central extensions
Geometric triviality of the strongly minimal second Painlevé equations
Keywords: تئوری مدل; primary; 03C60; 14H05; 34M55; secondary; 14H70; Second Painlevé equations; Geometric triviality; Model theory; Differential algebra;
Concurrent weighted logic
Keywords: تئوری مدل; Non-compact modal logic; Model theory; Rasiowa–Sikorski lemma; Weighted transition systems; Concurrency
Modelo formal para la reestructura de marcos orientados a objetos hacia arquitecturas modelo-vista-adaptador*
Keywords: تئوری مدل; marcos orientados a objetos; reuso de software; reingeniería de software; patrón MVA; modelo formal; Teoría de Modelosframeworks; software reuse; software reeingeniering; MVA pattern; formal model; Model theory
Subshifts as models for MSO logic
Keywords: تئوری مدل; Symbolic dynamics; Model theory; Tilings
Free biholomorphic functions and operator model theory, II
Keywords: تئوری مدل; Free holomorphic function; Model theory; Dilation theory; Noncommutative variety; Poisson transform; Characteristic function; Commutant lifting
Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information
Keywords: تئوری مدل; 03B60; 03C80; 03C85Dependence; Independence; Imperfect information; Team semantics; Model theory
Free biholomorphic functions and operator model theory
Keywords: تئوری مدل; Formal power series; Free holomorphic function; Inverse mapping theorem; Model theory; Invariant subspaces; Noncommutative Hardy space; Poisson transform; Characteristic function; Curvature invariant; Commutant lifting
Minimal first-order structures
Keywords: تئوری مدل; 03C45; 03C64; Model theory; Minimal structure; Semi-isolation; Pregeometry;
Forbidden substructures and combinatorial dichotomies: WQO and universality
Keywords: تئوری مدل; Universal graph; Well-quasi-order; Antichain; Model theory; Decision problems
Noncommutative Berezin transforms and multivariable operator model theory
Keywords: تئوری مدل; Multivariable operator theory; Noncommutative domain; Noncommutative variety; Dilation theory; Model theory; Weighted shift; Wold decomposition; Fock space; von Neumann inequality; Berezin transform; Creation operators
The neural basis of conditional reasoning: An event-related potential study
Keywords: تئوری مدل; Conditional reasoning; Rule theory; Model theory; Event-related brain potential
Contextualization as an independent abstraction mechanism for conceptual modeling
Keywords: تئوری مدل; Conceptual modeling; Contextualization; Viewpoints; Abstraction mechanisms; Model theory; Inference rules
Locally finite generalized quadrangles with at most five points per line
Keywords: تئوری مدل; Generalized quadrangle; Ramsey theorem; Indiscernible; Model theory; Finite geometry;
Algebraic geometry over groups III: Elements of model theory
Keywords: تئوری مدل; Algebraic geometry; Groups; Model theory; Quasi-varieties; Irreducible components; Definability;
The elementary theory of Dedekind cuts in polynomially bounded structures
Keywords: تئوری مدل; primary; 03C64; secondary; 03C10; Dedekind cut; Quantifier elimination; Polynomially bounded; O-minimality; Model theory;