Premium
Some forms of excluded middle for linear orders
Author(s) -
Schuster Peter,
Wessel Daniel
Publication year - 2019
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201800038
Subject(s) - mathematics , intersection (aeronautics) , relation (database) , set (abstract data type) , range (aeronautics) , combinatorics , pure mathematics , geography , computer science , cartography , materials science , data mining , composite material , programming language
The intersection of a linearly ordered set of total subrelations of a total relation with range 2 need not be total, constructively.