SHMARQL

Teichmüller–Tukey lemma

<http://www.wikidata.org/entity/Q277987>

lemma that states that every nonempty collection of finite character has a maximal element with respect to inclusion
rdfs:label
"Teichmüller–Tukey lemma"@en
skos:altLabel
"Tukey's lemma"@en
schema:description
"lemma that states that every nonempty collection of finite character has a maximal element with respect to inclusion"@en
schema:dateModified "2025-12-02T02:23:36+00:00"^^xsd:dateTime
schema:version 2436953388
wikibase:identifiers 4
wikibase:sitelinks 9
wikibase:statements 12
p:P138 wd:statement/Q277987-7f9cbde4-4022-877e-ee68-daea219831fc
wd:statement/Q277987-8613da4d-44ed-6991-1dc5-c4b35595f85a
p:P2579 wd:statement/Q277987-7d069b6c-4ecf-9ddf-daa0-22f52428518d
wd:statement/Q277987-d071ed19-41bd-9e3b-d5db-199f5e32c422
p:P31 wd:statement/Q277987-3a1fbd11-4a26-9dce-990a-12118b8028e5
wd:statement/Q277987-3ce912c9-4803-ddf4-f742-2c23597b98f0
p:P460 wd:statement/Q277987-78eddab1-4834-b258-af92-1d6da5d60f67
p:P6104 wd:statement/Q277987-906F5E7B-9E88-4207-9FE5-6DB85FB33CCB
p:P6366 wd:statement/Q277987-8ECDECAA-1072-4BE4-BD9B-84BEC87EB6F4
p:P646 wd:statement/Q277987-97579DFE-25CD-4927-A424-FB33C6B87CAB
p:P6781 wd:statement/Q277987-7ac7b70b-4652-f8e1-a1b7-a3c98f9a14e9
p:P9621 wd:statement/Q277987-d8c938cd-4865-9dd5-7c74-36efa4ae7052
p:direct-normalized/P6366 <https://makg.org/entity/41350624>
wdt:P138 John Tukey
Oswald Teichmüller
wdt:P2579 set theory
order theory
wdt:P31 equivalent of the axiom of choice
theorem
wdt:P460 axiom of choice
wdt:P6104 WikiProject Mathematics
wdt:P6366 "41350624"
wdt:P646 "/m/05p8s2c"
wdt:P6781 "Tukey's_Lemma"
wdt:P9621 "lemma-di-tukey"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata