Definability of Initial Segments

13 years 4 months ago

Download shelah.logic.at

In any nonstandard model of Peano arithmetic, the standard part is not first order definable. But we show that in some model the standard part is definable as the unique solution of a formula (P), where P is a unary predicate variable.

Saharon Shelah, Akito Tsuboi

Real-time Traffic

NDJFL 2002 | Nonstandard Model | Peano Arithmetic | Unary Predicate |

claim paper

Related Content

» UserDefined BSpline TemplateSnakes

» Tokenization As The Initial Phase In NLP

» Scoping Software Process Models Initial Concepts and Experience from Defining Space Stand...

» On a quasiordering on Boolean functions

» Efficient Image Segmentation Using Pairwise Pixel Similarities

» Statistical Shape Influence in Geodesic Active Contours

» Shape Regression Machine

» From Contours to Regions An Empirical Evaluation

» Relative Fuzzy Connectedness and Object Definition Theory Algorithms and Applications in I...

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	NDJFL
Authors	Saharon Shelah, Akito Tsuboi

Comments (0)

Sciweavers

Definability of Initial Segments

NDJFL 2002 | Nonstandard Model | Peano Arithmetic | Unary Predicate |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers