Elementary Properties of the Finite Ranks

, , &
Mathematical Logic Quarterly 44 (3):349-353 (1998)
  Copy   BIBTEX

Abstract

This note investigates the class of finite initial segments of the cumulative hierarchy of pure sets. We show that this class is first-order definable over the class of finite directed graphs and that this class admits a first-order definable global linear order. We apply this last result to show that FO = FO

Categories

Keywords

Reprint years

DOI

10.1002/malq.19980440306

Links

PhilArchive



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

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

The geometry of forking and groups of finite Morley rank.Anand Pillay - 1995 - Journal of Symbolic Logic 60 (4):1251-1259.
Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
Capturing Relativized Complexity Classes without Order.Anuj Dawar, Georg Gottlob & Lauri Hella - 1998 - Mathematical Logic Quarterly 44 (1):109-122.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Generalized fitting subgroup of a group of finite Morley rank.Ali Nesin - 1991 - Journal of Symbolic Logic 56 (4):1391-1399.
Elements of Finite Model Theory.Leonid Libkin - 2004 - Springer.
A note on superstable groups.Jerry Gagelman - 2005 - Journal of Symbolic Logic 70 (2):661-663.
Finite Model Theory and its Applications.Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein - 2007 - Springer.
Topological complexity of locally finite ω-languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.
Fields of finite Morley rank.Frank Wagner - 2001 - Journal of Symbolic Logic 66 (2):703-706.
Finite Model Theory.Heinz-Dieter Ebbinghaus & Jörg Flum - 2005 - Springer.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
On properties of (weakly) small groups.Cédric Milliet - 2012 - Journal of Symbolic Logic 77 (1):94-110.

Analytics

Added to PP
2014-01-16

Downloads
41 (#386,790)

6 months
9 (#302,300)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Scott Weinstein
University of Pennsylvania

Citations of this work

Relatives of the Russell Paradox.Kees Doets - 1999 - Mathematical Logic Quarterly 45 (1):73-83.
Arithmetical definability over finite structures.Troy Lee - 2003 - Mathematical Logic Quarterly 49 (4):385.

Add more citations

References found in this work

Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.

Add more references