Source author record

Hiroshi Sakai

Hiroshi Sakai appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO physics.acc-ph

Catalog footprint

What is connected

6works

2topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2023arXiv

Weakly extendible cardinals and compactness of extended logics

We introduce the notion of weakly extendible cardinals and show that these cardinals are characterized in terms of weak compactness of second order logic. The consistency strength and largeness of weakly extendible cardinals are located strictly between that of strongly unfoldable (i.e. shrewd) cardinals, and strongly uplifting cardinals. Weak compactness of many other logics can be connected to certain variants of the notion of weakly extendible cardinals. We also show that, under V=L, a cardinal $κ$ is the weak compactness number of ${\cal L}^{\aleph_0,II}_{stat,κ,ω}$ if and only if it is the weak compactness number of ${\cal L}^{II}_{κ,ω}$. The latter condition is equivalent to the condition that $κ$ is weakly extendible by the characterization mentioned above (this equivalence holds without the assumption of V=L).

preprint2022arXiv

Generically supercompact cardinals by forcing with chain conditions

A ccc-generically supercompact cardinal $κ$ can be smaller than or equal to the continuum. On the other hand, such a cardinal $κ$ still satisfies diverse largeness properties, like that it is a stationary limit of ccc-generically measurable cardinals (Theorem 4.1). This is in a strong contrast to $\cal P$-generically supercompact cardinals for the class $\cal P$ of all $σ$-closed posets, which can be $\aleph_n$ for any n>1.

preprint2020arXiv

Scientific opportunies for bERLinPro 2020+, report with ideas and conclusions from bERLinProCamp 2019

The Energy Recovery Linac (ERL) paradigm offers the promise to generate intense electron beams of superior quality with extremely small six-dimensional phase space for many applications in the physical sciences, materials science, chemistry, health, information technology and security. Helmholtz-Zentrum Berlin started in 2010 an intensive R\&D programme to address the challenges related to the ERL as driver for future light sources by setting up the bERLinPro (Berlin ERL Project) ERL with 50 MeV beam energy and high average current. The project is close to reach its major milestone in 2020, acceleration and recovery of a high brightness electron beam. The goal of bERLinProCamp 2019 was to discuss scientific opportunities for bERLinPro 2020+. bERLinProCamp 2019 was held on Tue, 17.09.2019 at Helmholtz-Zentrum Berlin, Berlin, Germany. This paper summarizes the main themes and output of the workshop.

preprint2020arXiv

Strong downward Löwenheim-Skolem theorems for stationary logics, II -- reflection down to the continuum

Continuing the previous paper, we study the Strong Downward Löwenheim-Skolem Theorems (SDLSs) of the stationary logic and their variations. It has been shown that the SDLS for the ordinary stationary logic with weak second-order parameters down to $<\aleph_2$ is equivalent to the conjunction of CH and Cox's Diagonal Reflection Principle for internally clubness. We show that the SDLS for the stationary logic without weak second-order parameters down to $<2^{\aleph_0}$ implies that the size of the continuum is $\aleph_2$. In contrast, an internal interpretation of the stationary logic can satisfy the SDLS down to $<2^{\aleph_0}$ under the continuum being of size $>\aleph_2$. This SDLS is shown to be equivalent to an internal version of the Diagonal Reflection Principle down to an internally stationary set of size $<2^{\aleph_0}$. We also consider a ${\cal P}_κλ$ version of the stationary logic and show that the SDLS for this logic in internal interpretation for reflection down to $<2^{\aleph_0}$ is consistent under the assumption of the consistency of ZFC $+$ "the existence of a supercompact cardinal" and this SDLS implies that the continuum is (at least) weakly Mahlo. These three "axioms" in terms of SDLS are consequences of three instances of a strengthening of generic supercompactness which we call Laver-generic supercompactness. Existence of a Laver-generic supercompact cardinal in each of these three instances also fixes the cardinality of the continuum to be $\aleph_1$ or $\aleph_2$ or very large respectively. We also show that the existence of one of these generic large cardinals implies the "$++$" version of the corresponding forcing axiom.

preprint2016arXiv

On the set-generic multiverse

The forcing method is a powerful tool to prove the consistency of set-theoretic assertions relative to the consistency of the axioms of set theory. Laver's theorem and Bukovský's theorem assert that set-generic extensions of a given ground model constitute a quite reasonable and sufficiently general class of standard models of set-theory. In sections 2 and 3 of this note, we give a proof of Bukovský's theorem in a modern setting (for another proof of this theorem see Bukovský [4]). In section 4 we check that the multiverse of set-generic extensions can be treated as a collection of countable transitive models in a conservative extension of ZFC. The last section then deals with the problem of the existence of infinitely-many independent buttons, which arose in the modal-theoretic approach to the set-generic multiverse by J.Hamkins and B.Loewe [12].

preprint2013arXiv

Stationary reflection principles and two cardinal tree properties

We study consequences of stationary and semi-stationary set reflection. We show that the semi stationary reflection principle implies the Singular Cardinal Hypothesis, the failure of weak square principle, etc. We also consider two cardinal tree properties introduced recently by Weiss and prove that they follow from stationary and semi stationary set reflection augmented with a weak form of Martin's Axiom. We also show that there are some differences between the two reflection principles which suggest that stationary set reflection is analogous to supercompactness whereas semi-stationary set reflection is analogous to strong compactness.