Definable
101Stable group — For stable groups in homotopy theory see stable homotopy group or direct limit of groups. In model theory, a stable group is a group that is stable in the sense of stability theory. An important class of examples is provided by groups of finite… …
102RIS (file format) — Infobox file format name = RIS icon = caption = extension = .ris mime = text/plain type code = uniform type = magic = owner = genre = Bibliography container for = contained by = extended from = extended to = standard = RIS is a standardized tag… …
103Weakly o-minimal structure — Weakly O Minimal Definition = A linearly ordered structure, m, with language L including anordering relation …
104The SemWare Editor — Infobox Software name = The Semware Editor (TSE) logo = http://www.semware.com/html/tseprowin.screenshots.php screenshot] caption = author = Sammy Mitchell developer = The SemWare Corporation released = May 2005 latest release version = 4.4… …
105Keykit — Infobox Software name = KeyKit caption = developer = AT T / Tim Thompson operating system = Windows, GNU/Linux genre = Programming language, Music/MIDI license = Free for non commercial use website = http://nosuch.com/keykitKeyKit is a graphical… …
106Reduction (recursion theory) — In computability theory, many reducibility relations (also called reductions, reducibilities, and notions of reducibility) are studied. They are motivated by the question: given sets A and B of natural numbers, is it possible to effectively… …
107Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… …
108Differentially closed field — In mathematics, a differential field K is differentially closed if every finite system of differential equations with a solution in some differential field extending K already has a solution in K. This concept was introduced by Robinson (1959).… …
109Manuscript culture — The transition of communication technology: Oral Culture, Manuscript Culture, Print Culture, and Information Age[dubious – discuss] Manuscript culture uses manuscripts to store and disseminate information; in the West, it generally preceded the… …
110Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… …
