On the union of well-founded relations

&
Logic Journal of the IGPL 6 (2):195-201 (1998)
  Copy   BIBTEX

Abstract

We give a criterion for the union of well-founded relations to be well-founded, generalizing results of Geser and of Bachmair-Dershowitz. The proof is written in a calculational style and is conducted entirely in regular algebra

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/6.2.195

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Well-founded Relations in Type Theory.Patricia Peratto - 1997 - Logic Journal of the IGPL 5 (6):811-852.
On the predecessor relation in abstract algebras.Karl-Heinz Diener - 1993 - Mathematical Logic Quarterly 39 (1):492-514.
Non–well-founded derivations in the gödel-löb provability logic.Daniyar Shamkanov - 2020 - Review of Symbolic Logic 13 (4):776-796.
A hierarchy of filters on regular uncountable cardinals.Thomas Jech - 1987 - Journal of Symbolic Logic 52 (2):388-395.
A Remark on Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices.Karl-Heinz Diener - 1994 - Mathematical Logic Quarterly 40 (3):415-421.
Dialectica interpretation of well-founded induction.Helmut Schwichtenberg - 2008 - Mathematical Logic Quarterly 54 (3):229-239.
Non-well-founded proofs for the Grzegorczyk modal logic.Yury Savateev & Daniyar Shamkanov - forthcoming - Review of Symbolic Logic:1-29.
On essentially low, canonically well-generated Boolean algebras.Robert Bonnet & Matatyahu Rubin - 2002 - Journal of Symbolic Logic 67 (1):369-396.
Well Founding Grounding Grounding.Gabriel Oak Rabin & Brian Rabern - 2016 - Journal of Philosophical Logic 45 (4):349-379.
Strong representability of fork algebras, a set theoretic foundation.I. Nemeti - 1997 - Logic Journal of the IGPL 5 (1):3-23.

Analytics

Added to PP
2015-02-04

Downloads
8 (#1,335,493)

6 months
1 (#1,719,665)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references