Let ℒ be a first-order language of cardinality κ++ with a distinguished unary predicate symbol U. In this paper we prove, working on L, the two cardinal transfer theorem (κ⁺,κ) ⇒ (κ++,κ⁺) for this language. This problem was posed by Chang and Keisler more than twenty years ago.

We examine two-cardinal problems for the class of O-minimal theories. We prove that an O-minimal theory which admits some (κ, λ) must admit every (κ , λ ). We also prove that every “reasonable” variant of Chang’s Conjecture is true for O-minimal structures. Finally, we generalize these results from the two-cardinal case to the δ-cardinal case for arbitrary ordinals δ.

We examine two-cardinal problems for the class of O-minimal theories. We prove that an O-minimal theory which admits some must admit every. We also prove that every "reasonable" variant of Chang's Conjecture is true for O-minimal structures. Finally, we generalize these results from the two-cardinal case to the $\delta$-cardinal case for arbitrary ordinals $\delta$.

In lieu of an abstract, here is a brief excerpt of the content:Philosophy of Music Education Review 12.1 (2004) 89-93 [Access article in PDF] Richard Shusterman, Performing Live: Aesthetic Alternatives for the Ends of Art (New York: Cornell University Press, 2000) Performing Live can be ascribed to post-modern American pragmatism in its widest expression. The author's intention is to revalue aesthetic experience, as well as to expand its realm to the extent where such experience also encompasses areas alien to traditional (...) aesthetics (for example, popular art or the somatic arts of self-improvement), reaching "the art of living" and reclaiming life itself as performance.After the introduction, titled "Aesthetic Renewal for the Ends of Art: An Overture," the text is organized in two main parts: "Aesthetic Experience and Popular Art" and "Soma, Self, and Society." Along with its ambitious title, the book's organization and structure promise a consistency of approach and narrative that somewhat dissolves during the reading. Shusterman recognizes that the stylistic problems that arise from a compilation of articles spanning ten years, mixing newly written and revised articles, but appeals to the reader's appreciation of the "quality of the mix" (11). Despite this feature, he is a lucid and thoughtful communicator and his writing style is excellent.In order to propose new or revitalized alternatives for the ends of art, Shusterman [End Page 89] explores the crisis in traditional visions of art, pointing to the compartmentalization and lack of credibility in current artistic thought and practice. Hegel, Walter Benjamin, Gianni Vattimo, and Arthur Danto provide him with the philosophical arguments accounting for the modern "exhaustion" of art. He supports a dialectical approach, both naturalistic and historicist, and builds a solid case for the possibility of alternatives in aesthetic thought and experience. He proposes two alternatives in his introduction: The two most prominent sites for today's aesthetic alternatives are clearly the mass-media popular arts and the complex cluster of disciplines devoted to bodily beauty and the art of living as expressed in today's preoccupation with aesthetic lifestyles. (7) It is unclear why these alternatives are "clearly" "the two most prominent." The author does not build a case for this assumption or for the "newness" of these alternatives. The "compilation style" mentioned above and this lack of justification for one of the most original elements in the book make this text often read as a philosophical drafting board. Keeping these characteristics in mind and also critically pondering the degrees of success in the enterprise, the reader must give Shusterman credit for taking risks while suggesting concrete examples for an experiential, holistic philosophy. In this sense, he mentions (in a different context) that "all of us [are caught] between conceptual history and futuristic speculation" (145), and he takes to heart this situation and its challenges.The first chapter in Performing Live aims to redeem or revalue the concept of aesthetic experience. For Shusterman, the loss of "felt experience" in art makes the interest in this concept utterly relevant for art's survival. He traces the lineage of this aesthetic philosophy to John Dewey, Monroe Beardsley, Nelson Goodman, and Arthur Danto. Besides focusing on these authors, his analysis revisits some of the main currents of thought in Western philosophy on the topic (for example, Plato, Hume, Kant, Dickie, Adorno, Benjamin, Gadamer). He concludes that a pragmatic approach to aesthetics, applying the concept of aesthetic experience directionally (as a means towards the actual experience rather than as a definable concept), can provide new paths for revitalizing art. Throughout the text this concept is also used expansively. The post-modern justification of the proposed aesthetics, by allowing the extension of aesthetic experience to embrace "the art of living," can leave the reader wondering if Shusterman has not simply turned Kierkegaard's existentialist stages to self-realization upside down.The second chapter is an open defense of popular art, carried out by contesting the main complaints found in current art criticism. Shusterman's defense is not directed to the products of popular art, but against the claim that popular art is aesthetically "worthless." His definition of "popular art... (shrink)

In this paper the claim that Zeno's paradoxes have been solved is contested. Although "no one has ever touched Zeno without refuting him" (Whitehead), it will be our aim to show that, whatever it was that was refuted, it was certainly not Zeno. The paper is organised in two parts. In the first part we will demonstrate that upon direct analysis of the Greek sources, an underlying structure common to both the Paradoxes of Plurality and the Paradoxes of Motion can (...) be exposed. This structure bears on a correct - Zenonian - interpretation of the concept of “division through and through”. The key feature, generally overlooked but essential to a correct understanding of all his arguments, is that they do not presuppose time. Division takes place simultaneously. This holds true for both PP and PM. In the second part a mathematical representation will be set up that catches this common structure, hence the essence of all Zeno's arguments, however without refuting them. Its central tenet is an aequivalence proof for Zeno's procedure and Cantor's Continuum Hypothesis. Some number theoretic and geometric implications will be shortly discussed. Furthermore, it will be shown how the “Received View” on the motion-arguments can easely be derived by the introduction of time as a (non-Zenonian) premiss, thus causing their collapse into arguments which can be approached and refuted by Aristotle's limit-like concept of the “potentially infinite”, which remained — though in different disguises - at the core of the refutational strategies that have been in use up to the present. Finally, an interesting link to Newtonian mechanics via Cremona geometry can be established. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy of Music Education Review 12.1 (2004) 89-93 [Access article in PDF] Richard Shusterman, Performing Live: Aesthetic Alternatives for the Ends of Art (New York: Cornell University Press, 2000) Performing Live can be ascribed to post-modern American pragmatism in its widest expression. The author's intention is to revalue aesthetic experience, as well as to expand its realm to the extent where such experience also encompasses areas alien to traditional (...) aesthetics (for example, popular art or the somatic arts of self-improvement), reaching "the art of living" and reclaiming life itself as performance.After the introduction, titled "Aesthetic Renewal for the Ends of Art: An Overture," the text is organized in two main parts: "Aesthetic Experience and Popular Art" and "Soma, Self, and Society." Along with its ambitious title, the book's organization and structure promise a consistency of approach and narrative that somewhat dissolves during the reading. Shusterman recognizes that the stylistic problems that arise from a compilation of articles spanning ten years, mixing newly written and revised articles, but appeals to the reader's appreciation of the "quality of the mix" (11). Despite this feature, he is a lucid and thoughtful communicator and his writing style is excellent.In order to propose new or revitalized alternatives for the ends of art, Shusterman [End Page 89] explores the crisis in traditional visions of art, pointing to the compartmentalization and lack of credibility in current artistic thought and practice. Hegel, Walter Benjamin, Gianni Vattimo, and Arthur Danto provide him with the philosophical arguments accounting for the modern "exhaustion" of art. He supports a dialectical approach, both naturalistic and historicist, and builds a solid case for the possibility of alternatives in aesthetic thought and experience. He proposes two alternatives in his introduction: The two most prominent sites for today's aesthetic alternatives are clearly the mass-media popular arts and the complex cluster of disciplines devoted to bodily beauty and the art of living as expressed in today's preoccupation with aesthetic lifestyles. (7) It is unclear why these alternatives are "clearly" "the two most prominent." The author does not build a case for this assumption or for the "newness" of these alternatives. The "compilation style" mentioned above and this lack of justification for one of the most original elements in the book make this text often read as a philosophical drafting board. Keeping these characteristics in mind and also critically pondering the degrees of success in the enterprise, the reader must give Shusterman credit for taking risks while suggesting concrete examples for an experiential, holistic philosophy. In this sense, he mentions (in a different context) that "all of us [are caught] between conceptual history and futuristic speculation" (145), and he takes to heart this situation and its challenges.The first chapter in Performing Live aims to redeem or revalue the concept of aesthetic experience. For Shusterman, the loss of "felt experience" in art makes the interest in this concept utterly relevant for art's survival. He traces the lineage of this aesthetic philosophy to John Dewey, Monroe Beardsley, Nelson Goodman, and Arthur Danto. Besides focusing on these authors, his analysis revisits some of the main currents of thought in Western philosophy on the topic (for example, Plato, Hume, Kant, Dickie, Adorno, Benjamin, Gadamer). He concludes that a pragmatic approach to aesthetics, applying the concept of aesthetic experience directionally (as a means towards the actual experience rather than as a definable concept), can provide new paths for revitalizing art. Throughout the text this concept is also used expansively. The post-modern justification of the proposed aesthetics, by allowing the extension of aesthetic experience to embrace "the art of living," can leave the reader wondering if Shusterman has not simply turned Kierkegaard's existentialist stages to self-realization upside down.The second chapter is an open defense of popular art, carried out by contesting the main complaints found in current art criticism. Shusterman's defense is not directed to the products of popular art, but against the claim that popular art is aesthetically "worthless." His definition of "popular art... (shrink)

In this dissertation we study two-cardinal phenomena—both of the admitting cardinals variety and of the Chang’s Conjecture variety—under the assumption that all our models have stable theories. All our results involve two, relatively widely accepted generalizations of the traditional definitions in this area. First, we allow the relevant subsets of our models to be picked out by (perhaps infinitary) partial types; second we consider δ-cardinal problems as well as two-cardinal problems.

Wittgenstein’s atomist picture, as embodied in his Tractatus, is initially very appealing. However, it faces the famous colour-exclusion problem. In this paper, I shall explain when the atomist picture can be defended in the face of that problem; and, in the light of this, why the atomist picture should be rejected. I outline the atomist picture in Section 1. In Section 2, I present a very simple necessary and sufficient condition for the tenability of the atomist picture. The (...) condition is: logical space is a power of two. In Sections 3 and 4, I outline the colour-exclusion problem, and then show how the cardinality-condition supplies a response to exclusion problems. In Section 5, I explain how this amounts to a distillation of a proposal due to Moss, which goes back to Carruthers. And in Section 6, I show how all this vindicates Wittgenstein’s ultimate rejection of the atomist picture. The brief reason is that we have no guarantee that there are any solutions to a given exclusion problem but, if there are any, then there are far too many. (shrink)

We extend the gap 1 cardinal transfer theorem → to any language of cardinality ≤λ, where λ is a regular cardinal. This transfer theorem has been proved by Chang under GCH for countable languages and by Silver in some cases for bigger languages . We assume the existence of a coarse -morass instead of GCH.

This paper is a detailed study of what are traditionally called the cardinal virtues: prudence, justice, temperance and fortitude. I defend what I call the Cardinality Thesis, that the traditional four and no others are cardinal. I define cardinality in terms of three sub-theses, the first being that the cardinal virtues are jointly necessary for the possession of every other virtue, the second that each of the other virtues is a species of one of the four cardinals, and the third (...) that many of the other virtues are also auxiliaries of one or more cardinals. I provide abstract arguments for each sub-thesis, followed by illustration from concrete cases. I then use these results to shed light on the two fundamental problems of the acquisition of the virtues and their unity, proving some further theses in the latter case. (shrink)

This paper deals with two different problems in which infinity plays a central role. I first respond to a claim that infinity renders counting knowledge-level beliefs an infeasible approach to measuring and comparing how much we know. There are two methods of comparing sizes of infinite sets, using the one-to-one correspondence principle or the subset principle, and I argue that we should use the subset principle for measuring knowledge. I then turn to the normalizability and coarse tuning objections to fine-tuning (...) arguments for the existence of God or a multiverse. These objections center on the difficulty of talking about the epistemic probability of a physical constant falling within a finite life-permitting range when the possible range of that constant is infinite. Applying the lessons learned regarding infinity and the measurement of knowledge, I hope to blunt much of the force of these objections to fine-tuning arguments. (shrink)

In earlier work by the first and second authors, the equivalence of a finite square principle $\square^{\mathrm{fin}}_{\lambda,D}$ with various model-theoretic properties of structures of size $\lambda $ and regular ultrafilters was established. In this paper we investigate the principle $\square^{\mathrm{fin}}_{\lambda,D}$—and thereby the above model-theoretic properties—at a regular cardinal. By Chang’s two-cardinal theorem, $\square^{\mathrm{fin}}_{\lambda,D}$ holds at regular cardinals for all regular filters $D$ if we assume the generalized continuum hypothesis. In this paper we prove in ZFC that, for certain regular filters (...) that we call $\mathit{doubly}^{+}$ regular, $\square^{\mathrm{fin}}_{\lambda,D}$ holds at regular cardinals, with no assumption about GCH. Thus we get new positive answers in ZFC to Open Problems 18 and 19 in Chang and Keisler’s book Model Theory. (shrink)

We explore the connection between combinatorial principles on uncountable cardinals, like stick and club, on the one hand, and the combinatorics of sets of reals and, in particular, cardinal invariants of the continuum, on the other hand. For example, we prove that additivity of measure implies that Martin’s axiom holds for any Cohen algebra. We construct a model in which club holds, yet the covering number of the null ideal is large. We show that for uncountable cardinals κ≤λ and , (...) if all subsets of λ either contain, or are disjoint from, a member of , then has size at least etc. As an application, we solve the Gross space problem under by showing that there is such a space over any countable field. In two appendices, we solve problems of Fuchino, Shelah and Soukup, and of Kraszewski, respectively. (shrink)

Local sentences were introduced by Ressayre in [6] who proved certain remarkable stretching theorems establishing the equivalence between the existence of finite models for these sentences and the existence of some infinite well ordered models. Two of these stretching theorems were only proved under certain large cardinal axioms but the question of their exact strength was left open in [4]. Here we solve this problem, using a combinatorial result of J. H. Schmerl [7]. In fact, we show that the (...) stretching principles are equivalent to the existence of n -Mahlo cardinals for appropriate integers n. This is done by proving first that for every integer n, there is a local sentence φn having well ordered models of order type τ, for every infinite ordinal τ > ω which is not an n -Mahlo cardinal. (shrink)

In the book Cardinal Invariants on Boolean Algebras by J. Donald Monk many such cardinal functions are defined and studied. Among them several are generalizations of well known cardinal characteristics of the continuum. Alongside a long list of open problems is given. Focusing on half a dozen of those cardinal invariants some of those problems are given an answer here, which in most of the cases is a definitive one. Most of them can be divided in two groups. The problems (...) of the first group ask about the change on those cardinal functions when going from a given infinite Boolean algebra to its simple extensions, while in the second group the comparison is between a couple of given infinite Boolean algebras and their free product. (shrink)

In this paper I present two new arguments against the possibility of an omniscient being. My new arguments invoke considerations of cardinality and resemble several arguments originally presented by Patrick Grim. Like Grim, I give reasons to believe that there must be more objects in the universe than there are beliefs. However, my arguments will rely on certain mereological claims, namely that Classical Extensional Mereology is necessarily true of the part-whole relation. My first argument is an instance of a (...) class='Hi'>problem first noted by Gideon Rosen and requires an additional assumption about the mereological structure of certain beliefs. That assumption is that an omniscient being’s beliefs are mereological simples. However, this assumption is dropped when I present my second argument. Thus, I hope to show that if Classical Extensional Mereology is true of the part-whole relation, there cannot be an omniscient being. (shrink)

Neo-Fregean logicists claim that Hume’s Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck’s Two-Sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it (...) isn’t. In fact, 2FA is not conservative over n-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic. (shrink)

The following problem is studied: How large and how small can the Löwenheim and Hanf numbers of unbounded logics be in relation to the most common large cardinals? The main result is that the Löwenheim number of the logic with the Härtig-quantifier can be consistently put in between any two of the first weakly inaccessible, the first weakly Mahlo, the first weakly compact, the first Ramsey, the first measurable and the first supercompact cardinals.

We show that it is consistent with ordinary set theory ZFC and the generalized continuum hypothesis that there exist two 1-separable abelian groups of cardinality 1 which are filtration-equivalent and one is a Whitehead group but the other is not. This solves one of the open problems from Eklof and Mekler [2].

The dissertation under comment is a contribution to the area of Set Theory concerned with the interactions between the method of Forcing and the so-called Large Cardinal axioms.The dissertation is divided into two thematic blocks. In Block I we analyze the large-cardinal hierarchy between the first supercompact cardinal and Vopěnka’s Principle. In turn, Block II is devoted to the investigation of some problems arising from Singular Cardinal Combinatorics.We commence Part I by investigating the Identity Crisis phenomenon in the region comprised (...) between the first supercompact cardinal and Vopěnka’s Principle. As a result, we generalize Magidor’s classical theorems [2] to this higher region of the large-cardinal hierarchy. Also, our analysis allows to settle all the questions that were left open in [1]. Finally, we conclude Part I by presenting a general theory of preservation of $C^{}$ -extendible cardinals under class forcing iterations. From this analysis we derive several applications. For instance, our arguments are used to show that an extendible cardinal is consistent with “ $^{\mathrm {HOD}}<\lambda ^+$, for every regular cardinal $\lambda $.” In particular, if Woodin’s HOD Conjecture holds, and therefore it is provable in ZFC + “There exists an extendible cardinal” that above the first extendible cardinal every singular cardinal $\lambda $ is singular in HOD and $^{\textrm {{HOD}}}=\lambda ^+$, there may still be no agreement at all between V and HOD about successors of regular cardinals.In Part II and Part III we analyse the relationship between the Singular Cardinal Hypothesis with other relevant combinatorial principles at the level of successors of singular cardinals. Two of these are the Tree Property and the Reflection of Stationary sets, which are central in Infinite Combinatorics.Specifically, Part II is devoted to prove the consistency of the Tree Property at both $\kappa ^+$ and $\kappa ^{++}$, whenever $\kappa $ is a strong limit singular cardinal witnessing an arbitrary failure of the SCH. This generalizes the main result of [3] in two senses: it allows arbitrary cofinalities for $\kappa $ and arbitrary failures for the SCH.In the last part of the dissertation we introduce the notion of $\Sigma $ -Prikry forcing. This new concept allows an abstract and uniform approach to the theory of Prikry-type forcings and encompasses several classical examples of Prikry-type forcing notions, such as the classical Prikry forcing, the Gitik-Sharon poset, or the Extender Based Prikry forcing, among many others.Our motivation in this part of the dissertation is to prove an iteration theorem at the level of the successor of a singular cardinal. Specifically, we aim for a theorem asserting that every $\kappa ^{++}$ -length iteration with support of size $\leq \kappa $ has the $\kappa ^{++}$ -cc, provided the iterates belong to a relevant class of $\kappa ^{++}$ -cc forcings. While there are a myriad of works on this vein for regular cardinals, this contrasts with the dearth of investigations in the parallel context of singular cardinals. Our main contribution is the proof that such a result is available whenever the class of forcings under consideration is the family of $\Sigma $ -Prikry forcings. Finally, and as an application, we prove that it is consistent—modulo large cardinals—the existence of a strong limit cardinal $\kappa $ with countable cofinality such that $\mathrm {SCH}_\kappa $ fails and every finite family of stationary subsets of $\kappa ^+$ reflects simultaneously. (shrink)

On the first page of “What is Cantor's Continuum Problem?”, Gödel argues that Cantor's theory of cardinality, where a bijection implies equal number, is in some sense uniquely determined. The argument, involving a thought experiment with sets of physical objects, is initially persuasive, but recent authors have developed alternative theories of cardinality that are consistent with the standard set theory ZFC and have appealing algebraic features that Cantor's powers lack, as well as some promise for applications. Here we diagnose (...) Gödel's argument, showing that it fails in two important ways: Its premises are not sufficiently compelling to discredit countervailing intuitions and pragmatic considerations, nor pluralism, and its final inference, from the superiority of Cantor's theory as applied to sets of changeable physical objects to the unique acceptability of that theory for all sets, is irredeemably invalid. (shrink)

The main topics of this thesis are cardinal invariants, P -points and MAD families. Cardinal invariants of the continuum are cardinal numbers that are bigger than $\aleph _{0}$ and smaller or equal than $\mathfrak {c}.$ Of course, they are only interesting when they have some combinatorial or topological definition. An almost disjoint family is a family of infinite subsets of $\omega $ such that the intersection of any two of its elements is finite. A MAD family is a maximal almost (...) disjoint family. An ultrafilter $\mathcal {U}$ on $\omega $ is called a P-point if every countable $\mathcal {B\subseteq U}$ there is $X\in $ $\mathcal {U}$ such that $X\setminus B$ is finite for every $B\in \mathcal {B}.$ This kind of ultrafilters has been extensively studied, however there is still a large number of open questions about them.In the preliminaries we recall the principal properties of filters, ultrafilters, ideals, MAD families and cardinal invariants of the continuum. We present the construction of Shelah, Mildenberger, Raghavan, and Steprāns of a completely separable MAD family under $\mathfrak {s\leq a}.$ None of the results in this chapter are due to the author.The second chapter is dedicated to a principle of Sierpiński. The principle $\left $ of Sierpiński is the following statement: There is a family of functions $\left \{ \varphi _{n}:\omega _{1}\longrightarrow \omega _{1}\mid n\in \omega \right \} $ such that for every $I\in \left [ \omega _{1}\right ] ^{\omega _{1}}$ there is $n\in \omega $ for which $\varphi _{n}\left [ I\right ] =\omega _{1}.$ This principle was recently studied by Arnie Miller. He showed that this principle is equivalent to the following statement: There is a set $X=\left \{ f_{\alpha }\mid \alpha \alpha $ then $f_{\beta }\cap g$ is infinite. Miller showed that the principle of Sierpiński implies that non $\left =\omega _{1}.$ He asked if the converse was true, i.e., does non $\left =\omega _{1}$ imply the principle $\left $ of Sierpiński? We answer his question affirmatively. In other words, we show that non $\left =\omega _{1}$ is enough to construct an $\mathcal {IE}$ -Luzin set. It is not hard to see that the $\mathcal {IE}$ -Luzin set we constructed is meager. This is no coincidence, because with the aid of an inaccessible cardinal, we construct a model where non $\left =\omega _{1}$ and every $\mathcal {IE}$ -Luzin set is meager.The third chapter is dedicated to a conjecture of Hrušák. Michael Hrušák conjectured the following: Every Borel cardinal invariant is either at most non $\left $ or at least cov $\left $. Although the veracity of this conjecture is still an open problem, we were able to obtain some partial results: The conjecture is false for “Borel invariants of $\omega _{1}^{\omega }$ ” nevertheless, it is true for a large class of definable invariants. This is part of a joint work with Michael Hrušák and Jindřich Zapletal.In the fourth chapter we present a survey on destructibility of ideals and MAD families. We prove several classic theorems, but we also prove some new results. For example, we show that every almost disjoint family of size less than $\mathfrak {c}$ can be extended to a Cohen indestructible MAD family is equivalent to $\mathfrak {b=c}$. A MAD family $\mathcal {A}$ is Shelah–Steprāns if for every $X\subseteq \left [ \omega \right ] ^{<\omega }\setminus \left \{ \emptyset \right \} $ either there is $A\in \mathcal {I}\left $ such that $s\cap A\neq \emptyset $ for every $s\in X$ or there is $B\in \mathcal {I}\left $ that contains infinitely many elements of X $ denotes the ideal generated by $\mathcal {A}$ ). This concept was introduced by Raghavan which is connected to the notion of “strongly separable” introduced by Shelah and Steprāns. We prove that Shelah–Steprāns MAD families have very strong indestructibility properties: Shelah–Steprāns MAD families are indestructible for “many” definable forcings that does not add dominating reals. According to the author’s best knowledge, this is the strongest notion that has been considered in the literature so far. In spite of their strong indestructibility, Shelah–Steprāns MAD families can be destroyed by a ccc forcing that does not add unsplit or dominating reals. We also consider some strong combinatorial properties of MAD families and show the relationships between them.The fifth chapter is one of the most important chapters in the thesis. A MAD family $\mathcal {A}$ is called $+$ -Ramsey if every tree that branches into $\mathcal {I}\left $ -positive sets has an $\mathcal {I}\left $ -positive branch. Michael Hrušák’s first published question is the following: Is there a $+$ -Ramsey MAD family? It was previously known that such families can consistently exist. However, there was no construction of such families using only the axioms of ZFC. We solve this problem by constructing such a family without any extra assumptions.In the fourth and fifth chapters, we introduce several notions of MAD families, in the sixth chapter we prove several implications and non implications between them. We construct several MAD families with different properties.In the seventh chapter we build models without P -points. We show that there are no P -points after adding Silver reals either iteratively or by the side by side product. These results have some important consequences: The first one is that is its possible to get rid of P -points using only definable forcings. This answers a question of Michael Hrušák. We can also use our results to build models with no P -points and with arbitrarily large continuum, which was also an open question. These results were obtained with David Chodounský.prepared by Osvaldo Guzmán GonzálezE-mail : [email protected] : https://arxiv.org/abs/1810.09680. (shrink)

We announce two new dichotomy theorems for Borel equivalence relations, and present the results in context by giving an overview of related recent developments.§1. Introduction. For X a Polish space and E a Borel equivalence relation on X, a classification of X up to E-equivalence consists of finding a set of invariants I and a map c : X → I such that xEy ⇔ c = c. To be of any value we would expect I and c to be (...) “explicit” or “definable”. The theory of Borel equivalence relations investigates the nature of possible invariants and provides a hierarchy of notions of classification.The following partial ordering is fundamental in organizing this study. Given equivalence relations E and F on X and Y, resp., we say that E can be Borel reduced to F, in symbolsif there is a Borel map f : X → Y with xEy ⇔ fFf. Then if is an embedding of X/E into Y/F, which is “Borel”.Intuitively, E ≤BF might be interpreted in any one of the following ways: The classi.cation problem for E is simpler than that of F: any invariants for F work as well for E. One can classify E by using as invariants F-equivalence classes. The quotient space X/E has “Borel cardinality” less than or equal to that of Y/F, in the sense that there is a “Borel” embedding of X/E into Y/F. (shrink)

The development of hormonal contraception introduced a new era in medical practice, marked by the suppression of female fertility by interventions in the hormonal system. The interventions are very grave, as sex hormones are of existential importance both to preserve human life and to preserve the human species. This article conducts an ethical evaluation of the use of hormonal contraception through two ethical theories: natural law theory and virtue ethics. Based on philosophical reflection, the author examines what effects hormonal contraception (...) has on primary goods and whether its use is congruent with the cardinal virtues. National Catholic Bioethics Quarterly 14.3 : 491–524. (shrink)

§0. Preface. There has been an expectation that the endgame of the more tenacious problems raised by the Los Angeles ‘cabal’ school of descriptive set theory in the 1970's should ultimately be played out with the use of inner model theory. Questions phrased in the language of descriptive set theory, where both the conclusions and the assumptions are couched in terms that only mention simply definable sets of reals, and which have proved resistant to purely descriptive set theoretic arguments, may (...) at last find their solution through the connection between determinacy and large cardinals.Perhaps the most striking example was given by [24], where the core model theory was used to analyze the structure of HOD and then show that all regular cardinals below ΘL are measurable. John Steel's analysis also settled a number of structural questions regarding HODL, such as GCH.Another illustration is provided by [21]. There an application of large cardinals and inner model theory is used to generalize the Harrington-Martin theorem that determinacy implies )determinacy.However, it is harder to find examples of theorems regarding the structure of the projective sets whose only known proof from determinacy assumptions uses the link between determinacy and large cardinals. We may equivalently ask whether there are second order statements of number theory that cannot be proved under PD–the axiom of projective determinacy–without appealing to the large cardinal consequences of the PD, such as the existence of certain kinds of inner models that contain given types of large cardinals. (shrink)

The multiverse hypothesis is growing in popularity among theistic philosophers because some view it as the preferable way to solve certain difficulties presented by theistic belief. In this paper, I am concerned specifically with its application to Rowe’s problem of no best world, which suggests that God’s existence is impossible given the fact that the world God actualizes must be unsurpassable, yet for any given possible world, there is one greater. I will argue that, as a solution to the (...) problem of no best world, the multiverse hypothesis fails. To defend my thesis, I will first define the multiverse hypothesis and articulate the problem of no best world and how the multiverse hypothesis is thought to solve it. I will then show that the solution fails by articulating two problems that have been mentioned, but not developed, in the literature—what I call the problem of no highest standard and the problem of multiverse cardinality. In each case, after articulating the problem, I will offer possible responses to the problem and show why those responses are inadequate. (shrink)

Most of the religions of the world are based on some fundamental moral principles of good conduct/virtues and prohibits its followers to do anything which is not good for the welfare of the society as a whole. This fundamental moral principal of good conduct, in Buddhism, is known as Pancha Shila. Pancha Shila is the basic assumption of moral activities for both households as well as for renunciates. It forms the actual practice of morality. Each time the precepts are upheld, (...) the moral volitions are strengthened, until morality becomes a habitualtrait through the condition of repetition. For the smooth functioning of a society, every Buddhist has to follow the five moral precepts i.e. abstaining from killing, abstaining from stealing, abstaining from sexual misconduct, abstaining from falsehood, abstaining from taking intoxicants. Jainism, Christianity, Hinduism and Islam too accept such ethical codes with little modification. These are called cardinal virtues. Jaina concept of Pancha Mahavrata is very close to Buddhist concept of Pancha Shila. In Jainism these are; Ahimsa, Satyam, Asteyam, Brahmacharyam, Aparigraha. Mahatma Gandhi too accepted these five cardinal virtues given by Jainism but he added two more in it which are; Fearlessness and Faith in God. The five precepts of Buddhism offers the moral conducts following which everyone can avoid evil deeds and can contribute in making this world a better world for present and future generations. The precept of abstaining from killing leads to the respect for other’s life. The precept of abstaining from stealing leads to the respect for other’s property. The precept of abstaining from sexual misconduct leads to the respect for one’s own dignity and dignity of other’s especially women. The precept of abstaining from falsehood leads to the respect for honesty. The precept of abstaining from taking alcohol leads to innumerable number of good qualities like respect for a clear mind, respect for modesty of other human beings, respect for money, respect for one’s own dignity, respect for other’s life and so on. The five precepts of Buddhism make a person disciplined, which is one of the most important ingredients for the development of overall personality of a person. A developing country cannot become a developed one unless its citizens are disciplined. If we analyze the five precepts given by Buddhism then, we find that the solution for most of world problems lies in it. If everyone follows five precepts then, I think this world will be transformed into a better place, a place where people have respects for other’s life and property, where everybody’s interest will be taken care of, where people will have an altruistic approach towards society. In short, this world can be transformed into a heaven. (shrink)

The Pigeonhole Principle states that if n items are sorted into m categories and if n > m, then at least one category must contain more than one item. For instance, if 22 pigeons are put into 17 pigeonholes, at least one pigeonhole must contain more than one pigeon. This principle seems intuitive, yet when told about a city with 220,000 inhabitants none of whom has more than 170,000 hairs on their head, many people think that it is merely likely (...) that two inhabitants have the exact same number of hair. This failure to apply the Pigeonhole Principle might be due to the large numbers used, or to the cardinal rather than nominal presentation of these numbers. We show that performance improved both when the numbers are presented nominally, and when they are small, albeit less so. We discuss potential interpretations of these results in terms of intuition and reasoning. (shrink)

Our main results are: (A) It is consistent relative to a large cardinal that holds but fails. (B) If holds and are two infinite cardinals such that and λ carries a good scale, then holds. (C) If are two cardinals such that κ is λ‐Shelah and, then there is no good scale for λ.

We introduce a natural two-cardinal version of Bagaria’s sequence of derived topologies on ordinals. We prove that for our sequence of two-cardinal derived topologies, limit points of sets can be characterized in terms of a new iterated form of pairwise simultaneous reflection of certain kinds of stationary sets, the first few instances of which are often equivalent to notions related to strong stationarity, which has been studied previously in the context of strongly normal ideals. The non-discreteness of these two-cardinal derived (...) topologies can be obtained from certain two-cardinal indescribability hypotheses, which follow from local instances of supercompactness. Additionally, we answer several questions posed by the first author, Holy and White on the relationship between Ramseyness and indescribability in both the cardinal context and in the two-cardinal context. (shrink)

Problem Statement. The process of global evolution has entered the Anthropocene. This fact has almost simultaneously generated two cardinal, inseparable imperatives in the rapidly changing ideological and outlook basis of modern civilization. Firstly, the feeling that the new geological epoch also requires fundamentally new algorithms guiding practical activity and its theoretical comprehension, justification in all spheres of political reality, with inevitable exit to the level of international relations and geopolitics. Secondly, the content of the categories of ANTHROPOCEN and (GLOBAL) (...) CRISIS overlap so diversely and widely that they form an almost inseparable logically and mentally amalgam. The purpose of this publication is to reveal the political aspects of the integration of new biopolitical issues into the life of modern society. The content of the term biopolitics is currently not formalized in a definitive form. In our concept, biopolitics is defined as the processes of implementing biopower, that is, the ability (direct or indirect) of the power structures of society to control and manipulate the performance of the biological functions of certain individuals. Based on a combination of methods of conceptual, discursive and evolutionary-anthropological analysis (the concepts of evolutionary strategy and cultural-ecological niche), possible scenarios for the future development of the political process at the domestic and international levels are identified. The mechanism of transbipolitical transition – the inclusion of civilizational and biological evolution in the political process – is investigated. The conclusion formulates the content of the category “transbiolitics” as the main element of rationalization of the global-evolutionary process in the globalizing world. Transbiolitics in our understanding is an international political problematic related to the rationalization of the global evolutionary process. Technologization of the global evolutionary process, the choice of implemented technological projects and forms of their institutional support is determined primarily by geo- and biopolitical motivation of local elites and humanitarian and other convergent technologies available to them. (shrink)

What is the main problem of contemporary education? Rasoul Nejadmehr argues that the cardinal problem with education is that it does not have an adequate notion of truth underpinning it. Thinkers mainly tend to veer towards two poles - absolutism and relativism. While a one-sided tendency toward absolutism leads to reified categories of thought and alienation, a tendency toward relativism leads to lack of universality and nihilism. Education, Science and Truth suggests a way out by bridging not only (...) divides between and within analytical and continental philosophy but also those of modernism and postmodernism. By using a range of issues, disciplines and literature, Nejadmehr formulates a new version of the concept of objectivity based on the inclusion of multiple perspectives, including ones from art, philosophy and marginalized groups. (shrink)

Various proposals have been made for solving The Two Envelope Problem. But even though the problem itself is easily stated and quite simple, the proposedsolutions have not been. Some involve calculus, some involve considerations about infinite values, and some are complicated in other ways. Moreover, there is not yet any one solution that is widely accepted as correct. In addition to being notable for its simplicity and its lack of a generally agreed-upon solution, The Two Envelope Problem (...) is also notable because it demonstrates that something that has been taken to be a fundamental principle of decision theory is false. The main purpose of this paper is to propose and defend a simple solution to The Two Envelope Problem. But I also want to make a start on the project of figuring out how the relevant fundamental principle of decision theory should be revised. (shrink)

We analyze the two cardinal properties of definable sets in homogeneous graphs.

Zusammenfassung: In Kants Schriften kommt das Wort ‚Metapher‘ nur spärlich vor. Das heißt jedoch keineswegs, dass er das Vorkommen von Metaphern ignoriert und nicht problematisiert hat. In diesem Beitrag habe ich vor, mich mit zwei Schlüsselbegriffen der kantischen Ästhetik zu befassen, nämlich mit der ästhetischen Idee und der symbolischen Darstellung. Hinter beiden verbergen sich Strukturen, die sich als Explikationen der Funktionsweise von Metaphern verstehen lassen. In der analytischen Philosophie des vorigen Jahrhunderts ist die Metapher zum Gegenstand von mancherlei Studien und (...) konkurrierender Theorien geworden. Darunter befinden sich – freilich in einem durchaus unterschiedlichen Begriffsapparat formuliert – auch die beiden Theorien aus der Kritik der Urteilskraft. Trotz allem Konsens gehen sie in der Schlüsselfrage der Existenz der metaphorischen Bedeutung auseinander. Während Max Black seine Auffassung auf der Idee der metaphorischen Bedeutung aufbaute, argumentierte Donald Davidson hingegen, dass diese Idee die Funktionsweise der Metapher nicht zu erläutern vermöge. Diese bis heute unentschiedene Streitsache ist im Rückgang auf Kants Ästhetik aufzuspüren, und zwar in der Form der (heutzutage gleichfalls aktuellen) Frage, ob sich die Funktion von ästhetischen Ideen auf die symbolische Darstellung von sittlichen Vernunftideen reduzieren lässt. Abstract: The term "metaphor" is rare to the writings of Kant. However, it doesn't imply that he ignored or did not question the ubiquity of metaphors. In the present paper, I want to discuss two cardinal concepts of Kant's aesthetics viz., the aesthetic idea and the symbolic presentation. Behind both are contained structures which can be seen as explications of the function of the metaphor. The problem of metaphor has come to a noteworthy revival and to the subject of many competing studies in analytical philosophy. Among them can be found - formulated surely in very different concepts - the two theories from The Critique of Judgement. Despite a considerable amount of agreement, these theories diverge in the key issue of the usefulness of the notion of the metaphorical meaning. While Max Black's account is based on the idea of the metaphorical meaning, Donald Davidson on the other hand argued that such an idea cannot explain the function of the metaphor. This undecided issue can be transposed back into the aesthetical theory of Kant as the issue, whether the function of aesthetical ideas can be reduced to a symbolic presentation of moral ideas of reason. (shrink)

In [3] a certain family of topological spaces was introduced on ultraproducts. These spaces have been called ultratopologies and their definition was motivated by model theory of higher order logics. Ultratopologies provide a natural extra topological structure for ultraproducts. Using this extra structure in [3] some preservation and characterization theorems were obtained for higher order logics. The purely topological properties of ultratopologies seem interesting on their own right. We started to study these properties in [2], where some questions remained open. (...) Here we present the solutions of two such problems. More concretely we show 1. that there are sequences of finite sets of pairwise different cardinalities such that in their certain ultraproducts there are homeomorphic ultratopologies and 2. if A is an infinite ultraproduct of finite sets, then every ultratopology on A contains a dense subset D such that |D| < |A|. (shrink)

We succeed to say something on the identities of when μ > θ > cf with μ strong limit θ-compact or even μ is limit of compact cardinals.

Sociologists often ask why particular groups of people have the moral views that they do. I argue that sociology’s empirical research on morality relies, implicitly or explicitly, on unsophisticated and even obsolete ethical theories, and thus is based on inadequate conceptions of the ontology, epistemology, and semantics of morality. In this article I address the two main problems in the sociology of morality: (1) the problem of moral truth, and (2) the problem of value freedom. I identify two (...) ideal–typical approaches. While the Weberian paradigm rejects the concept of moral truth, the Durkheimian paradigm accepts it. By contrast, I argue that sociology should be metaphysically agnostic, yet in practice it should proceed as though there were no moral truths. The Weberians claim that the sociology of morality can and should be value free; the Durkheimians claim that it cannot and it should not. My argument is that, while it is true that factual statements presuppose value judgments, it does not follow that sociologists are moral philosophers in disguise. Finally, I contend that in order for sociology to improve its understanding of morality, better conceptual, epistemological, and methodological foundations are needed. (shrink)

This paper will examine a cardinal problem, yet one seldom raised in the existing bibliography of Hegelian philosophy: that of the distinction between reason and understanding. Portraying the objective path of the development of thought, this distinction is pertinent to any cognitive development, ontogenetic and phylogenetic, and can illuminate a number of epistemological puzzles of Hegel’s doctrine, such as the construction of totality, the appreciation of contradiction, and the relationship between logic and dialectic. I will begin by locating the (...) problem in the development of German Idealism and showing Hegel’s response, based on his metaphysical assumptions that are often overlooked in recent scholarship. In the second section, I will address a number of existing interpretations that do not account for Hegel’s dynamic portrayal of thought as thought that is coming to be. The latter problem will be the focus of the final two sections that deal with a realistic reconstruction of the triad sense-understanding-reason and emphasize the unity between concept and intuition. (shrink)

Cardinal Mercier’s Manual of Modern Scholastic Philosophy is a standard work, prepared at the Higher Institute of Philosophy, Louvain, mainly for the use of clerical students in Catholic Seminaries. Though undoubtedly elementary, it contains a clear, simple, and methodological exposition of the principles and problems of every department of philosophy, and its appeal is not to any particular class, but broadly human and universal. Volume I includes a general introduction to philosophy and sections on cosmology, psychology, criteriology, and metaphysics or (...) ontology. (shrink)

The spectrum of a first-order sentence is the set of natural numbers occurring as the cardinalities of finite models of the sentence. In a recent survey, Durand et al. introduce a new class of real numbers, the spectral reals, induced by spectra and pose two open problems associated to this class. In the present note, we answer these open problems as well as other open problems from an earlier, unpublished version of the survey. Specifically, we prove that every algebraic real (...) is spectral, every automatic real is spectral, the subword density of a spectral real is either 0 or 1, and both may occur, and every right-computable real number between 0 and 1 occurs as the subword entropy of a spectral real. In addition, Durand et al. note that the set of spectral reals is not closed under addition or multiplication. We extend this result by showing that the class of spectral reals is not closed under any computable operation satisfying some mild conditions. (shrink)

Let μ,κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu, \kappa}$$\end{document} and λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document} be three uncountable cardinals such that μ=cf<κ=cf<λ.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu = {\rm cf} < \kappa = {\rm cf} < \lambda.}$$\end{document} The game ideal NGκ,λμ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${NG_{\kappa,\lambda}^\mu}$$\end{document} is a normal ideal on Pκ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${P_\kappa }$$\end{document} defined using games (...) of length μ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu}$$\end{document}. We show that if 2≤λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^{} \leq \lambda}$$\end{document} and there are no large cardinals in an inner model, then the diamond principle ♢κ,λ[NGκ,λμ]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamondsuit_{\kappa,\lambda} [{NG}_{\kappa,\lambda}^\mu]}$$\end{document} holds. We also show that if ♢κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamondsuit_\kappa }$$\end{document} holds, where S is a stationary subset of κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa}$$\end{document}, then ♢κ,λ:a∩κ∈S})\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamondsuit_{\kappa,\lambda} : a \cap \kappa \in S\})}$$\end{document} holds. (shrink)

Two great problems of learning confront humanity: learning about the universe, and learning how to live wisely. The first problem was solved with the creation of modern science, but the second problem has not been solved. This combination puts humanity into a situation of unprecedented danger. In order to solve the second problem we need to learn from our solution to the first problem. This requires that we bring about a revolution in the overall aims and (...) methods of academic inquiry, so that it takes up its proper task of promoting wisdom. (shrink)