- existentially closed
- мат. экзистенциально замкнутый
Большой англо-русский и русско-английский словарь. 2001.
existentially closed
Смотреть что такое "existentially closed" в других словарях:
Existentially closed model — In model theory, a branch of mathematical logic, the notion of an existentially closed model of a theory generalizes the notions of algebraically closed fields (for the theory of fields), real closed fields (for the theory of ordered fields),… … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
Divisible group — In mathematics, especially in the field of group theory, a divisible group is an abelian group in which every element can, in some sense, be divided by positive integers, or more accurately, every element is an nth multiple for each positive… … Wikipedia
Focus (linguistics) — Focus is a concept in linguistic theory that deals with how information in one phrase relates to information that has come before. Focus has been analyzed in a variety of ways by linguists. Historically, there have been two main approaches to… … Wikipedia
List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… … Wikipedia
Graham Higman — FRS (19 January 1917 ndash; 8 April 2008) was a leading British mathematician. He is known for his contributions to group theory. He earned his PhD from the University of Oxford in 1941. His thesis, The units of group rings , was written under… … Wikipedia
Graham Higman — (* 19. Januar 1917 in Louth in Lincolnshire; † 8. April 2008 in Oxford) war ein englischer Mathematiker, der sich mit Algebra, speziell der Gruppentheorie, beschäftigte. Graham Higman 1960 … Deutsch Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … 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
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Religion (Philosophies of) — Philosophies of religion Marcel, Jaspers, Levinas William Desmond Gabriel Marcel (1889–1973), Karl Jaspers (1883–1969) and Emmanuel Levinas (1906–) seem like a mere aggregate of thinkers. Jaspers, a German thinker who coined the phrase Existenz… … History of philosophy
