Myhill John. A system which can define its own truth. Fundamenta mathematicae, vol. 37 , pp. 190–192

Journal of Symbolic Logic 21 (3):319-319 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269125

Links

PhilArchive



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

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

A system which can define its own truth.Alonzo Church - 1950 - Fundamenta Mathematicae 37 (1):190--92.
Review: John Myhill, A System Which can Define Its Own Truth. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (3):319-319.
Łos J.. On the extending of models . Fundamenta mathematicae, vol. 42 , pp. 38–54.Łos J. and Suszko R.. On the extending of models . Common extensions. Fundamenta mathematicae, vol. 42 , pp. 343–347.Słomiński J.. On the extending of models . Extensions in equationally definable classes of algebras. Fundamenta mathematicae, vol. 43 , pp. 69–76.Łos J. and Suszko R.. On the extending of models . Infinite sums of models. Fundamenta mathematicae, vol. 44 , pp. 52–60. [REVIEW]H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (1):93-95.
Hanf W.. On a problem of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 , pp. 325–334.Monk D. and Scott D.. Additions to some results of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 , pp. 335–343.Hajnal A.. Remarks on the theory of W. P. Hanf. Fundamenta mathematicae vol. 54 no. 1 , pp. 109–113. [REVIEW]Jean A. Larson - 1974 - Journal of Symbolic Logic 39 (2):332-332.
Mycielski Jan and Steinhaus H.. A mathematical axiom contradicting the axiom of choice. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 1–3.Mycielski Jan. On the axiom of determinateness. Fundamenta mathematicae, vol. 53 , pp. 205–224.Mycielski Jan and Świerczkowski S.. On the Lebesgue measurability and the axiom of determinateness. Fundamenta mathematicae, vol. 54 , pp. 67–71.Mycielski Jan. On the axiom of determinateness . Fundamenta mathematicae, vol. 59 , pp. 203–212. [REVIEW]James E. Baumgartner - 1971 - Journal of Symbolic Logic 36 (1):164-166.
Gaifman H.. Infinite Boolean polynomials I. Fundamenta mathematicae, vol. 54 , pp. 229–250. , p. 117.)Hales A. W.. On the non-existence of free complete Boolean algebras. Fundamenta mathematicae, vol. 54 , pp. 45–66. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (1):131-132.
Fuhrken G.. Skolem-type normal forms for first-order languages with a generalized quantifier. Fundamenta mathematicae, vol. 54 , pp. 291–302.Vaught R. L.. The completeness of logic with the added quantifier “there are uncountably many.” Fundamenta mathematicae, vol. 54 , pp. 303–304. [REVIEW]Pawel Zbierski - 1968 - Journal of Symbolic Logic 33 (1):121-122.
Włodzimierz Mostowski A.. On the decidability of some problems in special classes of groups. Fundamenta mathematicae, vol. 59 , pp. 123–135.Włodzimierz Mostowski A.. Computational algorithms for deciding some problems for nilpotent groups. Fundamenta mathematicae, vol. 59 , pp. 137–152. [REVIEW]F. B. Cannonito - 1970 - Journal of Symbolic Logic 35 (3):476-477.
Henkin L.. Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 41 no. 1 , pp. 89–96.Łoś J.. Remarks on Henkin's paper: Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 44 no. 1 , pp. 82–83. [REVIEW]Ann S. Ferebee - 1973 - Journal of Symbolic Logic 38 (3):521-522.
Church Alonzo and Kleene S. C.. Formal definitions in the theory of ordinal numbers. Fundamenta mathematicae, vol. 28 , pp. 11–21. [REVIEW]Barkley Rosser - 1937 - Journal of Symbolic Logic 2 (2):87-87.
Mostowski Andrzej. Axiom of choice for finite sets. Fundamenta mathematicae, vol. 33 , pp. 137–168.John G. Kemeny - 1948 - Journal of Symbolic Logic 13 (1):46-48.
Mrówka S.. On the ideals' extension theorem and its equivalence to the axiom of choice. Fundamenta mathematicae vol. 43 , pp. 46–49.Mrówka S.. Two remarks on my paper: “On the ideals' extension theorem and its equivalence to the axiom of choice.” Fundamenta mathematicae vol. 46 , pp. 165–166.Banaschewski Bernhard. On some theorems equivalent with the axiom of choice. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 279–282. [REVIEW]Azriel Lévy - 1963 - Journal of Symbolic Logic 28 (2):168-168.
Macintyre Angus. On ω1-categorical theories of abelian groups. Fundamenta mathematicae, vol. 70 , pp. 253–270.Macintyre Angus. On ω1-categorical theories of fields. Fundamenta mathematicae, vol. 71 , pp. 1–25.Reineke Joachim. Minimale Gruppen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 21 , pp. 357–359.Baldwin J. T. and Saxl Jan. Logical stability in group theory. The journal of the Australian Mathematical Society, vol. 21 ser. A , pp. 267–276.Zil'bér B. I.. Gruppy i kol'ca, téoriá kotoryh katégorična . Fundamenta mathematicae, vol. 95 , pp. 173–188.Baur Walter, Cherlin Gregory, and Macintyre Angus. Totally categorical groups and rings. Journal of algebra, vol. 57 , pp. 407–440.Cherlin Gregory. Groups of small Morley rank. Annals of mathematical logic, vol. 17 , pp. 1–28.Cherlin G. and Shelah S.. Superstable fields and groups. Annals of mathematical logic, vol. 18 , pp. 227–270.Poizat Bruno. Sous-groupes définissables d 'un groupe stable. [REVIEW]Anand Pillay - 1984 - Journal of Symbolic Logic 49 (1):317-321.
A theory of propositional types.Leon Henkin - 1963 - Fundamenta Mathematicae 52:323-334.
Sul Significato Soggettivo della Probabilittextà.Bruno De Finetti - 1931 - Fundamenta Mathematicae 17:298--329.

Analytics

Added to PP
2016-06-30

Downloads
4 (#1,617,803)

6 months
1 (#1,469,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Ungroundedness in Tarskian Languages.Saul A. Kripke - 2019 - Journal of Philosophical Logic 48 (3):603-609.

Add more citations

References found in this work

No references found.

Add more references