Novak I. L.. A construction for models of consistent systems. Fundamenta mathematicae, vol. 37 , pp. 87–110

Journal of Symbolic Logic 16 (4):273-274 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200100672

Links

PhilArchive



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

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

Ł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.
Review: I. L. Novak, A Construction for Models of Consistent Systems. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):273-274.
A Construction for Models of Consistent Systems.I. L. Novak - 1951 - Journal of Symbolic Logic 16 (4):273-274.
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.
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.
Mostowski A.. On models of axiomatic systems. Fundamenta mathematicae, vol. 39 , pp. 133–158.Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (3):220-221.
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.
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.
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.
Makkai M. A compactness result concerning direct, products of models. Fundamenta mathematicae, vol. 57 , pp. 313–325.G. Fuhrken - 1968 - Journal of Symbolic Logic 33 (3):477-477.
On embedding models of arithmetic of cardinality aleph_1 into reduced powers.Juliette Kennedy & Saharon Shelah - 2003 - Fundamenta Mathematicae 176 (1).
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.
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.

Analytics

Added to PP
2016-06-30

Downloads
16 (#902,419)

6 months
3 (#962,988)

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