- nonisomorphic models
- мат. неизоморфные модели
Большой англо-русский и русско-английский словарь. 2001.
nonisomorphic models
Смотреть что такое "nonisomorphic models" в других словарях:
Saharon Shelah — (hebräisch שהרן שלח; * 3. Juli 1945 in Jerusalem) ist ein israelischer Mathematiker. Er ist Professor an der Hebräischen Universität in Jerusalem sowie an der Rutgers University in New Jersey, USA. Shelah arbeitet auf dem Gebiet der… … Deutsch Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Stable theory — For differential equations see Stability theory. In model theory, a complete theory is called stable if it does not have too many types. One goal of classification theory is to divide all complete theories into those whose models can be… … Wikipedia
Spectrum of a theory — In model theory, a branch of mathematical logic, the spectrum of a theory is given by the number of isomorphism classes of models in various cardinalities. More precisely, for any complete theory T in a language we write I(T, α) for the number of … Wikipedia
Morley's categoricity theorem — Vaught s test redirects here. Not to be confused with the Tarski–Vaught test. Categorical theory redirects here. Not to be confused with Category Theory. In model theory, a branch of mathematical logic, a theory is κ categorical (or categorical… … Wikipedia
Stability spectrum — In model theory, a branch of mathematical logic, a complete first order theory T is called stable in λ (an infinite cardinal number), if the Stone space of every model of T of size ≤ λ has itself size ≤ λ. T is called a stable theory if there is… … Wikipedia
Forking extension — In model theory, a forking extension of a type is an extension that is in some sense not free, and a non forking extension is an extension that is as free as possible. This can be used to extend the notions of linear or algebraic independence to… … Wikipedia
PCF theory — is the name of a mathematical theory, introduced by Saharon Shelah (1978), that deals with the cofinality of the ultraproducts of ordered sets. It gives strong upper bounds on the cardinalities of power sets of singular cardinals, and has… … Wikipedia
Imaginary element — In mathematical model theory, an imaginary element of a structure is roughly a definable equivalence class. These were introduced by harvtxt|Shelah|1990, and elimination of imaginaries was introduced by harvtxt|Poizat|1983Definitions* M is a… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
