Add to ORKGAn invocation of Zorn’s Lemma (ZL) often takes place within an indirect proof of a universal statement. Supposing towards a contradiction that there be any counterexample, the maximal counterexample provided by ZL helps—by a “one-step ” argument [1]—to the desired contradiction. Crucially though, this “one
We give a complete description of maximal compatible partial orders on the mono-unary algebra $(A,f)...
Se presenta un resultado sobre existencia de elementos maximales en espacios métricos ordenados el c...
We describe an axiomatic theory for the concept of one-place, partial function, where function is ta...
The typical indirect proof of an abstract extension theorem, by the Kuratowski-Zorn lemma, is based ...
We answer the question, when a partial order in a partially ordered algebraic structure has a compat...
In this chapter we introduce a primary tool for dealing with in\u85nite preordered sets. This is the...
We show that the maximal linear extension theorem for well partial orders is equivalent over RCA_0 t...
The goal of this article is to prove Kuratowski-Zorn lemma. We prove it in a number of forms (theore...
Zorn’s lemma is a result in set theory that appears in proofs of some non-constructive existence the...
It is shown that the boolean prime ideal theorem BPIT : every boolean algebra has a prime ideal, doe...
We prove that a partial order #<=#"G on R"m"x"n can always be extended to a G...
AbstractThe linear extension majority (LEM) graph (X, > p) of a finite partially ordered set (X, P) ...
A binary relation! on a set P is defined to be a partial order on P when! is reflexive, transitive, ...
The objective of this article is to present an original proof of the following theorem: Thereis a ge...
NOTE: Text or symbols not renderable in plain ASCII are indicated by [...]. Abstract is included in...
We give a complete description of maximal compatible partial orders on the mono-unary algebra $(A,f)...
Se presenta un resultado sobre existencia de elementos maximales en espacios métricos ordenados el c...
We describe an axiomatic theory for the concept of one-place, partial function, where function is ta...
The typical indirect proof of an abstract extension theorem, by the Kuratowski-Zorn lemma, is based ...
We answer the question, when a partial order in a partially ordered algebraic structure has a compat...
In this chapter we introduce a primary tool for dealing with in\u85nite preordered sets. This is the...
We show that the maximal linear extension theorem for well partial orders is equivalent over RCA_0 t...
The goal of this article is to prove Kuratowski-Zorn lemma. We prove it in a number of forms (theore...
Zorn’s lemma is a result in set theory that appears in proofs of some non-constructive existence the...
It is shown that the boolean prime ideal theorem BPIT : every boolean algebra has a prime ideal, doe...
We prove that a partial order #<=#"G on R"m"x"n can always be extended to a G...
AbstractThe linear extension majority (LEM) graph (X, > p) of a finite partially ordered set (X, P) ...
A binary relation! on a set P is defined to be a partial order on P when! is reflexive, transitive, ...
The objective of this article is to present an original proof of the following theorem: Thereis a ge...
NOTE: Text or symbols not renderable in plain ASCII are indicated by [...]. Abstract is included in...
We give a complete description of maximal compatible partial orders on the mono-unary algebra $(A,f)...
Se presenta un resultado sobre existencia de elementos maximales en espacios métricos ordenados el c...
We describe an axiomatic theory for the concept of one-place, partial function, where function is ta...