Athanassios Tzouvaras

We present the axioms of Alternative Set Theory (AST) in the language of second‐order arithmetic and study its ω‐ and β‐models. These are expansions of the form (M, M), M ⊆ P(M), of nonstandard models M of Peano arithmetic (PA) such that (M, M) ⊩ AST and ω ϵ M. Our main results are: (1) A countable M ⊩ PA is β‐expandable iff there is a regular well‐ordering for M. (2) Every countable β‐model can be elementarily extended to an ω‐model which is not a β‐model. (3) The Ω‐orderings of an ω‐model (M, M) are absolute well‐orderings iff the standard system SS(M) of M is a β‐model of A−2. (4) There are ω‐expandable models M such that no ω‐expansion of M contains absolute Ω‐orderings. (5) There are s‐expandable models (i. e., their ω‐expansions contain only absolute Ω‐orderings) which are not β‐expandable. (6) For every countable β‐expansion M of M, there is a generic extension M[G] which is also a β‐expansion of M. (7) If M is countable and β‐expandable, then there are regular orderings <1, <2 such that neither <1 belongs to the ramified analytical hierarchy of the structure (M, <2), nor <2 to that of (M, <1). (8) The result (1) can be improved as follows: A countable M ⊩ PA is β‐expandable iff there is a semi‐regular well‐ordering for M.

We approach the sorites paradox through an observer-based and time-dependent approach to truth of vague assertions. Formally the approach gives rise to a semantics, called fluxing-object semantics (FOS), because it involves models that contain “fluxing objects”, that is, entities changing with time and observer. The models are equipped with agents (observers) and a linear and discrete time axis for time. The changing entities are represented by partial functions of time and agent, and this partiality causes truth-value gaps. If we interpret a truth-value gap as a third truth value, then FOS becomes a three-valued logic, which, quite interestingly, is proved identical to strong Kleene three-valued logic. The sorites phenomena can be represented in a structure of FOS as special objects that change imperceptibly with respect to an observer and with respect to a particular attribute. In this account the key point that eliminates the paradoxical character of sorites is the partiality of functions. When the observer is fixed the partiality corresponds to interrupted watching on his part. The interruption creates watching gaps during which the attributed property of the object as understood by the observer may change, without violating the imperceptibility condition. Interrupted watching has, according to experts on visual attention and focusing capabilities of humans, a firm physiological justification. The relationship of watching gaps with horizon crossing is also discussed.

This paper is a sequel to Tzouvaras :571–601, 2010), where a local version of ZFC, LZFC, was introduced and examined and transitive models of ZFC with properties that resemble large cardinal properties, namely Mahlo and Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi_1^1}$$\end{document}-indescribable models, were considered. By analogy we refer to such models as “large models”, and the properties in question as “large model properties”. Continuing here in the same spirit we consider further large model properties, that resemble stronger large cardinals, namely, “elementarily embeddable”, “extendible” and “strongly extendible”, “critical” and “strongly critical”, “self-critical” and “strongly self-critical”, the definitions of which involve elementary embeddings. Each large model property ϕ gives rise to a localization axiom Locϕ saying that every set belongs to a transitive model of ZFC satisfying ϕ. The theories LZFCϕ = LZFC + Locϕ are local analogues of the theories ZFC+“there is a proper class of large cardinals ψ”, where ψ is a large cardinal property. If sext is the property of strong extendibility, it is shown that LZFCsext proves Powerset and Σ1-Collection. In order to refute V = L over LZFC, we combine the existence of strongly critical models with an axiom of different flavor, the Tall Model Axiom. V = L can also be refuted by TMA plus the axiom GC saying that “there is a greatest cardinal”, although it is not known if TMA + GC is consistent over LZFC. Finally Vopěnka’s Principle and its impact on LZFC are examined. It is shown that LZFCsext + V P proves Powerset and Replacement, i.e., ZFC is fully recovered. The same is true for some weaker variants of LZFCsext. Moreover the theories LZFCsext+V P and ZFC+V P are shown to be identical.

We continue our work [5] on the logic of multisets (or on the multiset semantics of linear logic), by interpreting further the additive disjunction . To this purpose we employ a more general class of processes, called free, the axiomatization of which requires a new rule (not compatible with the full LL), the cancellation rule. Disjunctive multisets are modeled as finite sets of multisets. The -Horn fragment of linear logic, with the cut rule slightly restricted, is sound with respect to this semantics. Another rule, which is a slight modification of cancellation, added to HF makes the system sound and complete.

A continuum is here a primitive notion intended to correspond precisely to a path-connected subset of the usual euclidean space. In contrast, however, to the traditional treatment, we treat here continua not as pointsets, but as irreducible entities equipped only with a partial ordering ≤ interpreted as parthood. Our aim is to examine what basic topological and geometric properties of continua can be expressed in the language of ≤, and what principles we need in order to prove elementary facts about them. Surprisingly enough ≤ suffices to formulate the very heart of continuity (=jumpless and gapless transitions) in a general setting. Further, using a few principles about ≤ (together with the axioms of ZFC), we can define points, joins, meets and infinite closeness. Most important, we can develop a dimension theory based on notions like path, circle, line (=one-dimensional continuum), simple line and surface (=two-dimensional continuum), recovering thereby in a rigorous way Poincaré's well-known intuitive idea that dimension expresses the ways in which a continuum can be torn apart. We outline a classification of lines according to the number of circles and branching points they contain. The ordering (C,≤) is a topped and bottomed, atomic, almost dense and complete partial ordering, weaker than a lattice. Continuous transformations from C to C are also defined in a natural way and results about them are proved.

The powerset operator, , is an operator which (1) sends sets to sets,(2) is defined by a positive formula and (3) raises the cardinality of its argument, i.e., | (x)|>|x|. As a consequence of (3), has a proper class as least fixed point (the universe itself). In this paper we address the questions: (a) How does contribute to the generation of the class of all positive operators? (b) Are there other operators with the above properties, “independent” of ? Concerning (a) we show that every positive operator is a combination of the identity, powerset, and almost constant operators. This enables one to define what a -independent operator is. Concerning (b) we show that every -independent bounded positive operator is not -like

We argue that E. Wigner’s well-known claim that mathematics is unreasonably effective in physics is only one side of the hill. The other side is the surprising insufficiency of present-day mathematics to capture the uniformities that arise in science outside physics. We describe roughly what the situation is in the areas of everyday reasoning, theory of meaning and vagueness. We make also the point that mathematics, as we know it today, founded on the concept of set, need not be a conceptually final and closed system, but only a stage in a developing subject

Let ⊢ be the ordinary deduction relation of classical first-order logic. We provide an "analytic" subrelation ⊢a of ⊢ which for propositional logic is defined by the usual "containment" criterion Γ ⊢a φ iff Γ⊢φ and Atom ⊆ Atom, whereas for predicate logic, ⊢a is defined by the extended criterion Γ⊢aφ iff Γ⊢aφ and Atom ⊆' Atom, where Atom ⊆' Atom means that every atomic formula occurring in φ "essentially occurs" also in Γ. If Γ, φ are quantifier-free, then the notions "occurs" and "essentially occurs" for atoms between Γ and φ coincide. If ⊢ is formalized by Gentzen's calculus of sequents, then we show that ⊢a is axiomatizable by a proper fragment of analytic inference rules. This is mainly due to cut elimination. By "analytic inference rule " we understand here a rule r such that, if the sequent over the line is analytic, then so is the sequent under the line. We also discuss the notion of semantic relevance as contrasted to the previous syntactic one. We show that when introducing semantic sequents as axioms, i.e. when extending the pure logical axioms and rules by mathematical ones, the property of syntactic relevance is lost, since cut elimination no longer holds. We conclude that no purely syntactic notion of analytic deduction can ever replace successfully the complex semantico-syntactic deduction we already possess.

In the context of a distributive lattice we specify the sort of mappings that could be generally called ''negations'' and study their behavior under iteration. We show that there are periodic and nonperiodic ones. Natural periodic negations exist with periods 2, 3, and 4 and pace 2, as well as natural nonperiodic ones, arising from the interaction of interior and quasi interior mappings with the pseudocomplement. For any n and any even, negations of period n and pace s can also be constructed, but in a rather ad hoc and trivial way.

We present a formalization of collections that Cornelius Castoriadis calls “magmas”, especially the property which mainly characterizes them and distinguishes them from the usual cantorian sets. It is the property of their elements to _depend_ on other elements, either in a one-way or a two-way manner, so that one cannot occur in a collection without the occurrence of those dependent on it. Such a dependence relation on a set _A_ of atoms (or urelements) can be naturally represented by a pre-order relation \(\preccurlyeq \) of _A_ with the extra condition that it contains no minimal elements. Then, working in a mild strengthening of the theory \(\textrm{ZFA}\), where _A_ is an infinite set of atoms equipped with a primitive pre-ordering \(\preccurlyeq \), the class of magmas over _A_ is represented by the class \(LO(A,\preccurlyeq )\) of nonempty open subsets of _A_ with respect to the lower topology of \(\langle A,\preccurlyeq \rangle \). The non-minimality condition for \(\preccurlyeq \) implies that all sets of \(LO(A,\preccurlyeq )\) are infinite and none of them is \(\subseteq \) -minimal. Next the pre-ordering \(\preccurlyeq \) is shifted (by a kind of simulation) to a pre-ordering \(\preccurlyeq ^+\) on \({{\mathcal {P}}}(A)\), which turns out to satisfy the same non-minimality condition as well, and which, happily, when restricted to \(LO(A,\preccurlyeq )\) coincides with \(\subseteq \). This allows us to define a hierarchy \(M_\alpha (A)\), along all ordinals \(\alpha \ge 1\), the“magmatic hierarchy”, such that \(M_1(A)=LO(A,\preccurlyeq )\), \(M_{\alpha +1}(A)=LO(M_\alpha (A),\subseteq )\), and \(M_\alpha (A)=\bigcup _{\beta, for a limit ordinal \(\alpha \). For every \(\alpha \ge 1\), \(M_\alpha (A)\subseteq V_\alpha (A)\), where \(V_\alpha (A)\) are the levels of the universe _V_(_A_) of \(\textrm{ZFA}\). The class \(M(A)=\bigcup _{\alpha \ge 1}M_\alpha (A)\) is the “magmatic universe above _A_.” The axioms of Powerset and Union (the latter in a restricted version) turn out to be true in \(\langle M(A),\in \rangle \). Besides it is shown that three of the five principles about magmas that Castoriadis proposed in his writings (mildly modified and adapted to the needs of formalization), \(M2^*\), \(M3^*\) and \(M5^*\), are true of _M_(_A_). A selection of excerpts from these writings, in which the concept of magma was first introduced and elaborated, is presented in the Introduction.

We adapt C. Freiling's axioms of symmetry 190–200) to models of set theory with classes by identifying small classes with sets getting thus a sequence of principles An, for n2, of increasing strength. Several equivalents of A2 are given. A2 is incompatible both with the foundation axiom and the antifoundation axioms AFA considered in Aczel . A hierarchy of symmetry degrees of preorderings is introduced and compared with An. Models are presented in which this hierarchy is strict. The main result of the paper is that a class X satisfies ¬An iff it has symmetry degree n−2

We prove a combinatorial result for models of the 4-fragment of the Simple Theory of Types , TST4. The result says that if is a standard transitive and rich model of TST4, then satisfies the 0,0,n-property, for all n≥2. This property has arisen in the context of the consistency problem of the theory New Foundations . The result is a weak form of the combinatorial condition that was shown in Tzouvaras [5] to be equivalent to the consistency of NF. Such weak versions were introduced in Tzouvaras [6] in order to relax the intractability of the original condition. The result strengthens one of the main theorems of Tzouvaras [5, Theorem 3.6] which is just equivalent to the 0,0,2-property

We reformulate slightly Russell's notion of typicality, so as to eliminate its circularity and make it applicable to elements of any first‐order structure. We argue that the notion parallels Martin‐Löf (ML) randomness, in the sense that it uses definable sets in place of computable ones and sets of “small” cardinality (i.e., strictly smaller than that of the structure domain) in place of measure zero sets. It is shown that if the domain M satisfies, then there exist typical elements and only non‐typical ones. In particular this is true for the standard model of second‐order arithmetic. By allowing parameters in the defining formulas, we are led to relative typicality, which satisfies most of van Lambalgen's axioms for relative randomness. However van Lambalgen's theorem is false for relative typicality. The class of typical reals is incomparable (with respect to ⊆) with the classes of ML‐random, Schnorr random and computably random reals. Also the class of typical reals is closed under Turing degrees and under the jump operation (both ways).

We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by Loc(ZFC), says that every set belongs to a transitive model of ZFC. LZFC consists of Loc(ZFC) plus some elementary axioms forming Basic Set Theory (BST). Some theoretical reasons for this shift of view are given. All ${\Pi_2}$ consequences of ZFC are provable in LZFC. LZFC strongly extends Kripke-Platek (KP) set theory minus Δ0-Collection and minus ${\in}$ -induction scheme. ZFC+ “there is an inaccessible cardinal” proves the consistency of LZFC. In LZFC we focus on models rather than cardinals, a transitive model being considered as the analogue of an inaccessible cardinal. Pushing this analogy further we define α-Mahlo models and ${\Pi_1^1}$ -indescribable models, the latter being the analogues of weakly compact cardinals. Also localization axioms of the form ${Loc({\rm ZFC}+\phi)}$ are considered and their global consequences are examined. Finally we introduce the concept of standard compact cardinal (in ZFC) and some standard compactness results are proved

A structural (as opposed to Zadeh's quantitative) approach to fuzziness is given, based on the operator "very", which is added to the language of set theory together with some elementary axioms about it. Due to the axiom of foundation and to a lifting axiom, the operator is proved trivial on the cumulative hierarchy of ZF. So we have to drop either foundation or lifting. Since fuzziness concerns complemented predicates rather than sets, a class theory is needed for the very operator. And of them the Kelley-Morse (KM) theory is more appropriate for reasons of class existence. Several definable realizations of the very-operator are presented in KM⁻. In the last section we consider the operator "very" without the lifting axiom on classes of urelements. To each structurally fuzzy set X a traditional quantitative fuzzy set X̄ is assigned -- its quantitative representation. This way we are able partly to recover ordinary fuzzy sets from the structurally fuzzy ones

We adjust the notion of typicality originated with Russell, which was introduced and studied in a previous paper for general first-order structures, to make it expressible in the language of set theory. The adopted definition of the class ${\rm NT}$ of nontypical sets comes out as a natural strengthening of Russell's initial definition, which employs properties of small (minority) extensions, when the latter are restricted to the various levels $V_\zeta$ of $V$. This strengthening leads to defining ${\rm NT}$ as the class of sets that belong to some countable ordinal definable set. It follows that ${\rm OD}\subseteq {\rm NT}$ and hence ${\rm HOD}\subseteq {\rm HNT}$. It is proved that the class ${\rm HNT}$ of hereditarily nontypical sets is an inner model of ${\rm ZF}$. Moreover the (relative) consistency of $V\neq {\rm NT}$ is established, by showing that in many forcing extensions $M[G]$ the generic set $G$ is a typical element of $M[G]$, a fact which is fully in accord with the intuitive meaning of typicality. In particular it is consistent that there exist continuum many typical reals. In addition it follows from a result of Kanovei and Lyubetsky that ${\rm HOD}\neq {\rm HNT}$ is also relatively consistent. In particular it is consistent that ${\cal P}(\omega)\cap {\rm OD}\subsetneq{\cal P}(\omega)\cap {\rm NT}$. However many questions remain open, among them the consistency of ${\rm HOD}\neq {\rm HNT}\neq V$, ${\rm HOD}={\rm HNT}\neq V$ and ${\rm HOD}\neq {\rm HNT}= V$.

We present the axioms of Alternative Set Theory in the language of second-order arithmetic and study its ω- and β-models. These are expansions of the form , M ⊆ P, of nonstandard models M of Peano arithmetic such that ⊩ AST and ω ϵ M. Our main results are: A countable M ⊩ PA is β-expandable iff there is a regular well-ordering for M. Every countable β-model can be elementarily extended to an ω-model which is not a β-model. The Ω-orderings of an ω-model are absolute well-orderings iff the standard system SS of M is a β-model of A−2. There are ω-expandable models M such that no ω-expansion of M contains absolute Ω-orderings. There are s-expandable models which are not β-expandable. For every countable β-expansion M of M, there is a generic extension M[G] which is also a β-expansion of M. If M is countable and β-expandable, then there are regular orderings <1, <2 such that neither <1 belongs to the ramified analytical hierarchy of the structure , nor <2 to that of . The result can be improved as follows: A countable M ⊩ PA is β-expandable iff there is a semi-regular well-ordering for M

We formulate C. Freiling's axioms of symmetry for general second-order structures with respect to a certain ideal of small sets contained in them and find several equivalent formulations of the principles. Then we focus on particular models, namely saturated and recursively saturated ones, and show that they are symmetric with respect to appropriate classes of small sets when their second-order part consists of definable sets. Some asymmetric models are also exhibited as well as partial asymmetric ones constructed by forcing

We give a necessary and sufficient condition in order that a type-shifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is proved that, if for every n ≥ 1 there is a model of TST in the ground model M of ZFC that contains an n-extendible coherent pair, then there is a generic extension M[G] of M that contains a model of TST with a type-shifting automorphism, and hence M[G] contains a model of NF. The converse holds trivially. It is also proved that there exist models of TST containing l-extendible coherent pairs.

We present a formal first-order theory of artificial objects, i.e., objects made out of a finite number of parts and subject to assembling and dismantling processes. These processes are absolutely reversible. The theory is an extension of the theory of finite sets with urelements. The notions of transformation and identity are defined and studied on the assumption that the objects are homogeneous, that is to say, all their atomic parts are of equal ontological importance. Particular emphasis is given to the behavior of classes of artifacts in time. We call such classes satisfying certain preservation conditions worlds. Various results concerning the existence, extension, and completeness of worlds are proved.

We consider finite multisets over some set of urelements equipped only with additive union [uplus ] and show that the {[otimes], -0}-Horn fragment of Intuitionistic Linear Logic has a sound and complete interpretation in them by interpreting [otimes] as [uplus ]. The linear implication is interpreted by ordered pairs of multisets expressing replacement. The operator ! is also defined in an asymptotic way. Soundness, completeness and partial completeness results are proved for the {×, -0, !}-Horn fragment as well