- minimal ordinal
- мат. минимальное порядковое число
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Ordinal optimization — In mathematical optimization, ordinal optimization is the maximization of functions taking values in a partially ordered set ( poset ). Ordinal optimization has applications in the theory of queuing networks. Contents 1 Mathematical foundations 1 … Wikipedia
Ordinal indicator — º redirects here. It is not to be confused with the degree symbol °. ºª Ordinal indicator Punctuation … Wikipedia
Minimal model (set theory) — In set theory, a minimal model is a minimal standard model of ZFC. Minimal models were introduced by (Shepherdson 1951, 1952, 1953). The existence of a minimal model cannot be proved in ZFC, even assuming that ZFC is consistent, but follows… … Wikipedia
Ensemble Fini — En mathématiques, un ensemble E est dit fini si et seulement s il existe un entier n et une bijection de E sur l ensemble des entiers naturels strictement plus petits que n, en particulier, si n = 0, E est l ensemble vide qui est donc bien fini.… … Wikipédia en Français
Ensemble fini — En mathématiques, un ensemble E est dit fini si et seulement s il existe un entier n et une bijection de E sur l ensemble des entiers naturels strictement plus petits que n, en particulier, si n = 0, E est l ensemble vide qui est donc bien fini.… … Wikipédia en Français
Constructible universe — Gödel universe redirects here. For Kurt Gödel s cosmological solution to the Einstein field equations, see Gödel metric. In mathematics, the constructible universe (or Gödel s constructible universe), denoted L, is a particular class of sets… … Wikipedia
Surreal number — In mathematics, the surreal number system is an arithmetic continuum containing the real numbers as well as infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number. The surreals share… … Wikipedia
Borel algebra — In mathematics, the Borel algebra (or Borel sigma; algebra) on a topological space X is a sigma; algebra of subsets of X associated with the topology of X . In the mathematics literature, there are at least two nonequivalent definitions of this… … Wikipedia
ENSEMBLES (THÉORIE DES) - Théorie axiomatique — La théorie des ensembles fut créée par Georg Cantor à la fin du XIXe siècle. Cependant, le caractère extrêmement général et abstrait de la notion d’ensemble permit de produire des paradoxes rendant la théorie contradictoire (cf. théorie… … Encyclopédie Universelle
Morley rank — In mathematical logic, Morley rank, introduced by Michael D. Morley (1965), is a means of measuring the size of a subset of a model of a theory, generalizing the notion of dimension in algebraic geometry. Contents 1 Definition 2 Examples 3… … Wikipedia
Théorème de Robertson-Seymour — En mathématiques, et plus précisément en théorie des graphes, le théorème de Robertson–Seymour (parfois également appelé le théorème des mineurs, et connu, avant qu il soit démontré, sous le nom de conjecture de Wagner), est un théorème démontré… … Wikipédia en Français