Strict-π11 predicates on countable and cofinality ω transitive sets
Journal of Symbolic Logic 42 (2):161 - 173 (1977)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
|
| Through your library | Configure |
James C. Owings Jr (1969). Π11 Sets, Ω-Sets, and Metacompleteness. Journal of Symbolic Logic 34 (2):194 - 204.
Paul E. Howard (1992). The Axiom of Choice for Countable Collections of Countable Sets Does Not Imply the Countable Union Theorem. Notre Dame Journal of Formal Logic 33 (2):236-243.
Stephen H. Hechler (2001). On Consistent Subsets of Large Sets of Satisfiable Sentences. Studia Logica 69 (3):339-349.
Tomek Bartoszynski & Jaime I. Ihoda (1989). On the Cofinality of the Smallest Covering of the Real Line by Meager Sets. Journal of Symbolic Logic 54 (3):828-832.
Thomas Jech (1982). On Hereditarily Countable Sets. Journal of Symbolic Logic 47 (1):43-47.
Jon Barwise (1969). Applications of Strict Π11 Predicates to Infinitary Logic. Journal of Symbolic Logic 34 (3):409 - 423.
T. A. Slaman (1986). ∑1 Definitions with Parameters. Journal of Symbolic Logic 51 (2):453 - 461.
Boško Živaljević (1991). U-Meager Sets When the Cofinality and the Coinitiality of U Are Uncountable. Journal of Symbolic Logic 56 (3):906-914.
Arnold W. Miller (1982). The Baire Category Theorem and Cardinals of Countable Cofinality. Journal of Symbolic Logic 47 (2):275-288.
James C. Owings Jr (1970). The Meta-R.E. Sets, but Not the Π11 Sets, Can Be Enumerated Without Repetition. Journal of Symbolic Logic 35 (2):223 - 229.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,652 of 549,064 )Recent downloads (6 months)0How can I increase my downloads? |

