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

Authors
John L. Bell
University of Western Ontario
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586795
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,268
Through your library

References found in this work BETA

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

Citations of this work BETA

Add more citations

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.
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.
Finitely Constrained Classes of Homogeneous Directed Graphs.Brenda J. Latka - 1994 - Journal of Symbolic Logic 59 (1):124-139.

Analytics

Added to PP index
2009-01-28

Total views
50 ( #184,886 of 2,325,400 )

Recent downloads (6 months)
1 ( #667,459 of 2,325,400 )

How can I increase my downloads?

Downloads

My notes