-
1 axiomatizable
аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно аксиоматизируемая система finitely axiomatizable theor ≈ конечно аксиоматизируемая теория finitely axiomatizable variety ≈ конечно аксиоматизируемое многообразие recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория universally axiomatizable class ≈ универсально аксиоматизируемый класс universally axiomatizable subclass ≈ универсально аксиоматизируемый подкласс - axiomatizable class - axiomatizable system - axiomatizable theor - axiomatizable typeБольшой англо-русский и русско-английский словарь > axiomatizable
-
2 axiomatizable
-
3 axiomatizable
-
4 axiomatizable
Математика: аксиоматизируемый -
5 axiomatizable
-
6 axiomatizable
аксиоматизируемыйEnglish-Russian dictionary of technical terms > axiomatizable
-
7 axiomatizable
-
8 axiomatizable
The English-Russian dictionary general scientific > axiomatizable
-
9 axiomatizable class
Большой англо-русский и русско-английский словарь > axiomatizable class
-
10 axiomatizable system
Большой англо-русский и русско-английский словарь > axiomatizable system
-
11 axiomatizable theor
Большой англо-русский и русско-английский словарь > axiomatizable theor
-
12 axiomatizable type
Большой англо-русский и русско-английский словарь > axiomatizable type
-
13 axiomatizable class
Математика: аксиоматизируемый класс -
14 axiomatizable system
Математика: аксиоматизированная система -
15 axiomatizable theory
Математика: аксиоматизируемая теория -
16 axiomatizable type
Математика: аксиоматизируемый тип -
17 axiomatizable class
-
18 axiomatizable system
English-Russian scientific dictionary > axiomatizable system
-
19 axiomatizable theory
English-Russian scientific dictionary > axiomatizable theory
-
20 axiomatizable type
См. также в других словарях:
axiomatizable — adjective That can be axiomatized … Wiktionary
Elementary class — In the branch of mathematical logic called model theory, an elementary class (or axiomatizable class) is a class consisting of all structures satisfying a fixed first order theory. Contents 1 Definition 2 Conflicting and alternative terminology … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Ω-consistent theory — In mathematical logic, an ω consistent (or omega consistent, also called numerically segregativeW.V.O. Quine, Set Theory and its Logic ] ) theory is a theory (collection of sentences) that is not only (syntactically) consistent (that is, does not … Wikipedia
Relation algebra — is different from relational algebra, a framework developed by Edgar Codd in 1970 for relational databases. In mathematics, a relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
ω-consistent theory — In mathematical logic, an ω consistent (or omega consistent, also called numerically segregative[1]) theory is a theory (collection of sentences) that is not only (syntactically) consistent (that is, does not prove a contradiction), but also… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Fuzzy logic — is a form of multi valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. Just as in fuzzy set theory the set membership values can range (inclusively) between 0 and 1, in fuzzy logic the degree … Wikipedia
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia
General set theory — (GST) is George Boolos s (1998) name for a three axiom fragment of the canonical axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano… … Wikipedia