×

zbMATH — the first resource for mathematics

Omitting types of prenex formulas. (English) Zbl 0161.00503

PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Notices of the American Mathematical Society, 12 pp 377– (1965)
[2] Notices of the American Mathematical Society, 11 pp 679– (1964)
[3] Notices of the American Mathematical Society 11 pp 679– (1964)
[4] Notices of the American Mathematical Society, 11 pp 587– (1964)
[5] DOI: 10.1090/S0002-9904-1963-10903-9 · Zbl 0112.00701
[6] Koninklijke Nederlandse Akademie van Wetenschappen 16 pp 467– (1954)
[7] Compositie Mathematica 13 pp 81– (1957)
[8] Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 7 pp 545– (1959)
[9] (1963)
[10] DOI: 10.1090/S0002-9947-1965-0175782-0
[11] The theory of models pp 265– (1965)
[12] Theoria, 30 pp 183– (1964)
[13] Infinitistic methods pp 257– (1959)
[14] Notices of the American Mathematical Society 12 pp 244– (1965)
[15] Extending models of set theory 30 pp 269– (1965)
[16] The theory of models with generalized atomic formulas 25 pp 1– (1960)
[17] Sets, models, and recursion theory
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.