相关论文: Generic large cardinals as axioms
The same set of physically motivated axioms can be used to construct both the classical ensemble Hamilton-Jacobi equation and Schrodingers equation. Crucial roles are played by the assumptions of universality and simplicity (Occam's Razor)…
We consider the problem of birationally modifying a morphism of complete varieties to make it a morphism from a nonsingular variety to a normal variety. Our main result is to give a counterexample to this problem. This example also is a…
Conventional classical confidence intervals in specific cases are unphysical. A solution to this problem has recently been published by Feldman and Cousins. We show that there are cases where the new approach is not applicable and that it…
We present new criteria on the existence of fixed points that combine some monotonicity assumptions with the classical fixed point index theory. As an illustrative application, we use our theoretical results to prove the existence of…
Inspired by Zermelo's quasi-categoricity result characterizing the models of second-order Zermelo-Fraenkel set theory $\text{ZFC}_2$, we investigate when those models are fully categorical, characterized by the addition to $\text{ZFC}_2$…
We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new completeness theorems and subsumes previous ones by G\"odel,…
A central theme in set theory is to find universes with extreme, well-understood behaviour. The case we are interested in is assuming GCH and has a strong forcing axiom of higher order than usual. Instead of "for every suitable forcing…
Our original aim was, in Abelian group theory to prove the consistency of: lambda is strong limit singular and for some properties of abelian groups which are relatives of being free, the compactness in singular fails. In fact this should…
A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set-forcing extension of any inner model. The Ground Axiom is first-order expressible, and any model of ZFC has a class-forcing extension which…
We introduce bounded category forcing axioms for well-behaved classes $\Gamma$. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe $H_{\lambda_\Gamma^+}$ modulo…
We reconsider a well known problem of quantum theory, i.e. the so called measurement (or macro-objectification) problem, and we rederive the fact that it gives rise to serious problems of interpretation. The novelty of our approach derives…
A usual dichotomy is that in many cases, reasonably definable sets, satisfy the CH, i.e. if they are uncountable they have cardinality continuum. A strong dichotomy is when: if the cardinality is infinite it is continuum as in [Sh:273]. We…
We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals…
We discuss some well-known compactness principles for uncountable structures of small regular sizes ($\omega_n$ for $2 \le n<\omega$, $\aleph_{\omega+1}$, $\aleph_{\omega^2+1}$, etc.), consistent from weakly compact (the size-restricted…
A new elementary proof of the prime number theorem presented recently in the framework of a scale invariant extension of the ordinary analysis is re-examined and clarified further. Both the formalism and proof are presented in a much more…
In [Bon20], model theoretic characterizations of several established large cardinal notions were given. We continue this work, by establishing such characterizations for Woodin cardinals (and variants), various virtual large cardinals, and…
We investigate the possibilities of global versions of Chang's Conjecture that involve singular cardinals. We show some $\mathrm{ZFC}$ limitations on such principles, and prove relative to large cardinals that Chang's Conjecture can…
Taking a hint from Dirac's large number hypothesis, we note the existence of cosmic combined conservation laws that work to cosmologically long time. We thus modify or generalize Einstein's theory of general relativity with fixed…
We study the Generalized Kurepa Hypothesis introduced by Chang. We show that relative to the existence of an inaccessible cardinal the Gap-$n$-Kurepa hypothesis does not follow from the Gap-$m$-Kurepa hypothesis for $m$ different from $n$.…
It has been pointed out that non-singular cosmological solutions in second-order scalar-tensor theories generically suffer from gradient instabilities. We extend this no-go result to second-order gravitational theories with an arbitrary…