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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom