We explore Boolean-valued models of set theory with a class of urelements. In an existing construction, which we call UB, every urelement is its own B-name. We prove the fundamental theorem of UB in the context of ZFUR (i.e., ZF with urelements formulated with Replacement). In particular, UB is shown to preserve Replacement and hence ZFUR. Moreover, UB can both destroy axioms, such as the DCω1-scheme, and recover axioms, such as the Collection Principle. One drawback of (...) UB is that it does not permit mixing names, resulting in a lack of fullness. To address this, we introduce a new construction, UB‾, which is closed under mixtures. We prove that there is an elementary embedding from UB to UB‾. Over ZFUR with the Axiom of Choice, UB‾ is full for every complete Boolean algebra B just in case the Collection Principle holds. (shrink)

This monograph is a follow up to the author's classic text Boolean-Valued Models and Independence Proofs in Set Theory, providing an exposition of some of the most important results in set theory obtained in the 20th century--the independence of the continuum hypothesis and the axiom of choice. Aimed at research students and academics in mathematics, mathematical logic, philosophy, and computer science, the text has been extensively updated with expanded introductory material, new chapters, and a new (...) appendix on category theory, and includes recent developments in the field. Numerous exercises, along with the enlarged and entirely updated background material, make this an ideal text for students in logic and set theory. (shrink)

Boolean-valued models generalize classical two-valued models by allowing arbitrary complete Boolean algebras as value ranges. The goal of my dissertation is to study Boolean-valued models and explore their philosophical and mathematical applications.In Chapter 1, I build a robust theory of first-order Boolean-valued models that parallels the existing theory of two-valued models. I develop essential model-theoretic notions like “Boolean-valuation,” “diagram,” and “elementary diagram,” and prove (...) a series of theorems on Boolean-valued models, including the (strengthened) Soundness and Completeness Theorem, the Löwenheim–Skolem Theorems, the Elementary Chain Theorem, and many more.Chapter 2 gives an example of a philosophical application of Boolean-valued models. I apply Boolean-valued models to the language of mereology to model indeterminacy in the parthood relation. I argue that Boolean-valued semantics is the best degree-theoretic semantics for the language of mereology. In particular, it trumps the well-known alternative—fuzzy-valued semantics. I also show that, contrary to what many have argued, indeterminacy in parthood entails neither indeterminacy in existence nor indeterminacy in identity, though being compatible with both.Chapter 3 (joint work with Bokai Yao) gives an example of a mathematical application of Boolean-valued models. Scott and Solovay famously used Boolean-valued models on set theory to obtain relative consistency results. In Chapter 3, I investigate two ways of extending the Scott–Solovay construction to set theory with urelements. I argue that the standard way of extending the construction faces a serious problem, and offer a new way that is free from the problem.Abstract prepared by Xinhe Wu.E-mail: [email protected]. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model (...) called PS3 which satisfies all the axioms of ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

By a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allowing atoms (ZFA), which contains a copy of the ordinary universe of (two-valued,pure) sets as a transitive subclass; examples include Scott-Solovay Boolean-valued models and their symmetric submodels, as well as Fraenkel-Mostowski permutation models. Any such model M can be regarded as a topos. A logical subtopos E of M is said to represent M if it is (...) complete and its cumulative hierarchy, as defined by Fourman and Hayashi, coincides with the usual cumulative hierarchy of M. We show that, although M need not be a complete topos, it has a smallest complete representing subtopos, and we describe this subtopos in terms of definability in M. We characterize, again in terms of definability, those models M whose smallest representing topos is a Grothendieck topos. Finally, we discuss the extent to which a model can be reconstructed when its smallest representing topos is given. (shrink)

This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice.

In 1981, Takeuti introduced quantum set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed linear subspaces of a Hilbert space in a manner analogous to Boolean-valued models of set theory, and showed that appropriate counterparts of the axioms of Zermelo–Fraenkel set theory with the axiom of choice hold in the model. In this paper, we aim at unifying Takeuti’s model with Boolean-valued (...) models by constructing models based on general complete orthomodular lattices, and generalizing the transfer principle in Boolean-valued models, which asserts that every theorem in ZFC set theory holds in the models, to a general form holding in every orthomodular-valued model. One of the central problems in this program is the well-known arbitrariness in choosing a binary operation for implication. To clarify what properties are required to obtain the generalized transfer principle, we introduce a class of binary operations extending the implication on Boolean logic, called generalized implications, including even nonpolynomially definable operations. We study the properties of those operations in detail and show that all of them admit the generalized transfer principle. Moreover, we determine all the polynomially definable operations for which the generalized transfer principle holds. This result allows us to abandon the Sasaki arrow originally assumed for Takeuti’s model and leads to a much more flexible approach to quantum set theory. (shrink)

This article explores the connection between Boolean-valued class models of set theory and the theory of arbitrary objects in roughly Kit Fine’s sense of the word. In particular, it explores the hypothesis that the set-theoretic universe as a whole can be seen as an arbitrary entity. According to this view, the set-theoretic universe can be in many different states. These states are structurally like Boolean-valued models, and they contain sets conceived of as (...) variable or arbitrary objects. (shrink)

This is the third edition of a book originally published in the 1970s; it provides a systematic and nicely organized presentation of the elegant method of using Boolean-valued models to prove independence results. Four things are new in the third edition: background material on Heyting algebras, a chapter on ‘Boolean-valued analysis’, one on using Heyting algebras to understand intuitionistic set theory, and an appendix explaining how Boolean and Heyting algebras look from the perspective (...) of category theory. The book presents results from a number of set theorists and includes an insightful and informative foreword by Dana Scott. Bell's presentation is lively and pleasant to read, and the material is given in a nicely cohesive way.One obvious reason to be interested in independence proofs is that they concern the important question, what is the set-theoretic hierarchy like? The proofs in Bell's book cover some of the most basic and fundamental independence results, such as those concerning the size of the continuum, the independence of the Axiom of Choice from ZF, cardinal collapsing, Souslin's hypothesis, and Martin's Axiom.Since Gödel's incompleteness theorem, it has been known that for any serious candidate list of set-theoretic axioms, there will be statements neither provable nor disprovable from those axioms. What is really interesting, however, and what the independence proofs discussed here show, is how many of the most natural questions about sets are not decided by the standard axioms of ZFC, and how …. (shrink)

We generalize the construction of lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory.

In 1981, Takeuti introduced quantum set theory as the quantum counterpart of Boolean valued models of set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed subspaces in a Hilbert space and showed that appropriate quantum counterparts of ZFC axioms hold in the model. Here, Takeuti's formulation is extended to construct a model of set theory based on the logic represented by the lattice of (...) projections in an arbitrary von Neumann algebra. A transfer principle is established that enables us to transfer theorems of ZFC to their quantum counterparts holding in the model. The set of real numbers in the model is shown to be in one-to-one correspondence with the set of self-adjoint operators affiliated with the von Neumann algebra generated by the logic. Despite the difficulty pointed out by Takeuti that equality axioms do not generally hold in quantum set theory, it is shown that equality axioms hold for any real numbers in the model. It is also shown that any observational proposition in quantum mechanics can be represented by a corresponding statement for real numbers in the model with the truth value consistent with the standard formulation of quantum mechanics, and that the equality relation between two real numbers in the model is equivalent with the notion of perfect correlation between corresponding observables (self-adjoint operators) in quantum mechanics. The paper is concluded with some remarks on the relevance to quantum set theory of the choice of the implication connective in quantum logic. (shrink)

In this paper we extend to non-classical set theories the standard strategy of proving independence using Boolean-valued models. This extension is provided by means of a new technique that, combining algebras (by taking their product), is able to provide product-algebra-valued models of set theories. In this paper we also provide applications of this new technique by showing that: (1) we can import the classical independence results to non-classical set theory (as an example we prove (...) the independence of $\mathsf {CH}$ ); and (2) we can provide new independence results. We end by discussing the role of non-classical algebra-valued models for the debate between universists and multiversists and by arguing that non-classical models should be included as legitimate members of the multiverse. (shrink)

We define and investigate Heyting-valued interpretations for Constructive Zermelo–Frankel set theory . These interpretations provide models for CZF that are analogous to Boolean-valued models for ZF and to Heyting-valued models for IZF. Heyting-valued interpretations are defined here using set-generated frames and formal topologies. As applications of Heyting-valued interpretations, we present a relative consistency result and an independence proof.

This paper contributes to the generalization of lattice-valued models of set theory to non-classical contexts. First, we show that there are infinitely many complete bounded distributive lattices, which are neither Boolean nor Heyting algebra, but are able to validate the negation-free fragment of \. Then, we build lattice-valued models of full \, whose internal logic is weaker than intuitionistic logic. We conclude by using these models to give an independence proof of the Foundation (...) axiom from \. (shrink)

TheoremEvery model of ZFChas a conservative elementary extension which possesses a cofinal minimal elementary extension.An application of Boolean ultrapowers to models of full arithmetic is also presented.

In quantum logic, introduced by Birkhoff and von Neumann, De Morgan's Laws play an important role in the projection-valued truth value assignment of observational propositions in quantum mechanics. Takeuti's quantum set theory extends this assignment to all the set-theoretical statements on the universe of quantum sets. However, Takeuti's quantum set theory has a problem in that De Morgan's Laws do not hold between universal and existential bounded quantifiers. Here, we solve this problem by introducing a new truth (...) value assignment for bounded quantifiers that satisfies De Morgan's Laws. To justify the new assignment, we prove the Transfer Principle, showing that this assignment of a truth value to every bounded ZFC theorem has a lower bound determined by the commutator, a projection-valued degree of commutativity, of constants in the formula. We study the most general class of truth value assignments and obtain necessary and sufficient conditions for them to satisfy the Transfer Principle, to satisfy De Morgan's Laws, and to satisfy both. For the class of assignments with polynomially definable logical operations, we determine exactly 36 assignments that satisfy the Transfer Principle and exactly 6 assignments that satisfy both the Transfer Principle and De Morgan's Laws. (shrink)

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including (...) complex analysis in Peano's arithmetic, showing that any arithmetical theorem proved in analytic number theory is a theorem in Peano's arithmetic. In doing so, the author applies Gentzen's cut elimination theorem. Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space. Essentially expository in nature, Part Two yields a general method for showing that analytic proofs of theorems in number theory can be replaced by elementary proofs. Originally published in 1978. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Boolean-valued models for first-order languages generalize two-valued models, in that the value range is allowed to be any complete Boolean algebra instead of just the Boolean algebra 2. Boolean-valued models are interesting in multiple aspects: philosophical, logical, and mathematical. The primary goal of this paper is to extend a number of critical model-theoretic notions and to generalize a number of important model-theoretic results based on these notions to Boolean-valued (...) models. For instance, we will investigate (first-order) Boolean valuations, which are natural generalizations of (first-order) theories, and prove that Boolean-valued models are sound and complete with respect to Boolean valuations. With the help of Boolean valuations, we will also discuss the Löwenheim-Skolem theorems on Boolean-valued models. (shrink)

As they are conventionally formulated, Boolean games assume that players make their choices in ignorance of the choices being made by other players – they are games of simultaneous moves. For many settings, this is clearly unrealistic. In this paper, we show how Boolean games can be enriched by dependency graphs which explicitly represent the informational dependencies between variables in a game. More precisely, dependency graphs play two roles. First, when we say that variable x depends on variable (...) y, then we mean that when a strategy assigns a value to variable x, it can be informed by the value that has been assigned to y. Second, and as a consequence of the first property, they capture a richer and more plausible model of concurrency than the simultaneous-action model implicit in conventional Boolean games. Dependency graphs implicitly define a partial ordering of the run-time events in a game: if x is dependent on y, then the assignment of a value to y must precede the assignment of a value to x; if x and y are independent, however, then we can say nothing about the ordering of assignments to these variables—the assignments may occur concurrently. We refer to Boolean games with dependency graphs as partial-order Boolean games. After motivating and presenting the partial-order Boolean games model, we explore its properties. We show that while some problems associated with our new games have the same complexity as in conventional Boolean games, for others the complexity blows up dramatically. We also show that the concurrency in partial-order Boolean games can be modelled using a closure-operator semantics, and conclude by considering the relationship of our model to Independence-Friendly logic. (shrink)

A bounded ultrasheaf is a nonstandard universe constructed from a superstructure in a Boolean valued model of set theory. We consider the bounded elementary embeddings between bounded ultrasheaves. Then the standardization principle is true if and only if the ultrafilters are comparable by the Rudin-Frolik order. The base concept is that the bounded elementary embeddings correspond to the complete Boolean homomorphisms. We represent this by the Rudin-Keisler order of ultrafilters of Boolean algebras.

Even though the description of the universe in cosmology is known to be given by a smooth 4-dimensional Lorentz manifold for energies below Planck scale, one still can ask about the origins of this phenomenon. In this paper we show that mathematics used for description of quantum systems at micro scale determines smoothness of spacetime at large cosmological scales and indicates the dimension 4 as the only possible dimension for spacetime.

A nonstandard universe is constructed from a superstructure in a Boolean-valued model of set theory. This provides a new framework of nonstandard analysis with which methods of forcing are incorporated naturally. Various new principles in this framework are provided together with the following applications: An example of an 1-saturated Boolean ultrapower of the real number field which is not Scott complete is constructed. Infinitesimal analysis based on the generic extension of the hyperreal numbers is provided, and (...) the hull completeness theorem and the Loeb measure construction are extended to objects in the generic extension of the internal universe. The reduction theory of the Boolean-valued complex numbers are developed as a prototype of the applications to the topological reduction theory of Boolean sheaves or operator algebras. (shrink)

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in (...) Section \textbf{3}, the philosophical significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

A fundamental problem in game theory is the possibility of reaching equilibrium outcomes with undesirable properties, e.g., inefficiency. The economics literature abounds with models that attempt to modify games in order to avoid such undesirable properties, for example through the use of subsidies and taxation, or by allowing players to undergo a bargaining phase before their decision. In this paper, we consider the effect of such transformations in Boolean games with costs, where players control propositional variables that (...) they can set to true or false, and are primarily motivated to seek the satisfaction of some goal formula, while secondarily motivated to minimise the costs of their actions. We adopt preparation sets as our basic solution concept. A preparation set is a set of outcomes that contains for every player at least one best response to every outcome in the set. Prep sets are well-suited to the analysis of Boolean games, because we can naturally represent prep sets as propositional formulas, which in turn allows us to refer to prep formulas. The preference structure of Boolean games with costs makes it possible to distinguish between hard and soft prep sets. The hard prep sets of a game are sets of valuations that would be prep sets in that game no matter what the cost function of the game was. The properties defined by hard prep sets typically relate to goal-seeking behaviour, and as such these properties cannot be eliminated from games by, for example, taxation or subsidies. In contrast, soft prep sets can be eliminated by an appropriate system of incentives. Besides considering what can happen in a game by unrestricted manipulation of players’ cost function, we also investigate several mechanisms that allow groups of players to form coalitions and eliminate undesirable outcomes from the game, even when taxes or subsidies are not a possibility. (shrink)

This paper develops the model theory of normal modal logics based on partial “possibilities” instead of total “worlds,” following Humberstone [1981] instead of Kripke [1963]. Possibility semantics can be seen as extending to modal logic the semantics for classical logic used in weak forcing in set theory, or as semanticizing a negative translation of classical modal logic into intuitionistic modal logic. Thus, possibility frames are based on posets with accessibility relations, like intuitionistic modal frames, but with the constraint (...) that the interpretation of every formula is a regular open set in the Alexandrov topology on the poset. The standard world frames for modal logic are the special case of possibility frames wherein the poset is discrete. The analogues of classical Kripke frames, i.e., full world frames, are full possibility frames, in which propositional variables may be interpreted as any regular open sets. We develop the beginnings of duality theory, definability/correspondence theory, and completeness theory for possibility frames. The duality theory, relating possibility frames to Boolean algebras with operators (BAOs), shows the way in which full possibility frames are a generalization of Kripke frames. Whereas Thomason [1975a] established a duality between the category of Kripke frames with p-morphisms and the category of complete (C), atomic (A), and completely additive (V) BAOs with complete BAO-homomorphisms (these categories being dually equivalent), we establish a duality between the category of full possibility frames with possibility morphisms and the category of CV-BAOs, i.e., allowing non-atomic BAOs, with complete BAO-homomorphisms (the latter category being dually equivalent to a reflective subcategory of the former). This parallels the connection between forcing posets and Boolean-valued models in set theory, but now with accessibility relations and modal operators involved. Generalizing further, we introduce a class of principal possibility frames that capture the generality of V-BAOs. If we do not require a full or principal frame, then every BAO has an equivalent possibility frame, whose possibilities are proper filters in the BAO. With this filter representation, which does not require the ultrafilter axiom, we are lead to a notion of filter-descriptive possibility frames. Whereas Goldblatt [1974] showed that the category of BAOs with BAO-homomorphisms is dually equivalent to the category of descriptive world frames with p-morphisms, we show that the category of BAOs with BAO-homomorphisms is dually equivalent to the category of filter-descriptive possibility frames with p-morphisms. Applying our duality theory to definability theory, we prove analogues for possibility semantics of theorems of Goldblatt [1974] and Goldblatt and Thomason [1975] characterizing modally definable classes of frames. In addition, we discuss analogues for possibility semantics of first-order correspondence results in the style of Lemmon and Scott [1977], Sahlqvist [1975], and van Benthem [1976a]. Finally, applying our duality theory to completeness theory, we show that there are continuum many normal modal logics that can be characterized by full possibility frames but not by Kripke frames, that all Sahlqvist logics can be characterized by full possibility frames that contain no worlds, and that all normal modal logics can be characterized by filter-descriptive possibility frames. (shrink)

In this paper, we use algebra-valued models to study cardinal numbers in a class of non-classical set theories. The algebra-valued models of these non-classical set theories validate the Axiom of Choice, if the ground model validates it. Though the models are non-classical, the foundations of cardinal numbers in these models are similar to those in classical set theory. For example, we show that mathematical induction, Cantor’s theorem, and the Schröder–Bernstein theorem hold in these (...) models. We also study a few basic properties of cardinal arithmetic. In addition, the generalized continuum hypothesis is proved to be independent of these non-classical set theories. (shrink)

Solovay’s random-real forcing [R.M. Solovay, Real-valued measurable cardinals, in: Axiomatic Set Theory , Amer. Math. Soc., Providence, R.I., 1971, pp. 397–428] is the standard way of producing real-valued measurable cardinals. Following questions of Fremlin, by giving a new construction, we show that there are combinatorial, measure-theoretic properties of Solovay’s model that do not follow from the existence of real-valued measurability.

In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the range of the second-order variables. In our Boolean-valued second-order logic, the second-order variables range over all Boolean-valued subsets and relations on the domain. We show that under large cardinal assumptions Boolean-valued second-order logic is more (...) robust than full second-order logic. Its validity is absolute under forcing, and its Hanf and Löwenheim numbers are smaller than those of full second-order logic. (shrink)

The consequentializing project relies on agentcentered value (aka agent-relative value), but many philosophers find the idea incomprehensible or incoherent. Discussions of agent-centered value often model it with a theory that assigns distinct better-than rankings of states of affairs to each agent, rather than assigning a single ranking common to all. A less popular kind of model uses a single ranking, but takes the value-bearing objects to be properties (sets of centered worlds) rather than states of affairs (sets of worlds). (...) There are rhetorical, presentational differences between these kinds of models, but are there also structural differences? Do the two kinds of models differ in their capacity to represent normative theories? Despite an initial appearance of equivalence, the two kinds of models are different. The single ranking of properties has greater representational power; its representations contain more information. The main question I address in this article is whether this extra information is useful, in the sense that it distinguishes between normative views that we think are really different, or whether it is just junk information. (shrink)

We construct two recursive models of fragments of set theory. We also show that the fragments of Kripke-Platek set theory that prove -induction for -formulas have no recursive models but the standard model of the hereditarily finite sets.

A model \ of ZF is said to be condensable if \\prec _{\mathbb {L}_{{\mathcal {M}}}} {\mathcal {M}}\) for some “ordinal” \, where \:=,\in )^{{\mathcal {M}}}\) and \ is the set of formulae of the infinitary logic \ that appear in the well-founded part of \. The work of Barwise and Schlipf in the 1970s revealed the fact that every countable recursively saturated model of ZF is cofinally condensable \prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}\) for an unbounded collection of \). Moreover, it (...) can be readily shown that any \-nonstandard condensable model of \ is recursively saturated. These considerations provide the context for the following result that answers a question posed to the author by Paul Kindvall Gorbow.Theorem A. Assuming a modest set-theoretic hypothesis, there is a countable model \ of ZFC that is both definably well-founded is in the well-founded part of \}\) and cofinally condensable. We also provide various equivalents of the notion of condensability, including the result below.Theorem B. The following are equivalent for a countable model \ of \: \ is condensable. \ is cofinally condensable. \ is nonstandard and \\prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}\) for an unbounded collection of \. (shrink)

Category theory is often treated as an algebraic foundation for mathematics, and the widely known algebraization of ZF set theory in terms of this discipline is referenced as “categorical set theory” or “set theory for category theory”. The method of algebraization used in this theory has not been formulated in terms of universal algebra so far. In current paper, a _universal algebraic_ method, i.e. one formulated in terms of universal algebra, is presented and used (...) for algebraization of a ground mereological system described as “quantitative” (QMS) and of the standard set theories built upon it. The QMS is algebraized by using abelian generalized groups (AGGs) generalizing both abelian groups and Boolean algebras. To algebraize set theory, the AGG are enriched with operators to produce _extensional algebras_ (EA) of Tarskian “Boolean algebras with operators” type. EAs explicate the intuition of set theory’ universes (of discourse). The axiomatic set theory presented in this paper, named _extension theory_, previously went through an intuitive phase of development during its use by the author in computer science projects, where it served as the basis for development of a foundational data science framework and an extensional model of natural languages also outlined here. (shrink)

The purpose of this paper is to present an algebraic generalization of the traditional two-valued logic. This involves introducing a theory of automorphism algebras, which is an algebraic theory of many-valued logic having a complete lattice as the set of truth values. Two generalizations of the two-valued case will be considered, viz., the finite chain and the Boolean lattice. In the case of the Boolean lattice, on choosing a designated lattice value, this algebra (...) has binary retracts that have the usual axiomatic theory of the propositional calculus as suitable theory. This suitability applies to the Boolean algebra of formalized token models [2] where the truth values are, for example, vocabularies. Finally, as the actual motivation for this paper, we indicate how the theory of formalized token models [2] is an example of a many-valued predicate calculus. (shrink)

We start with a nearly arbitrary standard classical first order "language" $C\sb{o},$ which is expanded to $C\sb{M,T}$ = "$C\sb{o}+M+T$", where for any variable x, M and T are unary formulas. We start also with a model ${\cal T}\sb{o},$ which together with $C\sb{o}$ represents a fixed non-problematic interpreted first order language. For each $\mu,\tau\subseteq U\sb{o},$ the universe of discourse for ${\cal T}\sb{o},$ the model ${\cal T}\sb{\mu,\tau}$ over $C\sb{M,T}$ is given so that its reduct to $C\sb{o}$ is just ${\cal T}\sb{o},$ and so (...) that for any $C\sb{M,T}$-variable x, the set-extensions of M and T are $\mu$ and $\tau$ respectively. For each $C\sb{M,T}$-expression e, $\vec e$ is its distinctly chosen representative in $U\sb{o},$ and $\lbrack\!\lbrack e\rbrack\!\rbrack$ is a constant $C\sb{o}$-term which names $\vec e.$ ;The goal is to find $\mu\sb*$ and $\tau\sb*,$ such that $\mu\sb*$ and $\tau\sb*$ plausibly and "self-referentially" approximate meaningfulness and truth respectively for any interpreted language represented by ${\cal T}\sb{\mu\sb*,\tau\sb*},$ by satisfying at least the following conditions. ; $\tau\sb*\subseteq\mu\sb*,$ and for each $C\sb{M,T}$-sentence $\sigma$ such that ${\cal T}\sb{\mu\sb*,\tau\sb*}\models M\lbrack\!\lbrack\sigma\rbrack\!\rbrack,$ $$\eqalign{&\ {\cal T}\sb{\mu\sb*,\tau\sb*} \models\sigma\Longleftrightarrow{\cal T}\sb{\mu\sb*,\tau\sb*}\models T\lbrack\!\lbrack\sigma\rbrack\!\rbrack,\ {\rm and}\cr&\ {\cal T}\sb{\mu\sb*,\tau\sb*}\models T\lbrack\!\lbrack\sigma\\leftrightarrow T\lbrack\!\lbrack\sigma\rbrack\!\rbrack\rbrack\!\rbrack.\cr}$$ ; There is a class of expression representatives $\mu\sp{D}\subseteq\mu\sb*$ containing every $C\sb{o}$-expression representative, such that the set $\tau\sp{D}=\mu\sp{D}\ \cap\ \tau\sb*$ itself satisfies the following properties. ;First, for each $\vec\sigma$ such that $\sigma$ is a $C\sb{M,T}$-sentence, if for all $\mu,\tau\subseteq U\sb{o}$ satisfying $\mu\supseteq\mu\sb*$ and $\tau\supseteq\tau\sp{D},$ it is the case that ${\cal T}\sb{\mu,\tau}\models\sigma,$ then $\vec\sigma\in\tau\sp{D}.$ ;Second, whenever $\vec\sigma\in\tau\sp{D},$ then also $\sp{\vec{\enspace}}\ \in\tau\sp{D}.$ ;Third, $\tau\sp{D}$ is "upwardly closed" with respect to the strong-Kleene rules for the truth-value evaluation of Boolean combinations of formulas. For example, for $C\sb{M,T}$-sentences $e\sb1$ and $e\sb2$: $$\eqalign{&\ \vec e\sb1\in\tau\sp{D}\Longleftrightarrow)\sp{\vec{\enspace}}\ \in\tau\sp{D}.\cr&\ {\rm If}\ \vec e\sb1\in\tau\sp{D}\ {\rm or}\ \vec e\sb2\in\tau\sp{D},\ {\rm then\ so\ is}\ \sp{\vec{\enspace}}\ \in\tau\sp{D}.\cr&\ {\rm If}\ \sp{\vec{\enspace}}\ \in\tau\sp{D}\ {\rm and}\ \sp{\vec{\enspace}}\ \in\tau\sp{D},\ {\rm then}\ )\sp{\vec{\enspace}}\ \in\tau\sp{D}.\cr}$$ ; For each $C\sb{M,T}$-expression e not involving T, ${\cal T}\sb{\mu\sb*,\tau\sb*}\models M\lbrack\!\lbrack e\rbrack\!\rbrack$; in particular, for any $C\sb{M,T}$-expression e whatsoever, ${\cal T}\sb{\mu\sb*,\tau\sb*}\models M\lbrack\!\lbrack\\neg M\lbrack\!\lbrack e\rbrack\!\rbrack\rbrack\!\rbrack.$ ; ;In this dissertation, it is shown for the first time that there are in fact $\mu\sb*$ and $\tau\sb*$ which simultaneously satisfy all three conditions , , and , even when the consequent of the Godel fixed point theorem must hold. (shrink)

A DO model (here also referred to a Paris model) is a model of set theory all of whose ordinals are first order definable in . Jeffrey Paris (1973) initiated the study of DO models and showed that (1) every consistent extension T of ZF has a DO model, and (2) for complete extensions T, T has a unique DO model up to isomorphism iff T proves V=OD. Here we provide a comprehensive treatment of Paris models. Our (...) results include the following:1. If T is a consistent completion of ZF+V≠OD, then T has continuum-many countable nonisomorphic Paris models.2. Every countable model of ZFC has a Paris generic extension.3. If there is an uncountable well-founded model of ZFC, then for every infinite cardinal κ there is a Paris model of ZF of cardinality κ which has a nontrivial automorphism.4. For a model ZF, is a prime model ⇒ is a Paris model and satisfies AC⇒ is a minimal model. Moreover, Neither implication reverses assuming Con(ZF). (shrink)

A model is said to be Leibnizian if it has no pair of indiscernibles. Mycielski has shown that there is a first order axiom LM (the Leibniz-Mycielski axiom) such that for any completion T of Zermelo-Fraenkel set theory ZF, T has a Leibnizian model if and only if T proves LM. Here we prove: THEOREM A. Every complete theory T extending ZF + LM has $2^{\aleph_{0}}$ nonisomorphic countable Leibnizian models. THEOREM B. If $\kappa$ is aprescribed definable infinite (...) cardinal of a complete theory T extending ZF + V = OD. then there are $2^{\aleph_{1}}$ nonisomorphic Leibnizian models $\mathfrak{M}$ of T of power $\aleph_{1}$ such that $(\kappa^{+})^\mathfrak{M}$ is $\aleph_{1}-like$ . THEOREM C. Every complete theory T extending ZF + V = OD has $2^{\aleph_{1}}$ nonisomorphic \aleph_{1}-like$ Leibnizian models. (shrink)

This dissertation aims to provide a comprehensive account of set theory with urelements. In Chapter 1, I present mathematical and philosophical motivations for studying urelement set theory and lay out the necessary technical preliminaries. Chapter 2 is devoted to the axiomatization of urelement set theory, where I introduce a hierarchy of axioms and discuss how ZFC with urelements should be axiomatized. The breakdown of this hierarchy of axioms in the absence of the Axiom of Choice is also (...) explored. In Chapter 3, I investigate forcing with urelements and develop a new approach that addresses a drawback of the existing machinery. I demonstrate that forcing can preserve, destroy, and recover the axioms isolated in Chapter 2 and discuss how Boolean ultrapowers can be applied in urelement set theory. Chapter 4 delves into class theory with urelements. I first discuss the issue of axiomatizing urelement class theory and then explore the second-order reflection principle with urelements. In particular, assuming large cardinals, I construct a model of second-order reflection where the principle of limitation of size fails. (shrink)

In the present paper the concept of a covering is presented and developed. The relationship between cover schemes, frames (complete Heyting algebras), Kripke models, and frame-valued set theory is discussed. Finally cover schemes and framevalued set theory are applied in the context of Markopoulou’s account of discrete spacetime as sets “evolving” over a causal set. We observe that Markopoulou’s proposal may be effectively realized by working within an appropriate frame-valued model of set theory. We (...) go on to show that, within this framework, cover schemes may be used to force certain conditions to prevail in the associated models: for example, rendering the universe timeless, obliterating a given event or forcing it to become the universe’s “beginning”. (shrink)

We show that the analogues of the embedding theorems of [3], proved for the countable models of set theory, do not hold when extended to the uncountable realm of ω1‐like models of set theory. Specifically, under the ⋄ hypothesis and suitable consistency assumptions, we show that there is a family of many ω1‐like models of, all with the same ordinals, that are pairwise incomparable under embeddability; there can be a transitive ω1‐like model of that does (...) not embed into its own constructible universe; and there can be an ω1‐like model of whose structure of hereditarily finite sets is not universal for the ω1‐like models of set theory. (shrink)