Omega-logic

Omega-logic

In mathematics, ω-logic can refer to:

  • ω-logic, an infinitary extension of first-order logic
  • Ω-logic, a deductive system in set theory developed by Hugh Woodin

Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Omega-categorical theory — In mathematical logic, an omega categorical theory is a theory that has only one countable model up to isomorphism. Omega categoricity is the special case κ =   = ω of κ categoricity, and omega categorical theories are also… …   Wikipedia

  • Omega — For other uses, see Omega (disambiguation). Greek alphabet Αα Alpha Νν Nu Ββ …   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

  • logic bomb — n. A computer virus set for a timed release. When the virus detonates, it deliberately disrupts, modifies, or erases data. Example Citation: Omega Engineering learned firsthand the dangers of the disgruntled employee after a timed virus, known as …   New words

  • Omega language — An ω language is a set of infinite length sequences of symbols. Contents 1 Formal definition 2 Operations 3 Distance between ω words 4 Important subclasses …   Wikipedia

  • Omega-regular language — The ω regular languages are a class of ω languages which generalize the definition of regular languages to infinite words. Büchi showed in 1962 that ω regular languages are precisely the ones definable in a particular monadic second order logic… …   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

  • Subjective logic — is a type of probabilistic logic that explicitly takes uncertainty and belief ownership into account. In general, subjective logic is suitable for modeling and analysing situations involving uncertainty and incomplete knowledgeA. Jøsang.… …   Wikipedia

  • Dependence logic — is a logical formalism, created by Jouko Väänänen[1], which adds dependence atoms to the language of first order logic. A dependence atom is an expression of the form , where are terms, and corresponds to the statement that the value of is… …   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

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”