Results 41 to 50 of about 5,823 (137)
Representing Scott sets in algebraic settings [PDF]
, 2014 We prove that for every Scott set $S$ there are $S$-saturated real closed fields and models of Presburger ...
Dolich, Alf +3 more
core +2 more sources
On the connection between Nonstandard Analysis and Constructive Analysis [PDF]
, 2013 Constructive Analysis and Nonstandard Analysis are often characterized as completely antipodal approaches to analysis. We discuss the possibility of capturing the central notion of Constructive Analysis (i.e.
Sanders, Sam
core
Steps Toward a Philosophy for Mathematicians. [PDF]
Math Intell, 2023 Fenstad JE.
europepmc +1 more source
A note on $\mathbb{Z}$ as a direct summand of nonstandard models of weak systems of arithmetic
, 2016 There are nonstandard models of normal open induction ($NOI$) for which $\mathbb{Z}$ is a direct summand of their additive group. We show that this is impossible for nonstandard models of $IE_2$.
openaire +2 more sources
Human verifications: Computable with truth values outside logic. [PDF]
Proc Natl Acad Sci U S A, 2023 Johnson-Laird PN +2 more
europepmc +1 more source
Destructibility and axiomatizability of Kaufmann models. [PDF]
Arch Math Log, 2022 Switzer CB.
europepmc +1 more source
On the Structure of Nonstandard Models of Arithmetic [PDF]
Proceedings of the American Mathematical Society, 1971 openaire +2 more sources
Comparative Performance of High-Throughput Methods for Protein pKa Predictions. [PDF]
J Chem Inf Model, 2023 Wei W, Hogues H, Sulea T.
europepmc +1 more source
Cofinal extensions of nonstandard models of arithmetic.
Notre Dame Journal of Formal Logic, 1981 openaire +3 more sources