Keywords: تعریف; 03E05; 03E15; 03E35; 03E45; 03E50; Descriptive set theory; Definability; Projective sets; Maximal almost disjoint families; Solovay's model;
مقالات ISI تعریف (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تعریف; Rough set; Modal logic; Category; Definability;
Keywords: تعریف; Regular expressions; Determinism; Definability; Complexity;
Keywords: تعریف; Approximation space; Definability; Dynamic relational system; Quasi-uniformity; Strong definability; Weak definability
Keywords: تعریف; Approximation operator; Definability; Direlation; Multi-source information system; Relation preserving function; Rough set; Texture space
Keywords: تعریف; Second-order generalized quantifiers; Definability; Majority quantifier; Second-order logic; Collective quantification
Keywords: تعریف; Modal logics; Model theory; Simulation; Characterization; Definability; Separation; Saturation
Keywords: تعریف; Physical dualities in quantum field theory and string theory; Classical mechanics and symplectic geometry; Theoretical equivalence; Common definitional extension; Definability; Legendre transformation;
Keywords: تعریف; Qualitative reasoning; First-order theory; Modal logic; Axiomatization/completeness; Decidability/complexity; Definability
Keywords: تعریف; 03E35; 03E55Measures; Definability; Forcing; Core models
Large cardinals and definable well-orders, without the GCH
Keywords: تعریف; 03E35; 03E47; 03E55; Class forcing; Definability; Definable well-orders; Supercompactness; Large cardinal preservation;
Emergence as a computability-theoretic phenomenon
Keywords: تعریف; Computability; Emergence; Definability; Turing invariance
Definability as hypercomputational effect
Keywords: تعریف; Computability; Definability; Hypercomputation
Definability and decidability of binary predicates for time granularity
Keywords: تعریف; Time granularity; Monadic theories; Definability; Decidability;
Undefinability results in o-minimal expansions of the real numbers
Keywords: تعریف; primary; 03C64; secondary; 03C40; 11J85; 11U09; 30A99; Definability; Schanuel's Conjecture; Real exponential field; Harmonic functions;
Existence and definability of states of the world
Keywords: تعریف; States of the world; Circularity; Non-well-founded sets; Definability; B40; C79;
Algebraic geometry over groups III: Elements of model theory
Keywords: تعریف; Algebraic geometry; Groups; Model theory; Quasi-varieties; Irreducible components; Definability;
On the expressiveness and decidability of o-minimal hybrid systems
Keywords: تعریف; 68Q60; 03C64; 03D15; Hybrid system; O-minimality; BSS-model of computation; Bisimulation; Definability; Decidability;