Effective Enumerations of Families of Finite Sets of Natural Numbers

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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,709

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

Effective Enumerations of Families of Finite Sets of Natural Numbers.Angel V. Ditchev - 1991 - Mathematical Logic Quarterly 37 (19‐22):301-306.
Some effectively infinite classes of enumerations.Sergey Goncharov, Alexander Yakhnis & Vladimir Yakhnis - 1993 - Annals of Pure and Applied Logic 60 (3):207-235.
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
On Σ‐definability without equality over the real numbers.Andrei S. Morozov & Margarita V. Korovina - 2008 - Mathematical Logic Quarterly 54 (5):535-544.
The ordertype of β-r.E. Sets.Klaus Sutner - 1990 - Journal of Symbolic Logic 55 (2):573-576.
On Infinite Number and Distance.Jeremy Gwiazda - 2012 - Constructivist Foundations 7 (2):126-130.
Generalized cohesiveness.Tamara Hummel & Carl G. Jockusch - 1999 - Journal of Symbolic Logic 64 (2):489-516.
The hereditary partial effective functionals and recursion theory in higher types.G. Longo & E. Moggi - 1984 - Journal of Symbolic Logic 49 (4):1319-1332.
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.
Index sets in the arithmetical Hierarchy.Ulrike Brandt - 1988 - Annals of Pure and Applied Logic 37 (2):101-110.
The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets in ∑5‐Complete.Stephan Wehner - 1994 - Mathematical Logic Quarterly 40 (1):87-94.
Effectivity and effective continuity of multifunctions.Dieter Spreen - 2010 - Journal of Symbolic Logic 75 (2):602-640.

Analytics

Added to PP
2016-02-04

Downloads
24 (#654,246)

6 months
1 (#1,464,097)

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