Strengthening a result of Amir Leshem [7], we prove that the consistency strength of holding GCH together with definable tree property for all successors of regular cardinals is precisely equal to the consistency strength of existence of proper class many Π 1 reflecting cardinals. Moreover it is proved that if κ is a supercompact cardinal and λ > κ is measurable, then there is a generic extensi...

We know that the wasps ‘know’: cryptic successors to the queen in Ropalidia marginata Anindita Bhadra and Raghavendra Gadagkar* Centre for Ecological Sciences, Indian Institute of Science, Bangalore 560012, India Evolutionary and Organismal Biology Unit, Jawaharlal Nehru Centre for Advanced Scientific Research, Jakkur, Bangalore 560064, India *Author and address for correspondence: Centre for E...

We provide a generic work-list algorithm to compute the (reflexive-)transitive closure of relations where only successors of newly detected states are generated. In contrast to our previous work [2], the relations do not have to be finite, but each element must only have finitely many (indirect) successors. Moreover, a subsumption relation can be used instead of pure equality. An executable var...

Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the set of successors of a regular set of configurations can be non-regular, making forward analysis of these models difficult. We refine the model by adding the associativecommutative properties of parallel composition, and...

Hopeless retained primary teeth without permanent successors represent a restorative challenge for clinicians, along with esthetic and functional problems for patients. While various treatment approaches for congenitally missing teeth have been proposed, the replacement of a missing tooth with a dental implant offers specific advantages, such as preservation of the alveolar crest and eliminatio...

We examine combinatorial aspects and consistency strength properties of almost Ramsey cardinals. Without the Axiom of Choice, successor cardinals may be almost Ramsey. From fairly mild supercompactness assumptions, we construct a model of ZF + ¬ACω in which every infinite cardinal is almost Ramsey. Core model arguments show that strong assumptions are necessary. Without successors of singular c...

From large cardinals we obtain the consistency of the existence of a singular cardinal κ of cofinality ω at which the Singular Cardinals Hypothesis fails, there is a bad scale at κ and κ++ has the tree property. In particular this model has no special κ+-trees.

We show that: (1) For many regular cardinals λ (in particular, for all successors of singular strong limit cardinals, and for all successors of singular ω-limits), for all n ∈ {2, 3, 4, . . .}: There is a linear order L such that L has no (incomparability-)antichain of cardinality λ, while L has an antichain of cardinality λ. (2) For any nondecreasing sequence 〈λn : n ∈ {2, 3, 4, . . .}〉 of inf...

The paper develops a concept of equilibrium behaviour and establishes its existence in a model of nonpaternalistic intergenerational altruism. Each generation derives utility from its own consumption and the utilities of its successors. Equilibrium capital stocks are time-monotone and therefore converge to a steady state. Finally. when each generation’s utility depends on that of at least two s...