limited principle of omniscience
weakening of the law of excluded middle in constructive mathematics
| rdfs:label |
"limited principle of omniscience"@en
|
|
skos:alt |
"LPO"@en |
| schema:description | "weakening of the law of excluded middle in constructive mathematics"@en |
|
schema:date |
"2024-12-08T21:13:13+00:00"^^xsd:dateTime |
| schema:version | 2285087847 |
| wikibase:identifiers | 1 |
| wikibase:sitelinks | 1 |
| wikibase:statements | 7 |
| p:P138 | wd:statement/Q6549544-15a8cb3f-4fe1-bff6-c395-601cd2528e5d |
| p:P1813 | wd:statement/Q6549544-bcca7808-4e58-0b02-e9c1-391d8e3738b7 |
| p:P2579 | wd:statement/Q6549544-31545faa-41b5-099d-088c-cd0bf916da96 |
| wd:statement/Q6549544-884b477d-4830-0dfc-debf-22862508a239 | |
| p:P31 | wd:statement/Q6549544-fe84c6fa-4dbb-b3d6-d6b7-e96ef5b789b4 |
| p:P6104 | wd:statement/Q6549544-278C3316-A678-4E57-966A-2D69D42B9B9F |
| p:P646 | wd:statement/Q6549544-DF80C158-6DEA-41D0-AE6A-B599B86F468D |
| wdt:P138 | omniscience |
| wdt:P1813 | "LPO"@en |
| wdt:P2579 | constructivism |
| reverse mathematics | |
| wdt:P31 | axiom |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P646 | "/m/0nb3dhr" |
Download as: