Skip to main content
Log in

Hanf number for the calculus with the Härtig quantifier

  • Notes
  • Published:
Siberian Mathematical Journal Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Literature Cited

  1. K. Härtig, “Über einem Quantifikator mit zwei Wirkungsbereichen,” in: Colloq. on the Found. Math. Machines and Their Appl., Tihany, 1962, Akademiai Kiado, Budapest (1965), pp. 31–36.

    Google Scholar 

  2. W. Issel, “Semantische Untersuchungen über Quantoren. I,” Z. Math. Logik Grundl. Math.,15, No. 2, 353–358 (1969).

    Google Scholar 

  3. G. Fuhrkin, “A remark on the Härtig quantifier,” Z. Math. Logik Grundl. Math.,18, No. 2, 227–228 (1972).

    Google Scholar 

  4. A. G. Pinus, “Cardinality of the models of the theory of the calculus with the Härtig quantifier,” Sib. Mat. Zh.,19, No. 6, 1348–1356 (1978).

    Google Scholar 

  5. K. Gödel, “Consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory,” Ann. Math. Stud., No. 3, Princeton Univ. Press, Princeton (1940).

    Google Scholar 

  6. T. J. Jech, “Lectures in set theory with particular emphasis on the method of forcing,” Lect. Notes Math.,217, Springer-Verlag, Berlin-New York (1971).

    Google Scholar 

Download references

Authors

Additional information

Novosibirsk Electrotechnical Institute. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 20, No. 2, pp. 440–441, March–April, 1979.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pinus, A.G. Hanf number for the calculus with the Härtig quantifier. Sib Math J 20, 315–316 (1979). https://doi.org/10.1007/BF00970046

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00970046

Navigation