'ground-breaking anthology... wide array of perspectives on WW1, from both sides of the fighting' -B. Adler, Choice 'a very fine anthology' -Times Literary SupplementThe First World War inspired a huge outpouring of writing that, until recently, was thought to be almost the exclusive preserve of men. Yet the war also acted as a catalyst which enabled women writers to find a literary and political voice. This anthology bears witness to the great variety and scope of women's writing about the (...) war. Covering the years 1914-1930, the book brings together little-known writing from across the world, drawing on a wide spectrum of genres from letters and diary entries to essays, novels, and short stories. Among the celebrated writers featured in this anthology are: Radclyffe Hall, Sylvia Pankhurst, Maud Gonne, Rebecca West, May Sinclair, Olive Schreiner, Colette, Vera Brittain, Gertrude Stein, Katherine Mansfield, HD, and Virginia Woolf. (shrink)

Versions of Laver sequences are known to exist for supercompact and strong cardinals. Assuming very strong axioms of infinity, Laver sequences can be constructed for virtually any globally defined large cardinal not weaker than a strong cardinal; indeed, under strong hypotheses, Laver sequences can be constructed for virtually any regular class of embeddings. We show here that if there is a regular class of embeddings with critical point κ, and there is an inaccessible above κ, then it is consistent (...) for there to be a regular class that admits no Laver sequence. We also show that extendible cardinals are Laver-generating, i.e., that assuming only that κ is extendible, there is an extendible Laver sequence at κ. We use the method of proof to answer a question about Laver-closure of extendible cardinals at inaccessibles. Finally, we consider Laver sequences for super-almost-huge cardinals. Assuming slightly more than super-almost-hugeness, we show that there are super-almost-huge Laver sequences, improving the previously known upper bound for such Laver sequences. We also describe conditions under which the canonical construction of a Laver sequence fails for super-almost-huge cardinals. (shrink)

We introduce a natural principleStrong Chang Reflectionstrengthening the classical Chang Conjectures. This principle is between a huge and a two huge cardinal in consistency strength. In this note we prove that it implies the existence of an inner model with a huge cardinal. The technique we explore for building inner models with huge cardinals adapts to show thatdecisiveideals imply the existence of inner models with supercompact cardinals. Proofs for all of these claims can be (...) found in [10].1,2. (shrink)

I analyze the hierarchy of large cardinals between a supercompact cardinal and an almost-huge cardinal. Many of these cardinals are defined by modifying the definition of a high-jump cardinal. A high-jump cardinal is defined as the critical point of an elementary embedding j:V→M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${j: V \to M}$$\end{document} such that M is closed under sequences of length sup{j|f:κ→κ}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sup\{{j\,|\,f: \kappa \to \kappa}\}}$$\end{document}. Some (...) of the other cardinals analyzed include the super-high-jump cardinals, almost-high-jump cardinals, Shelah-for-supercompactness cardinals, Woodin-for-supercompactness cardinals, Vopěnka cardinals, hypercompact cardinals, and enhanced supercompact cardinals. I organize these cardinals in terms of consistency strength and implicational strength. I also analyze the superstrong cardinals, which are weaker than supercompact cardinals but are related to high-jump cardinals. Among the results, I highlight the following. Vopěnka cardinals are the same as Woodin-for-supercompactness cardinals.There are no excessively hypercompact cardinals.Furthermore, I prove some results relating high-jump cardinals to forcing, as well as analyzing Laver functions for super-high-jump cardinals. (shrink)

If [Formula: see text] is regular and [Formula: see text], then the existence of a weakly presaturated ideal on [Formula: see text] implies [Formula: see text]. This partially answers a question of Foreman and Magidor about the approachability ideal on [Formula: see text]. As a corollary, we show that if there is a presaturated ideal [Formula: see text] on [Formula: see text] such that [Formula: see text] is semiproper, then CH holds. We also show some barriers to getting the tree (...) property and a saturated ideal simultaneously on a successor cardinal from conventional forcing methods. (shrink)

Assuming Con, a model in which there are unboundedly many regular cardinals below Θ and in which the only regular cardinals below Θ are limit cardinals was previously constructed. Using a large cardinal hypothesis far beyond Con, we construct in this paper a model in which there is a proper class of regular cardinals and in which the only regular cardinals in the universe are limit cardinals.

We prove three theorems which show that it is relatively consistent for any strong cardinal κ to be fully Laver indestructible under κ-directed closed forcing.

By forcing over a model of with a class-sized partial order preserving this theory we produce a model in which there is a locally defined well-order of the universe; that is, one whose restriction to all levels H is a well-order of H definable over the structure H, by a parameter-free formula. Further, this forcing construction preserves all supercompact cardinals as well as all instances of regular local supercompactness. It is also possible to define variants of this construction which, (...) in addition to forcing a locally defined well-order of the universe, preserve many of the n-huge cardinals from the ground model. (shrink)

Superstrong cardinals are never Laver indestructible. Similarly, almost huge cardinals, huge cardinals, superhuge cardinals, rank-into-rank cardinals, extendible cardinals, 1-extendible cardinals, 0-extendible cardinals, weakly superstrong cardinals, uplifting cardinals, pseudo-uplifting cardinals, superstrongly unfoldable cardinals, Σn-reflecting cardinals, Σn-correct cardinals and Σn-extendible cardinals are never Laver indestructible. In fact, all these large cardinal properties are superdestructible: if κ exhibits any of them, with corresponding target θ, then in (...) any forcing extension arising from nontrivial strategically <κ-closed forcing Q∈Vθ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{Q} \in V_\theta}$$\end{document}, the cardinal κ will exhibit none of the large cardinal properties with target θ or larger. (shrink)

In this paper, we show that certain choiceless models of ZF originally constructed using an almost huge cardinal can be constructed using cardinals strictly weaker in consistency strength.

We show that the weakest versions of Foreman’s minimal generic hugeness axioms cannot hold simultaneously on adjacent cardinals. Moreover, conventional forcing techniques cannot produce a model of one of these axioms.

We investigate large cardinal axioms beyond the level of ω-huge in context of the universality of the suitable extender models of [Suitable Extender Models I, J. Math. Log.10 101–339]. We show that there is an analog of ADℝ at the level of ω-huge, more precisely the construction of the minimum model of ADℝ generalizes to the level of Vλ+1. This allows us to formulate the indicated generalization of ADℝ and then to prove that if the axiom holds in (...) V at a proper class of λ then in every suitable extender model, the axiom holds at a proper class of λ. (shrink)

We introduce the strongly uplifting cardinals, which are equivalently characterized, we prove, as the superstrongly unfoldable cardinals and also as the almost-hugely unfoldable cardinals, and we show that their existence is equiconsistent over ZFC with natural instances of the boldface resurrection axiom, such as the boldface resurrection axiom for proper forcing.

We introduce a natural generalization of Borel's Conjecture. For each infinite cardinal number $\kappa$, let ${\sf BC}_{\kappa}$ denote this generalization. Then ${\sf BC}_{\aleph_0}$ is equivalent to the classical Borel conjecture. Assuming the classical Borel conjecture, $\neg{\sf BC}_{\aleph_1}$ is equivalent to the existence of a Kurepa tree of height $\aleph_1$. Using the connection of ${\sf BC}_{\kappa}$ with a generalization of Kurepa's Hypothesis, we obtain the following consistency results: 1. If it is consistent that there is a 1-inaccessible cardinal then it is (...) consistent that ${\sf BC}_{\aleph_1}$.2. If it is consistent that ${\sf BC}_{\aleph_1}$, then it is consistent that there is an inaccessible cardinal.3. If it is consistent that there is a 1-inaccessible cardinal with $\omega$ inaccessible cardinals above it, then $\neg{\sf BC}_{\aleph_{\omega}} + (\forall n < \omega){\sf BC}_{\aleph_n}$ is consistent.4. If it is consistent that there is a 2-huge cardinal, then it is consistent that ${\sf BC}_{\aleph_{\omega}}$.5. If it is consistent that there is a 3-huge cardinal, then it is consistent that ${\sf BC}_{\kappa}$ for a proper class of cardinals $\kappa$ of countable cofinality. (shrink)

We consider iterations of general elementary embeddings and, using this notion, point out helices of consistency-wise implications between large large cardinals.Up to now, large cardinal properties have been considered as properties which cannot be accessed by any weaker properties and it has been known that, with respect to this relation, they form a proper hierarchy. The helices we point out significantly change this situation: the same sequence of large cardinal properties occurs repeatedly, changing only the parameters.As results of our (...) investigation of this helical structure, we have new characterizations of extendible cardinals and of Vopěnkan cardinals in terms of elementary embeddings from the universe V, a new large large cardinal property which looks like Shelahness properly between Vopěnkaness and almost hugeness, and a more direct relation between Vopěnkaness and Woodinness than already known.We also consider limits of the helices and relations with the axioms I1–I3. (shrink)

In this paper, we prove that: if κ is supercompact and the math formula Hypothesis holds, then there is a proper class of regular cardinals in math formula which are measurable in math formula. Woodin also proved this result independently [11]. As a corollary, we prove Woodin's Local Universality Theorem. This work shows that under the assumption of the math formula Hypothesis and supercompact cardinals, large cardinals in math formula are reflected to be large cardinals in (...) math formula in a local way, and reveals the huge difference between math formula-supercompact cardinals and supercompact cardinals under the math formula Hypothesis. (shrink)

In 1970, K. Kunen, working in the context of Kelley–Morse set theory, showed that the existence of a nontrivial elementary embedding j:V→V is inconsistent. In this paper, we give a finer analysis of the implications of his result for embeddings V→V relative to models of ZFC. We do this by working in the extended language , using as axioms all the usual axioms of ZFC , along with an axiom schema that asserts that j is a nontrivial elementary embedding. Without (...) additional axiomatic assumptions on j, we show that that the resulting theory is weaker than an ω-Erdös cardinal, but stronger than n-ineffables. We show that natural models of ZFC+BTEE give rise to Schindler’s remarkable cardinals. The approach to inconsistency from ZFC+BTEE forks into two paths: extensions of ZFC+BTEE+Cofinal Axiom and ZFC+BTEE+¬Cofinal Axiom, where Cofinal Axiom asserts that the critical sequence is cofinal in the ordinals. We describe near-minimal inconsistent extensions of each of these theories. The path toward inconsistency from ZFC+BTEE+¬Cofinal Axiom is paved with a sequence of theories of increasing large cardinal strength. Indeed, the extensions of the theory ZFC +“j is a nontrivial elementary embedding” form a hierarchy of axioms, ranging in strength from Con to the existence of a cardinal that is super-n-huge for every n, to inconsistency. This hierarchy is parallel to the usual hierarchy of large cardinal axioms, and can be used in the same way. We also isolate several intermediate-strength axioms which, when added to ZFC+BTEE, produce theories having strengths in the vicinity of a measurable cardinal of high Mitchell order, a strong cardinal, ω Woodin cardinals, and n-huge cardinals. We also determine precisely which combinations of axioms, of the form result in inconsistency. (shrink)

The Lévy-Solovay Theorem [8] limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that many of the forcing iterations most commonly found in the large cardinal literature create no new weakly compact cardinals, measurable cardinals, strong cardinals, Woodin cardinals, strongly compact cardinals, supercompact cardinals, almost huge cardinals, (...) class='Hi'>huge cardinals, and so on. (shrink)

It is shown in this paper that it is consistent (relative to almost huge cardinals) for various club guessing ideals to be saturated.

We show that given ω many supercompact cardinals, there is a generic extension in which there are no Aronszajn trees at ℵω+1. This is an improvement of the large cardinal assumptions. The previous hypothesis was a huge cardinal and ω many supercompact cardinals above it, in Magidor—Shelah [7].

We show that it is consistent relative to a huge cardinal that for all infinite cardinals [Formula: see text], [Formula: see text] holds and there is a stationary [Formula: see text] such that [Formula: see text] is [Formula: see text]-saturated.

Using an idea of Sargsyan, we show how to reduce the consistency strength of the assumptions employed to establish a theorem concerning a uniform level of indestructibility for both strong and supercompact cardinals.

In 1985 the second author showed that if there is a proper class of measurable Woodin cardinals and $V^{B1} $ and $V^{B2} $ are generic extensions of V satisfying CH then $V^{B1} $ and $V^{B2} $ agree on all $\Sigma _1^2 $ -statements. In terms of the strong logic Ω-logic this can be reformulated by saying that under the above large cardinal assumption ZFC + CH is Ω-complete for $\Sigma _1^2 $ Moreover. CH is the unique $\Sigma _1^2 $ (...) -statement with this feature in the sense that any other $\Sigma _1^2 $ -statement with this feature is Ω-equivalent to CH over ZFC. It is natural to look for other strengthenings of ZFC that have an even greater degree of Ω-completeness. For example, one can ask for recursively enumerable axioms A such that relative to large cardinal axioms ZFC + A is Ω-complete for all of third-order arithmetic. Going further, for each specifiable segment $V_\lambda $ of the universe of sets (for example, one might take $V_\lambda $ to be the least level that satisfies there is a proper class of huge cardinals), one can ask for recursively enumerable axioms A such that relative to large cardinal axioms ZFC + A is Ω-complete for the theory of $V_\lambda $ . If such theories exist, extend one another, and are unique in the sense that any other such theory B with the same level of Ω-completeness as A is actually Ω-equivalent to A over ZFC, then this would show that there is a unique Ω-complete picture of the successive fragments of the universe of sets and it would make for a very strong case for axioms complementing large cardinal axioms. In this paper we show that uniqueness must fail. In particular, we show that if there is one such theory that Ω-implies CH then there is another that Ω-implies¬CH. (shrink)

It was proved recently that Telgársky’s conjecture, which concerns partial information strategies in the Banach–Mazur game, fails in models of \. The proof introduces a combinatorial principle that is shown to follow from \, namely: \::Every separative poset \ with the \-cc contains a dense sub-poset \ such that \ for every \. We prove this principle is independent of \ and \, in the sense that \ does not imply \, and \ does not imply \ assuming the consistency (...) of a huge cardinal. We also consider the more specific question of whether \ holds with \ equal to the weight-\ measure algebra. We prove, again assuming the consistency of a huge cardinal, that the answer to this question is independent of \. (shrink)

We study the structural rainbow Ramsey theory at uncountable cardinals. Compared to the usual rainbow Ramsey theory, the variation focuses on finding a rainbow subset that not only is of a certain cardinality but also satisfies certain structural constraints, such as being stationary or closed in its supremum. In the process of dealing with cardinals greater than ω1, we uncover some connections between versions of Chang's Conjectures and instances of rainbow Ramsey partition relations, addressing a question raised in (...) [18]. (shrink)

Let κ and λ be infinite cardinals, F a filter on κ, and G a set of functions from κ to κ. The filter F is generated by G if F consists of those subsets of κ which contain the range of some element of G. The set G is $ -closed if it is closed in the $ -topology on κ κ. (In general, the $ -topology on IA has basic open sets all Π i∈ I U i (...) such that, for all $i \in I, U_i \subseteq A$ and $|\{i \in I: U_i \neq A\}| .) The primary question considered in this paper asks "Is there a uniform ultrafilter on κ which is generated by a closed set of functions?" (Closed means $ -closed.) We also establish the independence of two related questions. One is due to Carlson: "Does there exist a regular cardinal κ and a subtree T of $^{ such that the set of branches of T generates a uniform ultrafilter on κ?"; and the other is due to Pouzet: "For all regular cardinals κ, is it true that no uniform ultrafilter on κ is analytic?" We show that if κ is a singular, strong limit cardinal, then there is a uniform ultrafilter on κ which is generated by a closed set of increasing functions. Also, from the consistency of an almost huge cardinal, we get the consistency of CH + "There is a uniform ultrafilter on ℵ 1 which is generated by a closed set of increasing functions". In contrast with the above results, we show that if κ is any cardinal, λ is a regular cardinal less than or equal to κ and P is the forcing notion for adding at least $(\kappa^{ generic subsets of λ, then in V P , no uniform ultrafilter on κ is generated by a closed set of functions. (shrink)

A question of Foreman and Magidor asks if it is consistent for every sequence of stationary subsets of the ℵ n ’s for 1≤n<ω to be mutually stationary. We get a positive answer to this question in the context of the negation of the Axiom of Choice. We also indicate how a positive answer to a generalized version of this question in a choiceless context may be obtained.

Prestige of academic teacher’s activities and his or her authority, should most of all result from moral attitude. Thus there is need in this kind of activity to use ethic virtues. Thanks to them human improves internally, but also can realize the concrete property outside. Virtues are necessary for person both for him or her as an average human being and also as a scholar and an educator. By setting own example one can have the most influence on students’ moral (...) attitudes. Consequently an occasion arises to improve cardinal classic virtues, which include: prudence, deliberation, justice and courage, but also in the virtues that are related to them. These activities drive to form yourself in giving good example and have a huge impact on academic environment’s advancement. (shrink)

A problem for Aristotelian realist accounts of universals (neither Platonist nor nominalist) is the status of those universals that happen not to be realised in the physical (or any other) world. They perhaps include uninstantiated shades of blue and huge infinite cardinals. Should they be altogether excluded (as in D.M. Armstrong's theory of universals) or accorded some sort of reality? Surely truths about ratios are true even of ratios that are too big to be instantiated - what is (...) the truthmaker of such truths? It is argued that Aristotelianism can answer the question, but only a semi-Platonist form of it. (shrink)

In this paper we introduce the Wholeness Axiom , which asserts that there is a nontrivial elementary embedding from V to itself. We formalize the axiom in the language {∈, j } , adding to the usual axioms of ZFC all instances of Separation, but no instance of Replacement, for j -formulas, as well as axioms that ensure that j is a nontrivial elementary embedding from the universe to itself. We show that WA has consistency strength strictly between I 3 (...) and the existence of a cardinal that is super- n -huge for every n . ZFC + WA is used as a background theory for studying generalizations of Laver sequences. We define the notion of Laver sequence for general classes E consisting of elementary embeddings of the form i :V β → M , where M is transitive, and use five globally defined large cardinal notions – strong, supercompact, extendible, super-almost-huge, superhuge – for examples and special cases of the main results. Assuming WA at the beginning, and eventually refining the hypothesis as far as possible, we prove the existence of a strong form of Laver sequence for a broad range of classes E that include the five large cardinal types mentioned. We show that if κ is globally superstrong, if E is Laver-closed at beth fixed points, and if there are superstrong embeddings i with critical point κ and arbitrarily large targets such that E is weakly compatible with i , then our standard constructions are E -Laver at κ . , there is an extendible Laver sequence at κ .) In addition, in most cases our Laver sequences can be made special if E is upward λ -closed for sufficiently many λ. (shrink)

In Balcony in the Forest, Julien Gracq composes a soundscape in four dimensions: he establishes an undulating background by involving spatial events; he forms temporal figures by involving material affects—spatial events and material affects extracted from depths before being enveloped by a resonant place. Each of the four dimensions has a particular relationship to the sounds of power and the power of sound, and it is up to the reader to decide whether the soundscape composed in and by the writing (...) makes this double... (shrink)

Karol Wojtyła found phenomenology very helpful for the analysis of concrete human experience and for overcoming the ethical formalism ofKant. Phenomenology, he believed, could also enrich classical Thomism by exploring the lived experience of freedom, interiority, and self-governance. But phenomenology, in his opinion, needed to be supplemented by metaphysics in order to ground experiences such as the sense of duty in the real order. He criticized much modern philosophy for abandoning metaphysics and thus neglecting the sapiential dimension. Since his career (...) as a professor was very short, he did not have time to complete his project of a personalist Thomism in which phenomenology and metaphysics would be harmoniously combined. (shrink)

Real-life stories from teachers who share their passion for shaping the lives of young people today.

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)