An Example of Two Weak Essentially Undecidable Theories F and F

Journal of Symbolic Logic 27 (3):358-358 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964657

Other Versions

No versions found

Links

PhilArchive



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

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

Grzegorczyk A.. An example of two weak essentially undecidable theories F and F*. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 5–9. [REVIEW]Raphael M. Robinson - 1962 - Journal of Symbolic Logic 27 (3):358-358.
Arithmetic on semigroups.Mihai Ganea - 2009 - Journal of Symbolic Logic 74 (1):265-278.
A Weak Essentially Undecidable Theory.Kamila Bendova - 2007 - Reports on Mathematical Logic.
Mutual Interpretability of Weak Essentially Undecidable Theories.Zlatan Damnjanovic - 2022 - Journal of Symbolic Logic 87 (4):1374-1395.
Weak essentially undecidable theories of concatenation, part II.Juvenal Murwanashyaka - 2024 - Archive for Mathematical Logic 63 (3):353-390.
Weak Theories of Concatenation and Arithmetic.Yoshihiro Horihata - 2012 - Notre Dame Journal of Formal Logic 53 (2):203-222.
Hartmanis J. and Lewis F. D.. The use of lists in the study of undecidable problems in automata theory. Journal of computer and system sciences, vol. 5 , pp. 54–66. [REVIEW]Dennis F. Cudia - 1974 - Journal of Symbolic Logic 39 (2):347-347.
V. L. MurskiĬ. Nondiscernible properties of finite systems of identity relations. Soviet mathematics, vol. 12 , pp. 183–186. , pp. 520–522.) - George F. McNulty. The decision problem for equational bases of algebras. Annals of mathematical logic, vol. 10 , pp. 193–259. - George F. McNulty. Undecidable properties of finite sets of equations. The journal of symbolic logic, vol. 41 , pp. 589–604. [REVIEW]S. Burris - 1982 - Journal of Symbolic Logic 47 (4):903-904.
Undecidable and Creative Theories.J. R. Shoenfield - 1967 - Journal of Symbolic Logic 32 (1):123-123.
F. R. Drake. On weak cardinal powers in generic extensions. Fundamenta mathematicae, vol. 66 no. 2 , pp. 219–222.Thomas J. Jech - 1973 - Journal of Symbolic Logic 38 (4):652.

Analytics

Added to PP
2015-02-05

Downloads
4 (#1,804,835)

6 months
4 (#1,255,690)

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