• theory of first-order theories, extensions by definitions formalize the introduction of new symbols by means of a definition. For example, it is common in...
    8 KB (1,504 words) - 04:04, 2 April 2025
  • In logic, extensional and intensional definitions are two key ways in which the objects, concepts, or referents a term refers to can be defined. They...
    6 KB (928 words) - 22:20, 11 May 2025
  • Thumbnail for Definition
    two large categories: intensional definitions (which try to give the sense of a term), and extensional definitions (which try to list the objects that...
    31 KB (3,903 words) - 17:59, 14 October 2024
  • which is concerned with whether the internal definitions of objects are the same. The extensional definition of function equality, discussed above, is commonly...
    5 KB (618 words) - 03:46, 5 May 2025
  • things to which a property applies Extension (simplicial set) Extension by definitions Extensional definition, a definition that enumerates every individual...
    4 KB (434 words) - 04:07, 22 April 2025
  • An enumerative definition of a concept or term is a special type of extensional definition that gives an explicit and exhaustive listing of all the objects...
    1 KB (112 words) - 07:19, 28 December 2024
  • conservative extension of Zermelo–Fraenkel set theory with the axiom of choice ( Z F C {\displaystyle {\mathsf {ZFC}}} ). Extensions by definitions are conservative...
    6 KB (858 words) - 01:46, 7 January 2025
  • theorem Galois extension Separable extension Normal extension Fraleigh (2014), Definition 31.1, p. 283. Malik, Mordeson, Sen (1997), Definition 21.1.23, p...
    7 KB (933 words) - 12:32, 8 January 2025
  • Thumbnail for Equivalence relation
    x\,R\,y} and y S z {\displaystyle y\,S\,z} . This definition is a generalisation of the definition of functional composition. The defining properties...
    31 KB (4,473 words) - 10:22, 23 May 2025
  • Thumbnail for Domain of a function
    of f is X. In modern mathematical language, the domain is part of the definition of a function rather than a property of it. In the special case that X...
    8 KB (962 words) - 11:47, 12 April 2025
  • truth-conditional semantics.) Tarski developed the theory to give an inductive definition of truth as follows. (See T-schema) For a language L containing ¬ ("not")...
    9 KB (1,050 words) - 17:46, 9 July 2024
  • Thumbnail for Equality (mathematics)
    logic, this is called an extension by definition (by equality) which is a conservative extension to a formal system. This is done by taking the equation defining...
    68 KB (7,795 words) - 02:08, 9 June 2025
  • certain conditions with assurance that the extension will introduce no contradiction. Extension by definitions is perhaps the best-known approach, but it...
    3 KB (425 words) - 02:43, 13 May 2025
  • There are two slightly different definitions of the term cyclotomic extension. It can mean either an extension formed by adjoining roots of unity to a field...
    2 KB (340 words) - 11:36, 16 May 2023
  • the definitions, first by length and then lexicographically. Now, we may map each definition to the set of natural numbers, such that the definition with...
    12 KB (1,800 words) - 09:55, 18 November 2024
  • language Recursive language Recursion That is, under the Set-theoretic definition of natural numbers, the set of natural numbers less than a given natural...
    4 KB (500 words) - 23:17, 22 May 2025
  • for Industrial and Applied Mathematics. pp. 16. ISBN 0-89871-420-6. "Definition of lemma | Dictionary.com". www.dictionary.com. Retrieved 2019-11-28....
    4 KB (399 words) - 06:07, 7 May 2025
  • Thumbnail for Yanchep line
    Yanchep Rail Extension. Enabling legislation was introduced to Parliament in May 2018 and passed in November 2018. The project definition plan, detailing...
    168 KB (14,739 words) - 12:53, 31 May 2025
  • valuation of extension over intension. See for example extension, and the extensional devices. Enumerative definition Extensional definition Extensional logic...
    6 KB (773 words) - 22:53, 6 January 2025
  • Thumbnail for Recursion
    Recursion occurs when the definition of a concept or process depends on a simpler or previous version of itself. Recursion is used in a variety of disciplines...
    31 KB (3,669 words) - 05:59, 9 March 2025
  • for example by using the Łoś–Vaught test. Stating definitions and propositions in a way such that each new term can be formally eliminated by the priorly...
    13 KB (1,769 words) - 23:41, 6 June 2025
  • formats and devices. Specifically, this term defines an extension of the standard-definition television (SDTV) format that enables a clearer picture during...
    8 KB (889 words) - 15:28, 14 September 2024
  • adequately represented by the set of theorems alone. (For example, Kleene's logic has no theorems at all.) In such cases, alternative definitions of decidability...
    16 KB (1,887 words) - 21:01, 15 May 2025
  • Thumbnail for Aleph number
    {\displaystyle \aleph _{0},} the smallest infinite cardinality. The definition of ℵ 1 {\displaystyle \aleph _{1}} implies (in ZF, Zermelo–Fraenkel set...
    17 KB (2,453 words) - 20:41, 24 May 2025
  • worthy or fit' or 'that which commends itself as evident'. The precise definition varies across fields of study. In classic philosophy, an axiom is a statement...
    34 KB (4,918 words) - 17:20, 17 May 2025
  • Intension (category Definition)
    the sentence. Description logic Connotation Extension (predicate logic) Extensionality Intensional definition Intensional logic Montague grammar Temperature...
    8 KB (1,055 words) - 14:53, 24 May 2025
  • Fallacies of definition are the various ways in which definitions can fail to explain terms. The phrase is used to suggest an analogy with an informal...
    7 KB (819 words) - 09:33, 29 May 2025
  • Thumbnail for Union (set theory)
    \exists !X(\operatorname {Union} (X,Y))} Then, one can use an extension by definition to add the union operator ⋃ A {\displaystyle \bigcup A} to the...
    14 KB (1,989 words) - 08:46, 6 May 2025
  • particular without reference to set theory or using extensions such as plural quantification. Elementary definitions are of particular interest because they admit...
    878 bytes (108 words) - 00:49, 8 April 2024
  • dictionary. Context as Other Minds Double entendre Extension Extensional definition Intension Intensional definition Loaded language Metacommunicative competence...
    5 KB (499 words) - 04:55, 25 March 2025