About: Gimel function

An Entity of Type: Abstraction100002137, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org:8891

In axiomatic set theory, the gimel function is the following function mapping cardinal numbers to cardinal numbers: where cf denotes the cofinality function; the gimel function is used for studying the continuum function and the cardinal exponentiation function. The symbol is a serif form of the Hebrew letter gimel.

Property Value
dbo:abstract
  • Funkce gimel je pojem z teorie množin, který tematicky patří do kardinální aritmetiky. (cs)
  • In axiomatic set theory, the gimel function is the following function mapping cardinal numbers to cardinal numbers: where cf denotes the cofinality function; the gimel function is used for studying the continuum function and the cardinal exponentiation function. The symbol is a serif form of the Hebrew letter gimel. (en)
  • 집합론에서 기멜 함수(ℷ函數, 영어: gimel function)는 무한 기수의 거듭제곱을 나타낼 수 있는 함수이다. (ko)
  • 在公理集合論裡，駱駝函數（Gimel function）是把基數映射至基數的下列函數： 其中cf標記為共尾性函數，駱駝函數是用來研究和基數指數函數。根據，有。 (zh)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 360507 (xsd:integer)
dbo:wikiPageLength
  • 3965 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1051527847 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • Funkce gimel je pojem z teorie množin, který tematicky patří do kardinální aritmetiky. (cs)
  • In axiomatic set theory, the gimel function is the following function mapping cardinal numbers to cardinal numbers: where cf denotes the cofinality function; the gimel function is used for studying the continuum function and the cardinal exponentiation function. The symbol is a serif form of the Hebrew letter gimel. (en)
  • 집합론에서 기멜 함수(ℷ函數, 영어: gimel function)는 무한 기수의 거듭제곱을 나타낼 수 있는 함수이다. (ko)
  • 在公理集合論裡，駱駝函數（Gimel function）是把基數映射至基數的下列函數： 其中cf標記為共尾性函數，駱駝函數是用來研究和基數指數函數。根據，有。 (zh)
rdfs:label
  • Funkce gimel (cs)
  • Gimel-Funktion (de)
  • Gimel function (en)
  • 기멜 함수 (ko)
  • 駱駝函數 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License