Graduate studies at Western
Journal of Symbolic Logic 55 (2):573-576 (1990)
|Abstract||Let β be an arbitrary limit ordinal. A β-r.e. set is l-finite iff all its β-r.e. subsets are β-recursive. The l-finite sets correspond to the ideal of finite sets in the lattice of r.e. sets. We give a characterization of l-finite sets in terms of their ordertype: a β-r.e. set is l-finite iff it has ordertype less than β * , the Σ 1 projectum of β|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Luca Alberucci & Vincenzo Salipante (2004). On Modal Μ-Calculus and Non-Well-Founded Set Theory. Journal of Philosophical Logic 33 (4):343-360.
James H. Schmerl (1981). Decidability and Finite Axiomatizability of Theories of ℵ0-Categorical Partially Ordered Sets. Journal of Symbolic Logic 46 (1):101 - 120.
Shaughan Lavine (1995). Finite Mathematics. Synthese 103 (3):389 - 420.
M. Carmen Sánchez (1998). Rational Choice on Non-Finite Sets by Means of Expansion-Contraction Axioms. Theory and Decision 45 (1):1-17.
Péter Komjáth & Saharon Shelah (2000). Two Consistency Results on Set Mappings. Journal of Symbolic Logic 65 (1):333-338.
Richard Zach (2007). First-Order Gödel Logics. Annals of Pure and Applied Logic 147:23-47.
J. Duparc (2001). Wadge Hierarchy and Veblen Hierarchy Part I: Borel Sets of Finite Rank. Journal of Symbolic Logic 66 (1):56-86.
James H. Schmerl (1989). Partially Ordered Sets and the Independence Property. Journal of Symbolic Logic 54 (2):396-401.
A. C. Walczak-Typke (2005). The First-Order Structure of Weakly Dedekind-Finite Sets. Journal of Symbolic Logic 70 (4):1161 - 1170.
John P. Burgess (1988). Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #292,879 of 740,442 )
Recent downloads (6 months)1 ( #61,960 of 740,442 )
How can I increase my downloads?