相关论文: Generic large cardinals as axioms

We survey some results that provide different versions of classical results through different summability methods. Specifically, in order to adapt such classical results, we analyze which properties should satisfy the summability methods.…

It is known that the assumption that ``GCH first fails at \aleph_{\omega}'' leads to large cardinals in ZFC. Gitik and Koepke have demonstrated that this is not so in ZF: namely there is a generic cardinal-preserving extension of L (or any…

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the…

We introduce a category whose objects are stationary set preserving complete boolean algebras and whose arrows are complete homomorphisms with a stationary set preserving quotient. We show that the cut of this category at a rank initial…

We prove a central limit theorem with aassumptions which are many weak than classical conditions

We study multidimensional diagrams in independent amalgamation in the framework of abstract elementary classes (AECs). We use them to prove the eventual categoricity conjecture for AECs, assuming a large cardinal axiom. More precisely, we…

In a previous work General Relativity has been presented as a microscopic theory of finite and discrete point-like fields that we associate to a classical description of gravitons. The standard macroscopic continuous field is retrieved as…

We define forcing orders which add witnesses to the failure of various forms of Friedman's Property. These posets behave similarly to the forcing order adding a nonreflecting stationary set but have the advantage of allowing the…

We prove the theorems which are equivalent to the Roland's results such that a new form of them allows to consider some generalizations. In particular, we give generators of primes more than a fixed prime.

We deal with (< kappa)-supported iterated forcing notions which are (E_0,E_1)-complete, have in mind problems on Whitehead groups, uniformizations and the general problem. We deal mainly with the successor of a singular case. This continues…

Using the consistency of some large cardinals we produce a model of Set Theory in which the generalized continuum hypothesis holds and for some torsion-free abelian group G of cardinality aleph_{omega +1} and for some torsion group T,…

We study a free boundary problem which arises as the continuum version of a stochastic particles system in the context of Fourier law. Local existence and uniqueness of the classical solution are well known in the literature of free…

We provide solutions to several problems of Foreman about ideals, several of which are closely related to Mitchell's notion of \emph{strongly proper} forcing. We prove: 1) Presaturation of a normal ideal implies projective antichain…

We generalize classical large deviations theorems to the setting of complete Riemannian manifolds. We prove the analogue of Mogulskii's theorem for geodesic random walks via a general approach using visocity solutions for Hamilton-Jacobi…

We give an affirmative answer to a question of Gorelic \cite{Gorelic}, by showing it is consistent, relative to the existence of large cardinals, that there is a proper class of cardinals $\alpha$ with $cf(\alpha)=\omega_1$ and…

There is an optimal way to increase certain cardinal invariants of the continuum.

Pairwise comparisons are an important tool of modern (multiple criteria) decision making. Since human judgments are often inconsistent, many studies focused on the ways how to express and measure this inconsistency, and several…

This paper considers a new and deeply challenging face of the problem of time in the context of cosmology drawing on the work of Thiemann (2006, 2007). Thiemann argues for a radical response to the cosmic problem of time that requires us to…

We introduce a generalized notion of inference system to support more flexible interpretations of recursive definitions. Besides axioms and inference rules with the usual meaning, we allow also coaxioms, which are, intuitively, axioms which…

Assuming an abstract comparison principle called the Ultrapower Axiom, which is motivated by the comparison process of inner model theory and generalizes the statement that the Mitchell order is linear on normal ultrafilters, we…