Results 11 to 20 of about 401 (159)
Omega-inconsistency without cuts and nonstandard models
, 2016 This paper concerns the relationship between transitivity of entailment, omega-inconsistency and nonstandard models of arithmetic. First, it provides a cut-free sequent calculus for non-transitive logic of truth STT based on Robinson Arithmetic and shows
Fjellstad, Andreas
core +2 more sources
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
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
Diophantine correct models of arithmetic
, 1979 A countable nonstandard model of arithmetic is diophantine correct if and only if it can be embedded in arbitrarily short nonstandard initial segments of itself.
L. Lipshitz
core +1 more source
The Pentagon as a Substructure Lattice of Models of Peano Arithmetic
, 2023 Wilke proved in 1977 that every countable model ${\mathcal M}$ of Peano Arithmetic has an elementary end extension ${\mathcal N}$ such that the interstructure lattice Lt(${\mathcal N} / {\mathcal M}$) is the pentagon lattice ${\mathbf N}_5$. This theorem
Schmerl, James H.
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
There Is More Than Meets the Eye: The Dual Role of Perception in Shaping Color Lexicons
Topics in Cognitive Science, EarlyView.Abstract Color's ultimate physical reality is continuous, and yet human beings “cut” this continuum into a rather small number of categories reflected in their languages’ color lexicon. There are striking cross‐linguistic differences in the color lexicon, which are primarily attributed to differences in communicative needs, but also striking ...
Mathilde Josserand +3 more
wiley +1 more source
Weak, Strong and Mixed Extensions of Relations to Spaces of Ultrafilters
Mathematical Logic Quarterly, Volume 72, Issue 3, August 2026.ABSTRACT The use of nonstandard methods to characterize properties of weak, strong and mixed extensions of congruences to ultrafilters has been the main topic of several recent papers, focused mostly on congruences and divisions. We show that similar methods can be used to extend these characterizations to arbitrary relations and their interplay.
Leonardo Raffaello Maximilian Gasparro +1 more
wiley +1 more source
Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
, 2022 In this paper we will show that for every cut $ I $ of any countable nonstandard model $ \mathcal{M} $ of $ \mathrm{I}Σ_{1} $, each $ I $-small $ Σ_{1} $-elementary submodel of $ \mathcal{M}$ is of the form of the set of fixed points of some proper ...
Bahrami, Saeideh
core +1 more source