Non-uniqueness at ω2 in Kleene'sO

&
Archive for Mathematical Logic 9 (3-4):95-101 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01973029

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

Review: John N. Crossley, Kurt Schutte, Non-Uniqueness at $omega^2$ in Kleene's O. [REVIEW]Gustav B. Hensel - 1970 - Journal of Symbolic Logic 35 (2):336-336.
John N. Crossley and Kurt Schütte. Non-uniqueness at ω2 in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 9 , pp. 95–101. - Peter H. G. Aczel. Paths in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 10 , pp. 8–12. [REVIEW]Gustav B. Hensel - 1970 - Journal of Symbolic Logic 35 (2):336.
Non-Uniqueness at ω 2 in Kleene's O.John N. Crossley - 1970 - Journal of Symbolic Logic 35 (2):336-336.
Local Density of Kleene Degrees.Hisato Muraki - 1995 - Mathematical Logic Quarterly 41 (2):183-189.
Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics.Arun Kumar & Mohua Banerjee - 2017 - Studia Logica 105 (3):439-469.
The Uniqueness Thesis.Matthew Kopec & Michael G. Titelbaum - 2016 - Philosophy Compass 11 (4):189-200.
Kleene S. C.. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 1–26.Kleene S. C.. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 27–66.Kleene S. C.. Bibliography. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 67–68.Craig William. On axiomatizability within a system. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (1):62-63.
Non-Distributive Upper Semilattice of Kleene Degrees.Hisato Muraki - 1999 - Journal of Symbolic Logic 64 (1):147-158.
From semirings to residuated Kleene lattices.Peter Jipsen - 2004 - Studia Logica 76 (2):291 - 303.
Uniqueness of episodic experience.Ivan M. Havel - unknown
The mathematical work of S. C. Kleene.J. R. Shoenfield & S. C. Kleene - 1995 - Bulletin of Symbolic Logic 1 (1):8-43.
Review of Kleene 1981, Davis 1982, and Kleene 1987. [REVIEW]S. Shapiro - 1990 - Journal of Symbolic Logic 55:348-350.
Uniqueness and Logical Disagreement.Frederik J. Andersen - 2020 - Logos and Episteme 11 (1):7-18.
Off-Topic: A New Interpretation of Weak-Kleene Logic.Jc Beall - 2016 - Australasian Journal of Logic 13 (6).
Unvollständigkeit und Unentscheidbarkeit.Wolfgang Stegmüller - 1959 - Wien,: Springer.

Analytics

Added to PP
2020-12-03

Downloads
3 (#1,708,708)

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