English
Related papers

Related papers: Diamond on Kurepa trees

200 papers

We note that there is an exception to the general arguments that no falsifiable predictions can be made, on the basis of of presently available data, by applying the weak anthropic principle (WAP) to the landscape of string theory. If there…

High Energy Physics - Theory · Physics 2009-01-19 George F R Ellis , Lee Smolin

In this paper we explain how the notion of ''weak Dirichlet process'' is the suitable generalization of the one of semimartingale with jumps. For such a process we provide a unique decomposition which is new also for semimartingales: in…

Probability · Mathematics 2022-07-04 Elena Bandini , Francesco Russo

We prove a revised version of Laver's indestructibility theorem which slightly improves over the classical result. An application yields the consistency of $(\kappa^+,\kappa)\notcc(\aleph\_1,\aleph\_0)$ when $\kappa$ is supercompact. The…

Logic · Mathematics 2007-05-23 Bernhard Koenig

The concept of jointness for guessing principles, specifically $\diamondsuit_\kappa$ and various Laver diamonds, is introduced. A family of guessing sequences is joint if the elements of any given sequence of targets may be simultaneously…

Logic · Mathematics 2019-09-18 Miha E. Habič

We force the existence of a non-trivial $\kappa$-complete ultrafilter over $\kappa$ which fails to satisfy the Galvin property. This answers a question asked by the first author and Moti Gitik.

Logic · Mathematics 2023-01-06 Tom Benhamou , Shimon Garti , Saharon Shelah

In this non-technical introduction to diamond trees and forests, we focus on their application to computation in stochastic volatility models written in forward variance form, rough volatility models in particular.

Mathematical Finance · Quantitative Finance 2022-05-10 Peter Friz , Jim Gatheral

We introduce and study a family of axioms that closely follows the pattern of parametrized diamonds, studied by Moore, Hru\v{s}\'ak, and D\v{z}amonja in [13]. However, our approach appeals to model theoretic / forcing theoretic notions,…

Logic · Mathematics 2025-03-18 Ziemowit Kostana

We pay two debts from [Sh:576] (math.LO/9805146). The main demands little knowledge from [Sh:576], just quoting a model theoretic consequence of the weak diamond. We assume that K has amalgamation in lambda, and that the minimal types are…

Logic · Mathematics 2007-05-23 Saharon Shelah

We define a notion of a weak canonical base for a partial type. This notion is weaker than the usual canonical base for an amalgamation base. We prove that certain family of partial types have a weak canonical base. This family clearly…

Logic · Mathematics 2013-11-14 Ziv Shami

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,…

Logic · Mathematics 2007-05-23 Joel David Hamkins , Mirna Džamonja

We show that the phenomenon of anomalous weak values is not limited to quantum theory. In particular, we show that the same features occur in a simple model of a coin subject to a form of classical backaction with pre- and post-selection.…

Quantum Physics · Physics 2014-09-19 Christopher Ferrie , Joshua Combes

We show it is consistent that there is a Souslin tree $S$ such that after forcing with $S$, $S$ is Kurepa and for all clubs $C \subset \omega_1$, $S\upharpoonright C$ is rigid. This answers Fuchs's questions in Club degrees of rigidity and…

Logic · Mathematics 2023-06-21 Hossein Lamei Ramandi

We show that $\mathsf{PFA}$ (Proper Forcing Axiom) implies that adding any number of Cohen subsets of $\omega$ will not add an $\omega_2$-Aronszajn tree or a weak $\omega_1$-Kurepa tree, and moreover no $\sigma$-centered forcing can add a…

Logic · Mathematics 2022-08-05 Radek Honzik , Chris Lambie-Hanson , Šárka Stejskalová

We analyze the trade-off between model complexity and accuracy for random forests by breaking the trees up into individual classification rules and selecting a subset of them. We show experimentally that already a few rules are sufficient…

Machine Learning · Computer Science 2020-12-09 Michael Rapp , Eneldo Loza Mencía , Johannes Fürnkranz

The aim of this note is to give an effective criterion to verify whether a cubic polynomial over a non-Archimedean field has a weak N\'{e}ron model or not.

Number Theory · Mathematics 2011-06-27 Jean-Yves Briend , Liang-Chung Hsia

We introduce an iteration of forcing notions satisfying the countable chain condition with minimal damage to a strong coloring. Applying this method, we prove that Martin's axiom is strictly stronger than its restriction to forcing notions…

Logic · Mathematics 2024-06-21 Yinhe Peng

This paper gives a generic form of the diamond lemma, which includes support for additive and topological structures of the base set, and which does not require any further structure (e.g. an associative multiplication operation) to be…

Rings and Algebras · Mathematics 2007-12-10 Lars Hellström

We give examples of data-generating models under which Breiman's random forest may be extremely slow to converge to the optimal predictor or even fail to be consistent. The evidence provided for these properties is based on mostly intuitive…

Machine Learning · Statistics 2021-12-01 José A. Ferreira

We strengthen the revised GCH theorem by showing, e.g., that for lambda=cf(lambda)>beth_omega, for all but finitely many regular kappa<beth_omega, lambda is accessible on cofinality kappa in a weak version of it holds. In particular,…

Logic · Mathematics 2007-05-23 Saharon Shelah

In the context of large cardinals, the classical diamond principle Diamond_kappa is easily strengthened in natural ways. When kappa is a measurable cardinal, for example, one might ask that a Diamond_kappa sequence anticipate every subset…

Logic · Mathematics 2007-05-23 Joel David Hamkins