Definable
111Pseudoelementary class — In logic, a pseudoelementary class is a class of structures derived from an elementary class (one definable in first order logic) by omitting some of its sorts and relations. It is the mathematical logic counterpart of the notion in category… …
112Beth definability — In mathematical logic, Beth definability states that for any two models A , B of a first order theory T in the language L ⊇ L, if A | L = B | L (where A | L is the reduct of A to L ) implies that for all tuples a of A , A ⊨ φ [ a ] if and only if …
113Gulf War syndrome — n. a chronic medical condition of unproven origin experienced by some Gulf War (1991) veterans, characterized variously by fatigue, headaches, memory loss, aching joints, etc. * * * n [U] a disease that has affected many of the soldiers who… …
114angiosperm — /an jee euh sperrm /, n. Bot. a plant having its seeds enclosed in an ovary; a flowering plant. Cf. gymnosperm. [ANGIO + SPERM] * * * ▪ plant Introduction any member of the more than 300,000 species of flowering plants (division Anthophyta) …
115indefinable — indefinableness, n. indefinably, adv. /in di fuy neuh beuhl/, adj. 1. not definable; not readily identified, described, analyzed, or determined. n. 2. something that cannot be defined: the indefinables of great musicianship. [1800 10; IN 3 +… …
116mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …
117metalogic — /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… …
118Prozac — /proh zak/, Pharm., Trademark. a brand of fluoxetine hydrochloride. [1988] * * * First of the class of antidepressant drugs called selective serotonin reuptake inhibitors (SSRIs), generic name fluoxetine hydrochloride. Introduced in 1986 as a… …
119Carnap, Rudolf — born May 18, 1891, Ronsdorf, Ger. died Sept. 14, 1970, Santa Monica, Calif., U.S. German born U.S. philosopher. He earned a doctorate in physics at the University of Jena in 1921. In 1926 he was invited to join the faculty of the University of… …
120automata theory — Body of physical and logical principles underlying the operation of any electromechanical device (an automaton) that converts information input in one form into another, or into some action, according to an algorithm. Norbert Wiener and Alan M.… …
