- (1 other version)The theory of boolean ultrapowers.Richard Mansfield - 1971 - Annals of Mathematical Logic 2 (3):297.details
|
|
(1 other version)The theory of Boolean ultrapowers.Richard Mansfield - 1971 - Annals of Mathematical Logic 2 (3):297-323.details
|
|
(1 other version)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. [REVIEW]Kenneth Kunen - 1969 - Journal of Symbolic Logic 34 (3):515-516.details
|
|
Remarks on the nonstandard real axis.Elias Zakon - 1969 - In W. A. J. Luxemburg (ed.), Applications of model theory to algebra, analysis, and probability. New York,: Holt, Rinehart and Winston. pp. 195--227.details
|
|
(1 other version)Making the hyperreal line both saturated and complete.H. Jerome Keisler & James H. Schmerl - 1991 - Journal of Symbolic Logic 56 (3):1016-1025.details
|
|
(1 other version)Making the Hyperreal Line Both Saturated and Complete.H. Jerome Keisler & James H. Schmerl - 1991 - Journal of Symbolic Logic 56 (3):1016-1025.details
|
|
Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory.Peter A. Loeb & Robert M. Anderson - 1975 - Journal of Symbolic Logic 50 (1):243-243.details
|
|
Boolean models and nonstandard analysis.Dana Scott - 1969 - In W. A. J. Luxemburg (ed.), Applications of model theory to algebra, analysis, and probability. New York,: Holt, Rinehart and Winston. pp. 87--92.details
|
|
A transfer principle in harmonic analysis.Gaisi Takeuti - 1979 - Journal of Symbolic Logic 44 (3):417-440.details
|
|
Commutative regular rings and Boolean-valued fields.Kay Smith - 1984 - Journal of Symbolic Logic 49 (1):281-297.details
|
|
Nonstandard natural number systems and nonstandard models.Shizuo Kamo - 1981 - Journal of Symbolic Logic 46 (2):365-376.details
|
|
An Infinitesimal Approach to Stochastic Analysis.H. Jerome Keisler - 1986 - Journal of Symbolic Logic 51 (3):822-824.details
|
|
Boolean valued lie algebras.Hirokazu Nishimura - 1991 - Journal of Symbolic Logic 56 (2):731-741.details
|
|
Boolean simple groups and boolean simple rings.Gaisi Takeuti - 1988 - Journal of Symbolic Logic 53 (1):160-173.details
|
|