Related papers: Incompatibility of generic hugeness principles
We will consider a number of new large-cardinal properties, the $\alpha$-tremendous cardinals for each limit ordinal $\alpha>0$, the hyper-tremendous cardinals, the $\alpha$-enormous cardinals for each limit ordinal $\alpha>0$, and the…
We study the strength of well-founded ultrafilters on ordinals above choiceless large cardinals and their associated Prikry forcings. Gabriel Goldberg showed that all but boundedly many regular cardinals above a rank Berkeley cardinal carry…
The technique of "classical realizability" is an extension of the method of "forcing"; it permits to extend the Curry-Howard correspondence between proofs and programs, to Zermelo-Fraenkel set theory and to build new models of ZF, called…
We establish common fixed point theorems for two pairs of weakly compatible self-mappings using an auxiliary function of two variables. Unlike classical results, our theorems do not assume continuity of the mappings and require completeness…
Dimensional analysis shows that the speed of light and Newton's constant of gravitation can be combined to define a quantity $F_* = {c^4\over G_N}$ with the dimensions of force (equivalently, tension). Then in any physical situation we must…
We continue investigations of reasonable ultrafilters on uncountable cardinals defined in math.LO/0407498. We introduce stronger properties of ultrafilters and we show that those properties may be handled in lambda-support iterations of…
The magnitude and sign of the gravitational coupling $1/G$ depend on the relations between different contributions from scalar, fermionic and vector fields. In principle, this may give the zero and negative values of $1/G$ in some…
We present some results about generics for computable Mathias forcing. The $n$-generics and weak $n$-generics in this setting form a strict hierarchy as in the case of Cohen forcing. We analyze the complexity of the Mathias forcing…
In the presence of some forms of global anomalies, the equivalence theorem, which relates the interactions of longitudinal gauge bosons to those of the Goldstone bosons, is not always valid. This can occur when the Goldstone sector contains…
If kappa is any strongly unfoldable cardinal, then this is preserved in a forcing extension in which Diamond_kappa(REG) fails. This result continues the progression of the corresponding results for weakly compact cardinals, due to Woodin,…
We prove that any tame abstract elementary class categorical in a suitable cardinal has an eventually global good frame: a forking-like notion defined on all types of single elements. This gives the first known general construction of a…
Reflection principles (or dually speaking, compactness principles) often give rise to combinatorial guessing principles. Uniformization properties, on the other hand, are examples of anti-guessing principles. We discuss the tension and the…
We develop the basic fine structure theory of the minimal model of the Largest Suslin Axiom. In particular, we prove that that the minimal model of the Largest Suslin Axiom satisfies the Mouse Set Conjecture, and that the Proper Forcing…
In the present paper we are interested in simple forcing notions and Forcing Axioms. A starting point for our investigations was the article [JR1] in which several problems were posed. We answer some of those problems here.
Given a countable transitive model of set theory and a partial order contained in it, there is a natural countable Borel equivalence relation on generic filters over the model; two are equivalent if they yield the same generic extension. We…
In this paper, we investigate the weak Gorenstein global dimensions. We are mainly interested in studying the problem when the left and right weak Gorenstein global dimensions coincide. We first show, for GF-closed rings, that the left and…
In this work we show that the gravity lagrangian f(R) at relatively low curvatures in both metric and Palatini formalisms is a bounded function that can only depart from the linearity within the limits defined by well known functions. We…
A question dating to Sibe Marde\v{s}i\'{c} and Andrei Prasolov's 1988 work Strong homology is not additive, and motivating a considerable amount of set theoretic work in the ensuing years, is that of whether it is consistent with the ZFC…
Using well-known methods we generalize (hyper)virial theorems to case of singular potential. Discussion is carried on for most general second order differential equation, which involves all physically interesting cases, such as…
The Coleman-Mandula theorem, which states that space-time and internal symmetries cannot be combined in any but a trivial way, is generalized to an arbitrarily higher spacelike dimension. Prospects for further generalizations of the theorem…