Maximal almost disjoint families, determinacy, and forcing
, 2018 We study the notion of $\mathcal J$-MAD families where $\mathcal J$ is a Borel ideal on $\omega$. We show that if $\mathcal J$ is an arbitrary $F_\sigma$ ideal, or is any finite or countably iterated Fubini product of $F_\sigma$ ideals, then there are no
Haga, Karen Bakke +2 more
core
A review of data abstraction. [PDF]
Front Artif Intell, 2023 Cima G, Console M, Lenzerini M, Poggi A.
europepmc +1 more source
Genome-wide association analysis for drought tolerance and associated traits in faba bean (Vicia faba L.). [PDF]
Front Plant Sci, 2023 Gutiérrez N +3 more
europepmc +1 more source
Ectopic expression of Triticum polonicum VRT-A2 underlies elongated glumes and grains in hexaploid wheat in a dosage-dependent manner. [PDF]
Plant Cell, 2021 Adamski NM +16 more
europepmc +1 more source
Developments and Prospects in Imperative Underexploited Vegetable Legumes Breeding: A Review. [PDF]
Int J Mol Sci, 2020 Dhaliwal SK +5 more
europepmc +1 more source
A Computational Interpretation of the Axiom of Determinacy in Arithmetic
, 2012 We investigate the computational content of the axiom of determinacy (AD) in the setting of classical arithmetic in all finite types with the principle of dependent choices (DC). By employing the notion of realizability interpretation for arithmetic given by Berardi, Bezem and Coquand (1998), we interpret the negative translation of AD.
openaire +2 more sources
An advanced systems biology framework of feature engineering for cold tolerance genes discovery from integrated omics and non-omics data in soybean. [PDF]
Front Plant Sci, 2022 Kao PH +7 more
europepmc +1 more source
Maximality and ontology: how axiom content varies across philosophical frameworks. [PDF]
Synthese, 2020 Barton N, Friedman SD.
europepmc +1 more source
Large infinities and definable sets. [PDF]
Proc Natl Acad Sci U S AAguilera JP, Bagaria J, Lücke P.
europepmc +1 more source