The intersection of a linearly ordered set of total subrelations of a total relation with range 2 need not be total, constructively.
Some forms of excluded middle for linear orders
Schuster, Peter;Wessel, Daniel
2019-01-01
Abstract
The intersection of a linearly ordered set of total subrelations of a total relation with range 2 need not be total, constructively.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
