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: 93,867

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

Extending Partial Orders on o‐Minimal Structures to Definable Total Orders.Dugald Macpherson & Charles Steinhorn - 1997 - Mathematical Logic Quarterly 43 (4):456-464.
Sortability and Extensibility of the Graphs of Recursively Enumerable Partial and Total Orders.John Case - 1976 - Mathematical Logic Quarterly 22 (1):1-18.
Definably extending partial orders in totally ordered structures.Janak Ramakrishnan & Charles Steinhorn - 2014 - Mathematical Logic Quarterly 60 (3):205-210.
The length of an intersection.Christian Delhommé & Maurice Pouzet - 2017 - Mathematical Logic Quarterly 63 (3-4):243-255.
On the nonboundability of total effective operators.Thomas Zeugmann - 1984 - Mathematical Logic Quarterly 30 (9‐11):169-172.
Embedding Properties of Total Recursive Functions.W. Maier, W. Menzel & V. Sperschneider - 1982 - Mathematical Logic Quarterly 28 (33‐38):565-574.
Almost Total Elementary Maps.Koichiro Ikeda & Akito Tsuboi - 1995 - Mathematical Logic Quarterly 41 (3):353-361.
Distance based revision of preferential logics.L. Audibert, C. Lhoussaine & K. Schlechta - 1999 - Logic Journal of the IGPL 7 (4):429-446.
On linear Brouwerian logics.Zofia Kostrzycka - 2014 - Mathematical Logic Quarterly 60 (4-5):304-313.
On Partial Classes Containig All Monotone and Zero-Preserving Total Boolean Functions.Birger Strauch - 1997 - Mathematical Logic Quarterly 43 (4):510-524.

Analytics

Added to PP
2019-04-27

Downloads
25 (#620,189)

6 months
4 (#1,004,663)

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 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):461-461.
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 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