Effective Enumerations of Families of Finite Sets of Natural Numbers

Mathematical Logic Quarterly 37 (19‐22):301-306 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19910371904

Links

PhilArchive



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

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

Finite Sets and Natural Numbers in Intuitionistic TT.Daniel Dzierzgowski - 1996 - Notre Dame Journal of Formal Logic 37 (4):585-601.
A new applied approach for executing computations with infinite and infinitesimal quantities.Yaroslav D. Sergeyev - 2008 - Informatica 19 (4):567-596.
Infinite numbers are large finite numbers.Jeremy Gwiazda - unknown
The ordertype of β-r.E. Sets.Klaus Sutner - 1990 - Journal of Symbolic Logic 55 (2):573-576.
The hereditary partial effective functionals and recursion theory in higher types.G. Longo & E. Moggi - 1984 - Journal of Symbolic Logic 49 (4):1319-1332.
Generalized cohesiveness.Tamara Hummel & Carl G. Jockusch - 1999 - Journal of Symbolic Logic 64 (2):489-516.
On Infinite Number and Distance.Jeremy Gwiazda - 2012 - Constructivist Foundations 7 (2):126-130.
A note on finiteness in the predicative foundations of arithmetic.Fernando Ferreira - 1999 - Journal of Philosophical Logic 28 (2):165-174.
Indeterminacy of fair infinite lotteries.Philip Kremer - 2014 - Synthese 191 (8):1757-1760.
Effectivity and effective continuity of multifunctions.Dieter Spreen - 2010 - Journal of Symbolic Logic 75 (2):602-640.
Combinatorial properties of filters and open covers for sets of real numbers.Claude Laflamme & Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1243-1260.
MAD families of projections on l2 and real-valued functions on ω.Tristan Bice - 2011 - Archive for Mathematical Logic 50 (7-8):791-801.
On sets not belonging to algebras.L. Š Grinblat - 2007 - Journal of Symbolic Logic 72 (2):483-500.

Analytics

Added to PP
2013-12-01

Downloads
10 (#1,123,760)

6 months
1 (#1,444,594)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references