• 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • finite abelian extension of local or global fields provides a quantitative measure of the ramification in the extension. The definition of the conductor...
    8 KB (1,227 words) - 08:09, 9 January 2025
  • left and right kan extensions. Spelling the definition of adjoints out, we get the following definitions; The right Kan extension amounts to finding the...
    9 KB (1,506 words) - 14:53, 6 June 2025
  • 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
  • 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
  • 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
  • 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
  • Comprehension (logic) (category Definition)
    usage to see 'intension' used for both the composite and the primitive ideas. Extension Extensional definition Intension Intensional definition v t e...
    866 bytes (84 words) - 21:26, 26 February 2025
  • 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
  • stored in the file. The exact definition, giving the criteria for deciding what part of the file name is its extension, belongs to the rules of the specific...
    20 KB (2,736 words) - 12:37, 3 June 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
  • Thumbnail for Mathematical proof
    (384–322 BCE) said definitions should describe the concept being defined in terms of other concepts already known. Mathematical proof was revolutionized by Euclid...
    34 KB (4,229 words) - 11:05, 26 May 2025
  • {\displaystyle \exists x\,(P(x)\wedge \forall y\,(P(y)\to y=x)).} An equivalent definition that separates the notions of existence and uniqueness into two clauses...
    6 KB (848 words) - 23:14, 4 May 2025
  • method and calling a method declared in the type definition. Not all languages implement extension methods in an equally safe manner, however. For instance...
    20 KB (2,521 words) - 16:02, 3 October 2024
  • more arguments in the form of independent variables designated in the definition, which can also contain parameters. The independent variables are mentioned...
    3 KB (436 words) - 07:08, 28 January 2025
  • attributes, viewed together by the mind, are seen under some connexion, that connexion is called a relation. — Augustus De Morgan Definition R is an n-ary relation...
    18 KB (1,905 words) - 13:30, 9 January 2025