Results 231 to 240 of about 33,228 (257)

Stop comparing spells: a defense of mechanistic reasoning in quantitative medicine. [PDF]

Front Digit Health
Mangalam M, Kiyono K.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Reverse Mathematics

Theory and Applications of Computability, 2022
Carl Mummert, Damir D Dzhafarov
exaly   +2 more sources

Reverse Mathematics and Ordinal Multiplication

Mathematical Logic Quarterly, 1998
AbstractThis paper uses the framework of reverse mathematics to analyze the proof theoretic content of several statements concerning multiplication of countable well‐orderings. In particular, a division algorithm for ordinal arithmetic is shown to be equivalent to the subsystem ATR0.
Jeffry L. Hirst
exaly   +3 more sources

Reverse Mathematics

2021
John Stillwell
exaly   +2 more sources

REVERSE MATHEMATICS OF MF SPACES

Journal of Mathematical Logic, 2006
This paper gives a formalization of general topology in second-order arithmetic using countably based MF spaces. This formalization is used to study the reverse mathematics of general topology. For each poset P we let MF (P) denote the set of maximal filters on P endowed with the topology generated by {Np | p ∈ P}, where Np = {F ∈ MF (P) | p ∈ F}. We
openaire   +2 more sources

Graph Coloring and Reverse Mathematics

MLQ, 2000
The author proves that for any natural numbers \(k\) and \(m\) such that \(2 \leq k \leq m\), \(\text{RCA}_0\) proves that \(\text{WKL}_0\) is equivalent to the statement ``if every finite subset of a graph can be \(k\)-colored, then the entire graph can be \(m\)-colored.'' Here, \(\text{RCA}_0\) and \(\text{WKL}_0\) are subsystems of arithmetic used ...
openaire   +3 more sources

Reverse mathematics and semisimple rings

Archive for Mathematical Logic, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Reverse Mathematics, Projective Modules and Invertible Modules

Lecture Notes in Computer Science, 2020
Huishan Wu
exaly  

The Dirac delta function in two settings of Reverse Mathematics

Archive for Mathematical Logic, 2011
Keita Yokoyama, Sam Sanders
exaly  

Reverse Mathematics and Grundy colorings of graphs

Mathematical Logic Quarterly, 2010
James Henry Schmerl
exaly