A weakly definable type which is not definable

Archive for Mathematical Logic 32 (6):463-468 (1993)
  Copy   BIBTEX

Abstract

For each completion of Peano Arithmetic there is a weakly definable type which is not definable

Categories

Keywords

Reprint years

DOI

10.1007/bf01270469

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Topological properties of sets definable in weakly o-minimal structures.Roman Wencel - 2010 - Journal of Symbolic Logic 75 (3):841-867.
Expansions of ordered fields without definable gaps.Jafar S. Eivazloo & Mojtaba Moniri - 2003 - Mathematical Logic Quarterly 49 (1):72-82.
On the Type-Definability of the Binding Group in Simple Theories.Bradd Hart & Ziv Shami - 2005 - Journal of Symbolic Logic 70 (2):379 - 388.
Definability of groups in ℵ₀-stable metric structures.Itaï Ben Yaacov - 2010 - Journal of Symbolic Logic 75 (3):817-840.
On enveloping type-definable structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
Type-Definable and Invariant Groups in O-Minimal Structures.Jana Maříková - 2007 - Journal of Symbolic Logic 72 (1):67 - 80.
Coordinatisation by Binding Groups and Unidimensionality in Simple Theories.Ziv Shami - 2004 - Journal of Symbolic Logic 69 (4):1221 - 1242.
On properties of (weakly) small groups.Cédric Milliet - 2012 - Journal of Symbolic Logic 77 (1):94-110.
On Bounded Type-Definable Equivalence Relations.Ludomir Newelski & Krzysztof Krupi?Ski - 2002 - Notre Dame Journal of Formal Logic 43 (4):231-242.
On the consistency of the definable tree property on ℵ.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204 - 1214.
Groups, group actions and fields definable in first‐order topological structures.Roman Wencel - 2012 - Mathematical Logic Quarterly 58 (6):449-467.
Subsimple Groups.Frank Wagner - 2005 - Journal of Symbolic Logic 70 (4):1365 - 1370.
Abelian groups with modular generic.James Loveys - 1991 - Journal of Symbolic Logic 56 (1):250-259.
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.

Analytics

Added to PP
2013-11-23

Downloads
16 (#880,136)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Models and types of Peano's arithmetic.Haim Gaifman - 1976 - Annals of Mathematical Logic 9 (3):223-306.
Ultrafilters and types on models of arithmetic.L. A. S. Kirby - 1984 - Annals of Pure and Applied Logic 27 (3):215-252.

Add more references