limited principle of omniscience (Q6549544)
Jump to navigation
Jump to search
weakening of the law of excluded middle in constructive mathematics
- LPO
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | limited principle of omniscience |
weakening of the law of excluded middle in constructive mathematics |
|
Statements
LPO (English)
0 references