相关论文: On some subtheories of strong dependent choice

In this paper, we introduce a hierarchy dividing the set $\{\sigma \in \Pi^1_2 : \Pi^1_1$-$\mathsf{CA}_0 \vdash \sigma\}$. Then, we give some characterizations of this set using weaker variants of some principles equivalent to…

This paper presents two types of results related to hyperarithmetic analysis. First, we introduce new variants of the dependent choice axiom, namely $\mathrm{unique}~\Pi^1_0(\mathrm{resp.}~\Sigma^1_1)\text{-}\mathsf{DC}_0$ and…

This paper studies structural consequences of supercompactness of $\omega_1$ under $\sf{ZF}$. We show that the Axiom of Dependent Choice $(\sf{DC})$ follows from "$\omega_1$ is supercompact". "$\omega_1$ is supercompact" also implies that…

Given sets $\Phi_1=\{\phi_{11},...,\phi_{1u(1)}\}, ...,\Phi_{z}=\{\phi_{z1},...,\phi_{zu(z)}\}$ of boolean formulas, a formula $\omega$ follows from the conjunction $\bigwedge\Phi_i= \bigwedge \phi_{ij}$ iff $\neg \omega\wedge…

Strongly Turing determinacy, or $\mathrm{sTD}$, says that for any set $A$ of reals, if $\forall x\exists y\geq_T x (y\in A)$, then there is a pointed set $P\subseteq A$. We prove the following consequences of Turing determinacy…

We develop an approach to choice principles and their contrapositive bar-induction principles as extensionality schemes connecting an ''intensional'' or ''effective'' view of respectively ill-and well-foundedness properties to an…

In this paper, a model for understanding the effects of selection using systems- level computational approaches is introduced. A number of concepts and principles essential for understanding the motivation for constructing the model will be…

We present an abstract, categorical formulation of dependent functions in a fundamental manner and independently from the Sigma-construction. For that, we define first the notion of a category with family-arrows, or a $\f$-category. A $(\f,…

The Bayesian method is noted to produce spuriously high posterior probabilities for phylogenetic trees in analysis of large datasets, but the precise reasons for this over-confidence are unknown. In general, the performance of Bayesian…

Diagrammatic models of feeding choices reveal fundamental robotic behaviors. Successful choices are reinforced by positive feedback, while unsuccessful ones by negative feedback. This paper will address robotic feeding by casually relating…

In this article, we calculate the strong coupling constant $g$ among the decuplet baryons, the octet baryons and the pseudoscalar mesons in the heavy baryon chiral perturbation theory with the light-cone QCD sum rules, and study the strong…

We present results for the strong widths corresponding to the $\Sigma_b\to \Lambda_b\, \pi$ and $\Sigma_b^{*}\to \Lambda_b\, \pi$ decays. We apply our model in Ref. Phys. Rev. D 72, 094022 (2005) where we previously studied the…

This paper is motivated by the theory of sequential dynamical systems, developed as a basis for a mathematical theory of computer simulation. It contains a classification of finite dynamical systems on binary strings, which are obtained by…

The present paper gives a generalization of cartesian closed categories, called cartesian closed categories with dependence, whose strict version induces categories with families that support 1-, Sigma- and Pi-types in the strict sense.…

We prove a motivic refinement of a result of Weil, Deligne and Raynaud on the existence of strongly compatible systems associated to abelian varieties. More precisely, given an abelian variety $A$ over a number field $\mathrm{E}\subset…

This article introduces strongly proximal continuous (s.p.c.) functions, strong proximal equivalence (s.p.e.) and strong connectedness. A main result is that if topological spaces $X,Y$ are endowed with compatible strong proximities and…

Let $G$ be a finite group. In 2024, Cameron introduced two different concepts of independence (namely independence and strong independence) for the subsets of $G$, yielding to the definition of two simplicial complexes whose vertices are…

Let $\mathbf{M}$ be the basic set theory that consists of the axioms of extensionality, emptyset, pair, union, powerset, infinity, transitive containment, $\Delta_0$-separation and set foundation. This paper studies the relative strength of…

We present results for the strong widths corresponding to the $\Sigma_c\to \Lambda_c \pi$, $\Sigma_c^{*}\to \Lambda_c \pi$ and $\Xi_c^{*}\to \Xi_c \pi$ decays. The calculations have been done in a nonrelativistic constituent quark model…

We show that for every pair of matrices (S,P), having the closed symmetrized bidisc $\Gamma$ as a spectral set, there is a one dimensional complex algebraic variety $\Lambda$ in $\Gamma$ such that for every matrix valued polynomial f, the…