Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Saturated models of Peano arithmetic
View through CrossRef
AbstractWe study reducts of Peano arithmetic for which conditions of saturation imply the corresponding conditions for the whole model. It is shown that very weak reducts (like pure order) have such a property for κ-saturation in every κ ≥ ω1. In contrast, other reducts do the job for ω and not for κ > ω1. This solves negatively a conjecture of Chang.
Title: Saturated models of Peano arithmetic
Description:
AbstractWe study reducts of Peano arithmetic for which conditions of saturation imply the corresponding conditions for the whole model.
It is shown that very weak reducts (like pure order) have such a property for κ-saturation in every κ ≥ ω1.
In contrast, other reducts do the job for ω and not for κ > ω1.
This solves negatively a conjecture of Chang.
Related Results
Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories
Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories
In this paper we study local induction w.r.t. Σ1‐formulas over the weak arithmetic . The local induction scheme, which was introduced in , says roughly this: for any virtual class ...
COUNTABLE SPACES WITH PEANO PROPERTY
COUNTABLE SPACES WITH PEANO PROPERTY
In 1890, Giuseppe Peano published an example of a continuous curve passing through every point of the square $[0,1]^2$. A curve with such properties is called a Peano curve. In fa...
A New Method for Calculating Saturated Fat Content and Determining Appropriate Saturated Fat Levels in Foods
A New Method for Calculating Saturated Fat Content and Determining Appropriate Saturated Fat Levels in Foods
Calculating the saturated fat content per 100 g or 100 mL or the reference amount customarily consumed (RACC) of food shows the saturated fat content of some foods inappropriately....
No developmental fronto-parietal shift in brain activation during mental arithmetic across the lifespan: A Registered Report
No developmental fronto-parietal shift in brain activation during mental arithmetic across the lifespan: A Registered Report
Arithmetic processing is represented in a fronto-parietal network of the brain. However, activation within this network is thought to undergo a developmental shift from domain-gene...
The axioms of Peano Arithmetic
The axioms of Peano Arithmetic
Abstract
The quotations at the head of this chapter is how Peano stated his famous five axioms of arithmetic. (His notation looks surprisingly modern. In particular ...
Do Reading and Arithmetic Fluency Share the Same Cognitive Base?
Do Reading and Arithmetic Fluency Share the Same Cognitive Base?
We examined the role of different cognitive-linguistic skills in reading and arithmetic fluency, and whether the effects of these skills are mediated by reading and arithmetic accu...
Peano and the Debate on Infinitesimals
Peano and the Debate on Infinitesimals
The main aim of this paper is to put Peano’s opinion about the unacceptability of the actual infinitesimal notion into evidence. First we briefly focus on the cultural environment ...
Peano on Symbolization, Design Principles for Notations, and the Dot Notation
Peano on Symbolization, Design Principles for Notations, and the Dot Notation
Peano was one of the driving forces behind the development of the current mathematical formalism. In this paper, we study his particular approach to notational design and present s...