[13] **viXra:1903.0410 [pdf]**
*replaced on 2019-03-23 07:50:39*

**Authors:** Colin James III

**Comments:** 2 Pages.

Two definitions equations from Eqs. 4.4.1.2 and 4.4.4.2 as rendered are not tautologous, hence denying the monotone functor on KHaus. What follows is that the use of coalgebra to manufacture a geometric modal logic is refuted. Therefore the conjecture is a non tautologous fragment of the universal logic VŁ4.

**Category:** Set Theory and Logic

[12] **viXra:1903.0406 [pdf]**
*submitted on 2019-03-22 14:56:52*

**Authors:** Colin James III

**Comments:** 3 Pages. © Copyright 2019 by Colin James III All rights reserved. Respond to author by email only: info@cec-services dot com. See updated abstract at ersatz-systems.com. (We warn troll Mikko at Disqus to read the article four times before hormonal typing.)

We evaluate six equations for conjectures in five subsections of origins, bases of objects, axiomatic conditions, adjunctions, finite domains, and join-approximable relations. None is tautologous, hence refuting the domain theory of Dana Scott. Therefore, Scott's domain theory is a non tautologous fragment of the universal logic VŁ4.

**Category:** Set Theory and Logic

[11] **viXra:1903.0335 [pdf]**
*submitted on 2019-03-18 17:46:27*

**Authors:** Colin James III

**Comments:** 2 Pages. © Copyright 2019 by Colin James III All rights reserved. Respond to author by email only: info@cec-services dot com. See updated abstract at ersatz-systems.com. (We warn troll Mikko at Disqus to read the article four times before hormonal typing.)

From the summary of standard and mutual induction and coinduction, we evaluated four formulas with non tautologous and hence refutations. Therefore these are non tautologous fragments of the universal logic VŁ4.

**Category:** Set Theory and Logic

[10] **viXra:1903.0302 [pdf]**
*submitted on 2019-03-15 10:50:26*

**Authors:** Colin James III

**Comments:** 2 Pages. © Copyright 2019 by Colin James III All rights reserved. Respond to author by email only: info@cec-services dot com. See updated abstract at ersatz-systems.com. (We warn troll Mikko at Disqus to read the article four times before hormonal typing.)

From the elementary constructive set theory (ECST) of intuitionistic logic, we evaluate six axioms of equality for system CZF. None is tautologous. This refutes those axioms in set theory and by extension denies intuitionistic logic.

**Category:** Set Theory and Logic

[9] **viXra:1903.0289 [pdf]**
*submitted on 2019-03-14 07:25:10*

**Authors:** Colin James III

**Comments:** 2 Pages. © Copyright 2019 by Colin James III All rights reserved. Respond to author by email only: info@cec-services dot com. See updated abstract at ersatz-systems.com. (We warn troll Mikko at Disqus to read the article four times before hormonal typing.)

For the relation of "a point is incident to a straight line", we find that proposition is not tautologous. This denies the conjectured approach of a constructive mapping Euclidean geometry into a Hilbert space and also refutes the Coq proof assistant as a bivalent tool. The conjecture and Coq are therefore non tautologous fragments of the universal logic VŁ4.

**Category:** Set Theory and Logic

[8] **viXra:1903.0237 [pdf]**
*submitted on 2019-03-12 15:08:14*

**Authors:** Colin James III

**Comments:** 2 Pages. © Copyright 2019 by Colin James III All rights reserved. Respond to author by email only: info@cec-services dot com. See updated abstract at ersatz-systems.com. (We warn troll Mikko at Disqus to read the article four times before hormonal typing.)

We examine a sentential logic description, as based on set theory, in support of Suzko's theorem that only two truth values are required as a universal logic. Under syntactic notions, we evaluate three definitions (monotonicity, transivity, permeability) out of six definitions (trivial are substitution-invariance, reflexivity, combined consequence relation). Monotonicity and transivity are not tautologous. Right-to-left permeability is not tautologous. What follows is that a Malinowski
extension of mixed-consequence by relaxation of the two values for three logical values is spurious, especially due to the fact that Suzko's theorem is a conjecture based on the assumption of set theory. What also follows is that compositionality as based on Suzko-Scott reductions are not bivalent and exact, but rather a vector space and probabilistic. Our results point further to the equations analyzed as being non tautologous fragments of the universal logic VL4.

**Category:** Set Theory and Logic

[7] **viXra:1903.0230 [pdf]**
*submitted on 2019-03-12 23:23:19*

**Authors:** Colin James III

**Comments:** 1 Page. © Copyright 2019 by Colin James III All rights reserved. Respond to author by email only: info@cec-services dot com. See updated abstract at ersatz-systems.com. (We warn troll Mikko at Disqus to read the article four times before hormonal typing.)

From the section on Płonka sums, we evaluate an equation derived thereform. It is not tautologous, hence coloring subsequent assertions in the conjecture. This means the non tautologous conjecture is a fragment of the the universal logic VŁ4.

**Category:** Set Theory and Logic

[6] **viXra:1903.0229 [pdf]**
*submitted on 2019-03-12 23:27:58*

**Authors:** Colin James III

**Comments:** 1 Page. © Copyright 2019 by Colin James III All rights reserved. Respond to author by email only: info@cec-services dot com. See updated abstract at ersatz-systems.com. (We warn troll Mikko at Disqus to read the article four times before hormonal typing.)

From the section partitions of frames, local finiteness, and the finite model property, we evaluate that definition. Because it is not tautologous, subsequent equations in the conjecture are denied. This means it is a non tautologous fragment of the universal logic VŁ4.

**Category:** Set Theory and Logic

[5] **viXra:1903.0206 [pdf]**
*replaced on 2019-03-13 08:53:41*

**Authors:** Colin James III

**Comments:** 20 Pages.

This paper demonstrates why logic system VŁ4 is a universal logic composed of any refutation as a non-tautologous fragment. Recent advances are a definitive answer to criticism of logic Ł4, modal equations for lines and angles of the Square of Opposition, confirmation of the 24-syllogisms by updating Modus Cesare and Camestros, and proving that respective quantified and modal operators are equivalent. The parser Meth8 implements VŁ4 as the modal logic model checker Meth8/VŁ4. Over 430 assertions are tested in 2300 assertions with a refutation rate of 81%.

**Category:** Set Theory and Logic

[4] **viXra:1903.0205 [pdf]**
*submitted on 2019-03-11 21:36:16*

**Authors:** Colin James III

**Comments:** 1 Page. © Copyright 2019 by Colin James III All rights reserved. Respond to author by email only: info@cec-services dot com. See updated abstract at ersatz-systems.com. (We warn troll Mikko at Disqus to read the article four times before hormonal typing.)

From the introduction, we evaluate EA elementary arithmetic for induction formulas which are not tautologous. This further refutes the reflection property upon which subsequent assertions are based. These formulas constitute a non tautologous fragment of the universal logic VŁ4.

**Category:** Set Theory and Logic

[3] **viXra:1903.0146 [pdf]**
*submitted on 2019-03-08 09:52:22*

**Authors:** Colin James III

**Comments:** 3 Pages. © Copyright 2019 by Colin James III All rights reserved. Respond to author by email only: info@cec-services dot com. See updated abstract at ersatz-systems.com. (We warn troll Mikko at Disqus to read the article four times before hormonal typing.)

We evaluate canonically logical compatibility relations (CM) and complements (CRS), each in three sets of definitions. None is tautologous, so we avoid the subsequent ten relations. This refutes the "the possibility of a notion of compatibility that allows either for glutty or gappy reasoning". (By extension, paraconsistent logic is rendered untenable.) Therefore the bivalent standard notion of formal theory in logic is confirmed as allowing both assertion and denial as equally valid. In fact, this refutation further disallows injection of a bilateralist approach on many dimensions. This also indirectly reiterates that set theory is not bivalent, and hence derivations therefrom, such as the instant relations, are non tautologous fragments of the universal logic VŁ4.

**Category:** Set Theory and Logic

[2] **viXra:1903.0052 [pdf]**
*submitted on 2019-03-03 10:15:49*

**Authors:** Colin James III

**Comments:** 2 Pages. © Copyright 2019 by Colin James III All rights reserved. Respond to author by email only: info@cec-services dot com. See updated abstract at ersatz-systems.com. (We warn troll Mikko at Disqus to read the article four times before hormonal typing.)

From the background definitions in the ordered Banach space, we evaluate equations to produce the term named positive generating cone. It is not tautologous, hence refuting the model.

**Category:** Set Theory and Logic

[1] **viXra:1903.0049 [pdf]**
*replaced on 2019-03-08 06:41:25*

**Authors:** Ron Ragusa

**Comments:** 6 Pages.

The Interval Sieve Algorithm is a method for generating a list of real numbers on any closed interval [ri, rj] where ri < rj, which can then be defined as the domain of the function f(x) = C.
The purpose of this paper is to delineate the steps of the algorithm and show how it will generate a countable list from which the domain for the function f(x) = C can be defined. Having constructed the list we will prove that the list is complete, that it contains all the numbers in the interval [ri, rj].
Lastly we will demonstrate a restricted proof of the Continuum Hypothesis.

**Category:** Set Theory and Logic