Theorie Der Numerierungen III

Mathematical Logic Quarterly 23 (19-24):289-371 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19770231902

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Theorie der Numerierungen I.Ju L. Eršov - 1973 - Mathematical Logic Quarterly 19 (19‐25):289-388.
Theorie der Numerierungen II.J. U. L. Eršov - 1975 - Mathematical Logic Quarterly 21 (1):473-584.
Die Struktur des Halbverbandes der Effektiven Numerierungen.Bernhard Goetze - 1974 - Mathematical Logic Quarterly 20 (8-12):183-188.
Reduzierbarkeit von Berechenbaren Numerierungen von P1.Josef Falkinger - 1980 - Mathematical Logic Quarterly 26 (28-30):445-458.
Universalität von Berechenbaren Numerierungen von Partiell Rekursiven Funktionen.Josef Falkinger - 1980 - Mathematical Logic Quarterly 26 (32-33):523-528.
Ultraprodukte in der Theorie der logischen Auswahlfunktionen.Dietrich Schwartz - 1975 - Mathematical Logic Quarterly 21 (1):385-394.
Theorie der Logischen Auswahlfunktionen.Günter Asser - 1957 - Mathematical Logic Quarterly 3 (1-5):30-68.
Zur Axiomatik der Friedmanschen Theorie der Prädikate.Martin Kühnrich - 1986 - Mathematical Logic Quarterly 32 (7‐9):97-106.
Theorie der endlichwertigen Łukasiewiczschen Prädikatenkalküle der ersten Stufe.Helmut Thiele - 1958 - Mathematical Logic Quarterly 4 (7-11):108-142.
Entscheidbarkeit Der Theorie Der Linearen Ordnung In Lmath image.H. Herre & H. Wolter - 1976 - Mathematical Logic Quarterly 23 (18):273-282.

Analytics

Added to PP
2013-11-24

Downloads
69 (#305,058)

6 months
12 (#296,635)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Recursive isomorphism types of recursive Boolean algebras.J. B. Remmel - 1981 - Journal of Symbolic Logic 46 (3):572-594.
d-computable Categoricity for Algebraic Fields.Russell Miller - 2009 - Journal of Symbolic Logic 74 (4):1325 - 1351.
Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
Recursive Boolean algebras with recursive atoms.Jeffrey B. Remmel - 1981 - Journal of Symbolic Logic 46 (3):595-616.

View all 16 citations / Add more citations

References found in this work

Mathematical significance of consistency proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (2):155-182.
Sentences true in all constructive models.R. L. Vaught - 1960 - Journal of Symbolic Logic 25 (1):39-53.

Add more references