Finite sets and Frege structures

Journal of Symbolic Logic 64 (4):1552-1556 (1999)
  Copy   BIBTEX

Abstract

Call a family F of subsets of a set E inductive if ∅ ∈ F and F is closed under unions with disjoint singletons, that is, if ∀X∈F ∀x∈E–X(X ∪ {x} ∈ F]. A Frege structure is a pair (E

Categories

Keywords

Reprint years

DOI

10.2307/2586795

Links

PhilArchive



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

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

Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
The First-Order Structure of Weakly Dedekind-Finite Sets.A. C. Walczak-Typke - 2005 - Journal of Symbolic Logic 70 (4):1161 - 1170.
The ordertype of β-r.E. Sets.Klaus Sutner - 1990 - Journal of Symbolic Logic 55 (2):573-576.
Construction of models for algebraically generalized recursive function theory.H. R. Strong - 1970 - Journal of Symbolic Logic 35 (3):401-409.
Counting finite models.Alan R. Woods - 1997 - Journal of Symbolic Logic 62 (3):925-949.
Hereditary undecidability of some theories of finite structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.
Finite algebras of relations are representable on finite sets.H. Andréka, I. Hodkinson & I. Németi - 1999 - Journal of Symbolic Logic 64 (1):243-267.
P versus np and computability theoretic constructions in complexity theory over algebraic structures.Gunther Mainhardt - 2004 - Journal of Symbolic Logic 69 (1):39-64.
Finitely constrained classes of homogeneous directed graphs.Brenda J. Latka - 1994 - Journal of Symbolic Logic 59 (1):124-139.
The Finite and the Infinite in Frege's Grundgesetze der Arithmetik.Richard Heck - 1998 - In Matthias Schirn (ed.), Philosophy of Mathematics Today. Oxford University Press.

Analytics

Added to PP
2009-01-28

Downloads
70 (#229,722)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

Citations of this work

Add more citations

References found in this work

Toposes and Local Set Theories. An Introduction.J. L. Bell - 1990 - Journal of Symbolic Logic 55 (2):886-887.
Frege's theorem in a constructive setting.John L. Bell - 1999 - Journal of Symbolic Logic 64 (2):486-488.

Add more references