categoricity

categoricity
The quality of being categorical.

Wikipedia foundation.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Morley's categoricity theorem — Vaught s test redirects here. Not to be confused with the Tarski–Vaught test. Categorical theory redirects here. Not to be confused with Category Theory. In model theory, a branch of mathematical logic, a theory is κ categorical (or categorical… …   Wikipedia

  • Axiom of categoricity — The Axiom of Categoricity is a tenet of linguistic theory that remained practically undisputed before the inception of modern sociolinguistics in the mid twentieth century. The term was coined by J.K. Chambers in 1995 and refers to the once… …   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

  • Rami Grossberg — is an associate professor of mathematics at Carnegie Mellon University and works in model theory. Grossberg s recent work has revolved around the classification theory of non elementary classes, and is part of the active effort to prove two of… …   Wikipedia

  • 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

  • John Corcoran — (* 1937 in Baltimore) ist ein bedeutender zeitgenössischer Logiker und Philosoph. Er hat sich hauptsächlich mit dem Verhältnis zwischen Logik und Epistemologie und der Bedeutung von Beweistheorie und Modelltheorie in der Logik beschäftigt. Seine… …   Deutsch 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

  • 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

  • Michael D. Morley — Michael Morley in Berkeley Michael Darwin Morley is an American mathematician, currently professor emeritus at Cornell University. His research is in advanced mathematical logic and model theory, and he is best known for Morley s categoricity… …   Wikipedia

  • Stable theory — For differential equations see Stability theory. In model theory, a complete theory is called stable if it does not have too many types. One goal of classification theory is to divide all complete theories into those whose models can be… …   Wikipedia

Share the article and excerpts

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