Results 11 to 20 of about 5,823 (137)
Finite Embeddability of Sets and Ultrafilters [PDF]
, 2015 A set A of natural numbers is finitely embeddable in another such set B if every finite subset of A has a rightward translate that is a subset of B. This notion of finite embeddability arose in combinatorial number theory, but in this paper we study it ...
Blass, Andreas, Di Nasso, Mauro
core +3 more sources
A note on parameter free Π1-induction and restricted exponentiation [PDF]
, 2011 We characterize the sets of all Π2 and all $\mathcal {B}(\Sigma _{1})$equation image (= Boolean combinations of Σ1) theorems of IΠ−1 in terms of restricted exponentiation, and use these characterizations to prove that both sets are not deductively ...
Cordón Franco, Andrés +2 more
core +1 more source
Inconsistent Countable Set in Second Order ZFC and Nonexistence of the Strongly Inaccessible Cardinals [PDF]
, 2015 In this article we derived an important example of the inconsistent countable set in second order ZFC (ZFC_2) with the full second-order semantics.
Foukzon, Jaykov
core +1 more source
Fixed Points of Self-embeddings of Models of Arithmetic
, 2018 We investigate the structure of fixed point sets of self-embeddings of models of arithmetic. In particular, given a countable nonstandard model M of a modest fragment of Peano arithimetic, we provide complete characterizations of (a) the initial segments
Bahrami, Saeideh, Enayat, Ali
core +1 more source
International Journal of Applied Linguistics, EarlyView.ABSTRACT This study investigates how the learner‐related factors of language dominance, encompassing language history, proficiency, use, and attitude, modulate congruency effects in multi‐word unit (MWU) processing among early bilinguals. Seventy Cantonese–Putonghua bilinguals completed lexical decision tasks measuring reaction time and accuracy for ...
Mingjia Cai, Yuan Liang
wiley +1 more source
Fermat, Leibniz, Euler, and the gang: The true history of the concepts of limit and shadow [PDF]
, 2014 Fermat, Leibniz, Euler, and Cauchy all used one or another form of approximate equality, or the idea of discarding "negligible" terms, so as to obtain a correct analytic answer.
David Sherry +10 more
core +3 more sources
Never, Ever Getting Started: On Prospect Theory Without Commitment
Mathematical Finance, EarlyView.ABSTRACT Prospect theory is arguably the most prominent alternative to expected utility theory. We study the investment or gambling behavior of a prospect theory decision maker who is aware of his time‐inconsistency but lacks commitment. For the empirically relevant prospect theory specifications, we obtain the extreme prediction that such a decision ...
Sebastian Ebert, Philipp Strack
wiley +1 more source
The complexity of classification problems for models of arithmetic
, 2010 We observe that the classification problem for countable models of arithmetic is Borel complete. On the other hand, the classification problems for finitely generated models of arithmetic and for recursively saturated models of arithmetic are Borel; we ...
Roman Kossak, Samuel Coskey, Smoryński
core +1 more source
Noûs, EarlyView.ABSTRACT It is a truism of mathematics that differences between isomorphic number systems are irrelevant to arithmetic. This truism is deeply rooted in the modern axiomatic method and underlies most strands of arithmetical structuralism, the view that arithmetic is about some abstract number structure.
Balthasar Grabmayr
wiley +1 more source
Exploring 2D Geometric Shape Classification Using AI‐Driven Feature Tables in Mathematics
School Science and Mathematics, EarlyView.ABSTRACT This study explored the effectiveness of an AI‐integrated instructional task designed to enhance preservice teachers' understanding of the features and hierarchical relationships of 2D geometric shapes. Originally developed and tested in online K‐12 professional development settings, this intervention was adapted for in‐person preservice ...
Yasemin Gunpinar, Woonhee Sung
wiley +1 more source