SHMARQL
Docs
Query
Entity
Story editor
Hartogs number
<http:/
/
www.wikidata.org/
entity/
Q1186007>
given a set, the least ordinal such that there is no injection from the ordinal into the set
rdfs:
label
ca
de
en
eo
es
fr
he
ja
ko
pl
pt
zh
zh-cn
zh-hans
zh-hant
"Hartogs number"
@en
"Hartogs 数"
@zh-cn
"Hartogs 数"
@zh-hans
"Hartogs 數"
@zh-hant
"Nombre de Hartogs"
@ca
"Número de Hartogs"
@es
"Número de Hartogs"
@pt
"Satz von Hartogs"
@de
"Twierdzenie Hartogsa"
@pl
"nombro de Hartogs"
@eo
"ordinal de Hartogs"
@fr
"מספר הרטוגס"
@he
"ハルトフ数"
@ja
"哈特格斯数"
@zh
"하르톡스 수"
@ko
skos:
alt
Label
en
es
fr
ko
pl
zh
"Cardinal de Hartogs"
@fr
"Funkcja Hartogsa"
@pl
"Hartogs ordinal"
@en
"Hartogs 数"
@zh
"Numero de Hartogs"
@es
"하르톡스의 정리"
@ko
schema:
description
ca
en
he
pl
"given a set, the least ordinal such that there is no injection from the ordinal into the set"
@en
"tipus de nombre cardinal"
@ca
"twierdzenie teorii mnogości o liczbach porządkowych"
@pl
"סוג מסוים של מספר סודר"
@he
schema:
date
Modified
"2026-10-28T18:03:23+00:00"
^^xsd:dateTime
schema:
version
2561756476
wikibase:
identifiers
5
wikibase:
sitelinks
10
wikibase:
statements
8
p:
P12888
wd:
statement/Q1186007-2E58A8CC-9838-4572-B154-B42AFC179333
p:
P138
wd:
statement/Q1186007-9d15c8bd-46d2-daea-2ae1-c33d7a00ca60
p:
P279
wd:
statement/Q1186007-847ce856-4a74-abb4-fbf7-a65c84900fdf
p:
P31
wd:
statement/Q1186007-231db148-4427-046b-a122-1551f31b100c
p:
P4215
wd:
statement/Q1186007-24A3E62F-D52F-449E-95B5-555572231DAF
p:
P6366
wd:
statement/Q1186007-81FED6A9-5D2C-43B5-8FED-F7BA605E7FCC
p:
P646
wd:
statement/Q1186007-C0D28B35-AEAB-4F4A-8A73-95A885083585
p:
P6781
wd:
statement/Q1186007-3396e818-4de0-f5ae-8ece-d2ec072a240c
p:
direct-
normalized/
P6366
<https:/
/
makg.org/
entity/
202634877>
wdt:
P12888
"df-har"
wdt:
P138
Friedrich Hartogs
wdt:
P279
ordinal number
wdt:
P31
mathematical concept
wdt:
P4215
"Hartogs number"
wdt:
P6366
"202634877"
wdt:
P646
"/m/08h94y"
wdt:
P6781
"Definition:Hartogs_Number"
Download as:
Turtle
JSON-LD
RDF/XML
data from SPARQL profile:
Wikidata