5 citations · 17 across the 9 of their papers we have counts for
9 papers
Asymptotic typicality degrees of properties over finite structures
Athanassios Tzouvaras
In previous work we defined and studied a notion of typicality, originated with B. Russell, for properties and objects in the context of general infinite first-order structures. In…
Large transitive models in local {\rm ZFC}
Athanassios Tzouvaras
This paper is a sequel to \cite{Tz10}, where a local version of ZFC, LZFC, was introduced and examined and transitive models of ZFC with properties that resemble large cardinal pro…
Localizing the axioms
Athanassios Tzouvaras
We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by , says that every set belongs to a transi…
Consequences of Vopěnka's Principle over weak set theories
Athanassios Tzouvaras
It is shown that Vopěnka's Principle (VP) can restore almost the entire ZF over a weak fragment of it. Namely, if EST is the theory consisting of the axioms of Extensionality, Empt…
Semantics for first-order superposition logic
Athanassios Tzouvaras
We investigate how the sentence choice semantics (SCS) for propositional superposition logic (PLS) developed in \cite{Tz17} could be extended so as to successfully apply to first-o…
Propositional superposition logic
Athanassios Tzouvaras
We extend classical Propositional Logic (PL) by adding a new primitive binary connective , intended to represent the "superposition" of sentences and , an operation mot…