- strong compactness
- мат. сильная компактность
Большой англо-русский и русско-английский словарь. 2001.
strong compactness
Смотреть что такое "strong compactness" в других словарях:
Palais-Smale compactness condition — The Palais Smale compactness condition is a necessary condition for some theorems of the calculus of variations.The condition is necessary because the calculus of variations studies function spaces that are infinite dimensional some extra notion… … Wikipedia
Strongly compact cardinal — In mathematical set theory, a strongly compact cardinal is a certain kind of large cardinal number; their existence can neither be proven nor disproven from the standard axioms of set theory.A cardinal kappa; is strongly compact if and only if… … Wikipedia
Infinitary logic — Those unfamiliar with mathematical logic or the concept of ordinals are advised to consult those articles first. An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Some infinitary logics may have… … Wikipedia
Noetherian topological space — In mathematics, a Noetherian topological space is a topological space in which closed subsets satisfy the descending chain condition. Equivalently, we could say that the open subsets satisfy the ascending chain condition, since they are the… … Wikipedia
Alexandra Bellow — (1935 ndash;) is a mathematician who has made substantial contributions to the fields of ergodic theory, probability and analysis. BiographyShe was born in Bucharest, Romania, as Alexandra Bagdasar. Her parents were both physicians. Her mother,… … 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
locomotion — /loh keuh moh sheuhn/, n. the act or power of moving from place to place. [1640 50; see LOCOMOTIVE, MOTION] * * * Any of various animal movements that result in progression from one place to another. Locomotion is classified as either… … Universalium
Business and Industry Review — ▪ 1999 Introduction Overview Annual Average Rates of Growth of Manufacturing Output, 1980 97, Table Pattern of Output, 1994 97, Table Index Numbers of Production, Employment, and Productivity in Manufacturing Industries, Table (For Annual… … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … 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
