Robinson Abraham. Some problems of definability in the lower predicate calculus. Fundamenta mathematicae, vol. 44 , pp. 309–329 [Book Review]

Journal of Symbolic Logic 25 (2):171-171 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964238

Links

PhilArchive



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

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: Abraham Robinson, Some Problems of Definability in the Lower Predicate Calculus. [REVIEW]W. Peremans - 1960 - Journal of Symbolic Logic 25 (2):171-171.
Some Problems of Definability in the Lower Predicate Calculus.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):171-171.
Kreisel G.. Note on arithmetic models for consistent formulae of the predicate calculus. Fundamenta mathematicae, vol. 37 , pp. 265–285. [REVIEW]Hao Wang - 1953 - Journal of Symbolic Logic 18 (2):180-181.
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.
Ł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.
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.
K. L. de Bouvère. A mathematical characterization of explicit definability. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 , pp. 264–274; also Indagationes mathematicae, vol. 25 , pp. 264–274. [REVIEW]Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (4):687-687.
Probability: A new logico-semantical approach. [REVIEW]Christina Schneider - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (1):107 - 124.
Reviews. Selected papers of Abraham Robinson. Volume 1. Model theory and algebra. Edited and with an introduction by H. J. Keisler. Yale University Press, New Haven and London 1979, xxxvii + 694 pp. George B. Selioman. Biography of Abraham Robinson, pp. xiii–xxxii. H. J. Keisler. Introduction, pp. xxxiii–xxxvii. Abraham Robinson. On the application of symbolic logic to algebra, pp. 3–11. A reprint of XVIII 182. Abraham Robinson. Recent developments in model theory, pp. 12–31. A reprint of XL 269. Abraham Robinson. On the construction of models, pp. 32–42. A reprint of XL 506. Abraham Robinson, Metamathematical problems, pp. 43–59. , pp. 500–516.) Abraham Robinson. Model theory as a framework for algebra, pp. 60–83. Abraham Robinson. A result on consistency and its application to the theory of definition, pp. 87–98. A reprint of XXV 174. Abraham Robinson. Ordered structures and related concepts, pp. 99–104. A reprint of XXV 170. [REVIEW]John T. Baldwin - 1982 - Journal of Symbolic Logic 47 (1):197-203.
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.
Mostowski A.. Axiomatizability of some many valued predicate calculi. Fundamenta mathematicae, vol. 50 , pp. 165–190.Louise Hay - 1970 - Journal of Symbolic Logic 35 (1):143-143.
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.
Läuchli H. and Leonard J.. On the elementary theory of linear order. Fundamenta mathematicae, vol. 59 , pp. 109–116.Julia Robinson - 1968 - Journal of Symbolic Logic 33 (2):287-287.

Analytics

Added to PP
2016-06-30

Downloads
5 (#1,533,089)

6 months
2 (#1,193,798)

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