Results 1 to 10 of about 250,783 (371)
A Generalization of Martin's Axiom [PDF]
Israel Journal of Mathematics, 2015 We define the $\aleph_{1.5}$ chain condition. The corresponding forcing axiom is a generalization of Martin's Axiom and implies certain uniform failures of club--guessing on $\omega_1$ that don't seem to have been considered in the literature before ...
D. H. Fremlin +15 more
core +8 more sources
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice [PDF]
Logical Methods in Computer Science, 2021 We present a Kleene realizability semantics for the intensional level of the Minimalist Foundation, for short mtt, extended with inductively generated formal topologies, Church's thesis and axiom of choice.
Maria Emilia Maietti +2 more
doaj +5 more sources
In space fabrication of Janus base nano matrix for improved assembly and bioactivity [PDF]
npj MicrogravityNanomaterials have a broad impact on both space and biomedical research but have never been produced in-space for regenerative applications. During the Axiom-2 (Ax-2) mission, our team completed the first-ever low Earth orbit (LEO) manufacturing of Janus
Anne Yau +12 more
doaj +2 more sources
Frontiers in Oncology, 2022 T cells play a key role in anticancer immunity, with responses mediated through a diversity of αβ or γδ T cell receptors. Although αβ and γδ T cells stem from common thymic precursors, the development and subsequent biological roles of these two subsets ...
Anne B. C. Cherry +2 more
doaj +1 more source
AffyPipe: an open-source pipeline for Affymetrix Axiom genotyping workflow
Bioinformatics, 2014 Daniela Iamartino, Giulietta Minozzi
exaly +2 more sources
Martin's Maximum++ implies Woodin's axiom (*)
, 2021 We show that Martin’s Maximum++ implies Woodin’s Pmax axiom (∗). This answers a question from the 1990’s and amalgamates two prominent axioms of set theory which were both known to imply that there are א2 many real numbers.
D. Asperó, R. Schindler
semanticscholar +1 more source
Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom [PDF]
Types for Proofs and Programs, 2015 This paper presents a type theory in which it is possible to directly manipulate n-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model.
C. Cohen +3 more
semanticscholar +1 more source
An Axiom of True Courses Calculation in Great Circle Navigation
Journal of Marine Science and Engineering, 2021 Based on traditional expressions and spherical trigonometry, at present, great circle navigation is undertaken using various navigational software packages. Recent research has mainly focused on vector algebra.
Mate Baric +3 more
doaj +1 more source
Understanding and ad hoc Explanation: A Case of Russell’s Reducibility Axiom [PDF]
Омский научный вестник: Серия "Общество. История. Современность", 2022 The article examines the common interpretation of the axiom of reducibility in Principia Mathematica according to which the axiom cannot be considered as logical, which casts doubt on the success of the program of logicism.
V. V. Tselishchev, A. V. Khlebalin
doaj +1 more source
The teaching on postulates in Kant’s lectures on philosophical theory of religion [PDF]
Кантовский сборник, 2015 “Lectures on Poelitz’s philosophical theory of religion” are one of the four surviving manuscripts of Kant’s lectures on rational theology. The Lectures include an introduction, two parts, and an appendix.
Kryshtop L. E.
doaj +1 more source