The Fine Structure Theory of Nonstandard Models of Peano Arithmetic
This paper delves into the fine structure theory of nonstandard models of Peano Arithmetic (PA). Nonstandard models provide a rich landscape for exploring foundational issues in arithmetic, extending beyond the intuitive standard model of natural numbers.
openaire +3 more sources
Some attempts at a direct reduction of the infinite to the (large) finite [PDF]
I survey some endeavors which have been made to attain a sort of direct reduction of the usual notion of countable infinity to some reasonable notion of finiteness, in terms of nonstandard arithmetic, feasibility, pseudo-models of derivations ...
BELLOTTI, LUCA
core
Bubbles, Fads, and Stock Price Volatility Tests: A Partial Evaluation [PDF]
This is a summary and interpretation of some of the literature on stock price volatility that was stimulated by Leroy and Porter (1981) and Shiller (1981a). It appears that neither small sample bias, rational bubbles nor some standard models for expected
Kenneth D. West
core
A notion of recursive saturation for models of arithmetic with the standard predicate
Engström, Fredrik,
core +1 more source
On the Relativity of Quantumness as Implied by Relativity of Arithmetic and Probability. [PDF]
Czachor M.
europepmc +1 more source
Comparative Performance of High-Throughput Methods for Protein pKa Predictions. [PDF]
Wei W, Hogues H, Sulea T.
europepmc +1 more source
Mapping the mRS Into the EQ-5D-5L in Patients With Ischemic Stroke. [PDF]
Pinckaers FME +12 more
europepmc +1 more source
Breed-specific microbiomes drive differential responses to 3-nitrooxypropanol and <i>Acacia mearnsii</i> in dairy cows. [PDF]
Islam MZ, Pitta DW, Niu M.
europepmc +1 more source
Effects of Acute Exercise and 12-Week High-Intensity Interval Training on Inflammatory Biomarkers in Stable Coronary Artery Disease: A Randomized Controlled Trial. [PDF]
Kristiansen J +6 more
europepmc +1 more source
Workshop on Verification and Theorem Proving for Continuous Systems (NetCA Workshop 2005)
Oxford, UK, 26 August ...
Oliva, Paulo +3 more
core

