Some forms of excluded middle for linear orders

&
Mathematical Logic Quarterly 65 (1):105-107 (2019)
  Copy   BIBTEX

Abstract

The intersection of a linearly ordered set of total subrelations of a total relation with range 2 need not be total, constructively.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201800038

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Excluded middle.Hugh S. Chandler - 1967 - Journal of Philosophy 64 (24):807-814.
The Law of Excluded Middle and the Problem of Idealism.Marian Przełecki - 1982 - Grazer Philosophische Studien 18 (1):1-16.
The Law of Excluded Middle and the Problem of Idealism.Marian Przełecki - 1982 - Grazer Philosophische Studien 18 (1):1-16.
Linear orders: When embeddability and epimorphism agree.Riccardo Camerlo, Raphaël Carroy & Alberto Marcone - 2019 - Journal of Mathematical Logic 19 (1):1950003.
Counterfactuals and Propositional Contingentism.Peter Fritz & Jeremy Goodman - 2017 - Review of Symbolic Logic 10 (3):509-529.
On the quasi-ordering of borel linear orders under embeddability.Alain Louveau & Jean Saint-Raymond - 1990 - Journal of Symbolic Logic 55 (2):537-560.
Coloring linear orders with Rado's partial order.Riccardo Camerlo & Alberto Marcone - 2007 - Mathematical Logic Quarterly 53 (3):301-305.
On Fraïssé’s conjecture for linear orders of finite Hausdorff rank.Alberto Marcone & Antonio Montalbán - 2009 - Annals of Pure and Applied Logic 160 (3):355-367.
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
Countably categorical coloured linear orders.Feresiano Mwesigye & John K. Truss - 2010 - Mathematical Logic Quarterly 56 (2):159-163.
Generalizations of the Weak Law of the Excluded Middle.Andrea Sorbi & Sebastiaan A. Terwijn - 2015 - Notre Dame Journal of Formal Logic 56 (2):321-331.
Consequences of Conditional Excluded Middle.Jeremy Goodman - manuscript
An Undecidable Linear Order That Is $n$-Decidable for All $n$.John Chisholm & Michael Moses - 1998 - Notre Dame Journal of Formal Logic 39 (4):519-526.
Epistemic truth and excluded middle.Cesare Cozzo - 1998 - Theoria 64 (2-3):243-282.
Folk Judgments About Conditional Excluded Middle.Michael J. Shaffer & James Beebe - 2019 - In Andrew Aberdein & Matthew Inglis (eds.), Advances in Experimental Philosophy of Logic and Mathematics. London: Bloomsbury Academic. pp. 251-276.

Analytics

Added to PP
2019-04-27

Downloads
22 (#692,982)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Schuster
University of Leeds

Citations of this work

No citations found.

Add more citations

References found in this work

Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 24 (25‐30):461-461.
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):461-461.
A logic stronger than intuitionism.Sabine Görnemann - 1971 - Journal of Symbolic Logic 36 (2):249-261.
Implicational complexity in intuitionistic arithmetic.Daniel Leivant - 1981 - Journal of Symbolic Logic 46 (2):240-248.

Add more references