P. Vopěnka. The limits of sheaves and applications on constructions of models. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 189–192. - P. Vopěnka. On ∇-model of set theory. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 267–272. - P. Vopěnka. Properties of ∇-model. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 441–444. - P. Vopěnka and P. Hájek. Permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 611–614. - P. Hájek and P. Vopěnka. Some permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 , pp. 1–7. - P. Vopěnka. ∇-models in which the generalized conti

Kenneth Kunen

Download from

dx.doi.org

More download options

P. Vopěnka. The limits of sheaves and applications on constructions of models. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 189–192. - P. Vopěnka. On ∇-model of set theory. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 267–272. - P. Vopěnka. Properties of ∇-model. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 441–444. - P. Vopěnka and P. Hájek. Permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 611–614. - P. Hájek and P. Vopěnka. Some permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 , pp. 1–7. - P. Vopěnka. ∇-models in which the generalized conti [Book Review]

Kenneth Kunen

Journal of Symbolic Logic 34 (3):515-516 (1969)

@article{Kunen1969-KUNPVT-2,
	author = {Kenneth Kunen},
	doi = {10.2307/2270953},
	journal = {Journal of Symbolic Logic},
	number = {3},
	pages = {515--516},
	publisher = {Association for Symbolic Logic},
	title = {P. Vop\v{e}nka. The Limits of Sheaves and Applications on Constructions of Models. Bulletin de l'Acad\'{e}mie Polonaise des Sciences, S\'{e}rie des Sciences Math\'{e}matiques, Astronomiques Et Physiques, Vol. 13 , Pp. 189?192. - P. Vop\v{e}nka. On $\nabla$-Model of Set Theory. Bulletin de l'Acad\'{e}mie Polonaise des Sciences, S\'{e}rie des Sciences Math\'{e}matiques, Astronomiques Et Physiques, Vol. 13 , Pp. 267?272. - P. Vop\v{e}nka. Properties of $\nabla$-Model. Bulletin de l'Acad\'{e}mie Polonaise des Sciences, S\'{e}rie des Sciences Math\'{e}matiques, Astronomiques Et Physiques, Vol. 13 , Pp. 441?444. - P. Vop\v{e}nka and P. H\'{a}jek. Permutation Submodels of the Model $\nabla$. Bulletin de l'Acad\'{e}mie Polonaise des Sciences, S\'{e}rie des Sciences Math\'{e}matiques, Astronomiques Et Physiques, Vol. 13 , Pp. 611?614. - P. H\'{a}jek and P. Vop\v{e}nka. Some Permutation Submodels of the Model $\nabla$. Bulletin de l'Acad\'{e}mie Polonaise des Sciences, S\'{e}rie des Sciences Math\'{e}matiques, Astronomiques Et Physiques, Vol. 14 , Pp. 1?7. - P. Vop\v{e}nka. $\nabla$-Models in Which the Generalized Conti},
	volume = {34},
	year = {1969}
}

Kunen, Kenneth (1969). P. Vopěnka. The limits of sheaves and applications on constructions of models. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13, pp. 189–192. - P. Vopěnka. On ∇-model of set theory. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13, pp. 267–272. - P. Vopěnka. Properties of ∇-model. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13, pp. 441–444. - P. Vopěnka and P. Hájek. Permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13, pp. 611–614. - P. Hájek and P. Vopěnka. Some permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14, pp. 1–7. - P. Vopěnka. ∇-models in which the generalized conti. Journal of Symbolic Logic 34 (3):515-516.

Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Zotero

EndNote

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Edit

Keywords

Add keywords

Reprint years

DOI

10.2307/2270953

My notes

Similar books and articles

Salwicki A.. Formalized algorithmic languages. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 227–232, XVII, XVII.Salwicki A.. On the equivalence of FS-expressions and programs. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 275–278, XXI, XXI.Salwicki A.. On the predicate calculi with iteration quantifiers. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 279–285, XXI, XXI. [REVIEW]E. Engeler - 1974 - Journal of Symbolic Logic 39 (2):349-350.

Grzegorczyk A.. A theory without recursive models. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 63–69. [REVIEW]Thomas Frayne - 1963 - Journal of Symbolic Logic 28 (1):102-103.

Shepherdson J. C.. A non-standard model for a free variable fragment of number theory. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 12 , pp. 79–86. [REVIEW]R. L. Goodstein - 1965 - Journal of Symbolic Logic 30 (3):389-390.

Lévy Azriel. On models of set theory with urelements. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 463–465. [REVIEW]Elliott Mendelson - 1971 - Journal of Symbolic Logic 36 (4):682-682.

Ehrenfeucht A.. Separable theories. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 17–19. [REVIEW]H. B. Enderton - 1969 - Journal of Symbolic Logic 34 (1):127-127.

Traczyk T.. Prime ideals in generalized Post algebras. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 , pp. 369–373. [REVIEW]Ph Dwinger - 1972 - Journal of Symbolic Logic 37 (1):189-189.

Ehrenfeucht A. and Mostowski A.. A compact space of models of first order theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 369–373. [REVIEW]G. Fuhrken - 1970 - Journal of Symbolic Logic 35 (4):586-587.

Słomiński J.. Theory of models with infinitary operations and relations. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 6 (1958), pp. 449–456. [REVIEW]Carol R. Karp - 1966 - Journal of Symbolic Logic 31 (1):131-131.

J. R. Shoenfield. On a restricted ω-rule. Bulletin de l′Académie Polonaise des Sciences, Série des sciences, mathématiques, astronomiques et physiques, vol. 7 , pp. 405–407. [REVIEW]Robert DiPaola - 1969 - Journal of Symbolic Logic 34 (1):130-131.

R. O. Gandy, G. Kreisel and W. W. Tait. Set existence. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 577–582, and vol. 9 , pp. 881–882. [REVIEW]Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (2):232-233.

E. G. K. Lopez-Escobar. On a theorem of J. I. Malitz. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 , pp. 739–743. [REVIEW]Martin Helling - 1970 - Journal of Symbolic Logic 35 (4):586-586.

R. O. Gandy. Proof of Mostowski's conjecture. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 571–575. [REVIEW]Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):103-104.

T. Traczyk. Some theorems on independence in Post algebras. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 11 (1963), pp. 3–8. [REVIEW]Ph Dwinger - 1969 - Journal of Symbolic Logic 34 (2):303-303.

Ryll-Nardzewski C.. On the categoricity in power. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 545–548. [REVIEW]G. Fuhrken - 1966 - Journal of Symbolic Logic 31 (3):505-505.

Bukowský L. and Příkry K.. Some matamathematical properties of measurable cardinals. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 , pp. 9–14. [REVIEW]Peter G. Hinman - 1968 - Journal of Symbolic Logic 33 (3):476-476.

Analytics

Added to PP
2015-02-05

Downloads
22 (#692,982)

6 months
4 (#800,606)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Sheaves of structures and generalized ultraproducts.David P. Ellerman - 1974 - Annals of Mathematical Logic 7 (2):163.

Forcing in nonstandard analysis.Masanao Ozawa - 1994 - Annals of Pure and Applied Logic 68 (3):263-297.

Add more citations

References found in this work

No references found.

Add more references

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Abstract

Categories

Keywords

Reprint years

DOI

Links

PhilArchive

External links

Through your library

My notes

Similar books and articles

Analytics

Citations of this work

References found in this work