Displaying similar documents to “Selected Chapters From Algebra, VI. Infinite Sets”

Six lonely runners.

Bohman, Tom, Holzman, Ron, Kleitman, Dan (2001)

The Electronic Journal of Combinatorics [electronic only]

Similarity:

Aronszajn orderings.

Todorčević, S. (1995)

Publications de l'Institut Mathématique. Nouvelle Série

Similarity:

On global induction mechanisms in a μ -calculus with explicit approximations

Christoph Sprenger, Mads Dam (2003)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

We investigate a Gentzen-style proof system for the first-order μ -calculus based on cyclic proofs, produced by unfolding fixed point formulas and detecting repeated proof goals. Our system uses explicit ordinal variables and approximations to support a simple semantic induction discharge condition which ensures the well-foundedness of inductive reasoning. As the main result of this paper we propose a new syntactic discharge condition based on traces and establish its equivalence with...