Found 47 Documents (Results 1–47)
A modified functional approach to nonstandard measure theory. (English) Zbl 0847.28009
Reviewer: W.A.J.Luxemburg (Pasadena)
A finitarily consistent free-variable positive fragment of infinitesimal analysis. (English) Zbl 0834.03026
Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 1. Bahía Blanca: Universidad Nacional del Sur, Notas Logica Mat. 38, 1-59 (1993).
Reviewer: R.A.Herrmann (Annapolis)
Nonstandard analysis and axiom of determinateness. (English. Russian original) Zbl 0819.03051
Algebra Logic 32, No. 6, 328-333 (1993); translation from Algebra Logika 32, No. 6, 607-617 (1993).
Reviewer: K.Čuda (Praha)
Kantorovich spaces and the metrization problem. (English. Russian original) Zbl 0845.46003
Sib. Math. J. 34, No. 4, 688-694 (1993); translation from Sib. Mat. Zh. 34, No. 4, 108-116 (1993).
On a nonstandard approach to duality theory. (Russian) Zbl 0816.54033
Reviewer: G.Pestov (Tomsk)
On a duality between Boolean valued analysis and topological reduction theory. (English) Zbl 0807.46083
Infinitesimal calculus at the threshold to the year 2000. (Italian) Zbl 0876.01032
Reviewer: D.Laugwitz (Darmstadt)
Counting the maximal sequences of consecutive quadratic residues modulo \(p\). (English) Zbl 0814.11004
Reviewer: G.Pestov (Tomsk)
On the continuity of internal functions. (English) Zbl 0798.54055
Reviewer: R.A.Herrmann (Annapolis)
An explicit Boolean-valued model for non-standard arithmetic. (English) Zbl 0803.03048
Reviewer: R.Kossak (New York)
Conversion from nonstandard matrix algebras to standard factors of type \(II_ 1\). (English) Zbl 0803.03047
Reviewer: W.A.J.Luxemburg (Pasadena)
Model theory and algebraic geometry. (English) Zbl 0796.03040
Weese, Martin (ed.) et al., Proceedings of the tenth easter conference on model theory, Wendisch Rietz, Germany, April 12-17, 1993. Berlin: Humboldt-Universität, Fachbereich Mathematik, Humboldt-Univ. Berlin, Sekt. Math., Semin.-ber. 93-1, 202-222 (1993).
Vector autoregressions and causality. (English) Zbl 0796.62104
Reviewer: J.K.Sengupta (Santa Barbara)
What is a number? (Chto takoe chislo?) (Russian) Zbl 0941.00500
Sovremennaya Matematika dlya Studentov. 4. Moskva: Nauka. 80 p. (1993).
The Bass-Milnor-Serre theorem for nonstandard models in Peano arithmetic. (English) Zbl 0791.03044
Reviewer: R.Murawski (Poznań)
MSC:
03H15
Random relaxed controls and partially observed stochastic systems. (English) Zbl 0801.93059
Reviewer: B.Mathiszik (Halle)
Translations of nonstandardly defined notions. (English) Zbl 0804.03050
Reviewer: V.Novák (Ostrava-Poruba)
Nonstandard methods in the calculus of variations. (English) Zbl 0794.49001
Reviewer: Z.Denkowski (Kraków)
Pushing down Loeb measures. (English) Zbl 0782.28006
Reviewer: H.Render (Duisburg)
Complexity of the axioms of the alternative set theory. (English) Zbl 0792.03037
Reviewer: K.Čuda (Praha)
Graphs with \(\boldsymbol\Pi^ 0_ 1(\kappa)\) \(Y\)-sections. (English) Zbl 0779.03022
Reviewer: R.Živaljević (Beograd)
Integer parts of real closed exponential fields. (English) Zbl 0791.03018
Clote, Peter (ed.) et al., Arithmetic, proof theory, and computational complexity. Oxford: Clarendon Press. Oxf. Logic Guides. 23, 278-288 (1993).
Reviewer: J.-P.Ressayre (Paris)
Axiomatic approaches to nonstandard analysis. (English) Zbl 0795.03101
Jahrbuch 1992 der Kurt-Gödel-Gesellschaft. Wien: Kurt-Gödel- Gesellschaft, 61-79 (1993).
Reviewer: G.Pestov (Tomsk)
Nonstandard analysis and measure theory. (English) Zbl 0796.28014
Jahrbuch 1992 der Kurt-Gödel-Gesellschaft. Wien: Kurt-Gödel- Gesellschaft, 51-59 (1993).
Reviewer: R.A.Herrmann (Annapolis)
Infinitesimal approach of almost-automorphic functions. (English) Zbl 0785.03045
Reviewer: R.A.Herrmann (Annapolis)
A sharpened version of McAloon’s theorem on initial segments of models of \(I\Delta_ 0\). (English) Zbl 0785.03038
A nonstandard proof of the continuity of zeros of polynomials. (English) Zbl 0781.12004
Reviewer: D.Busneag (Craiova)
On certain non standard continued fractions. (Sur certaines fractions continues non standard.) (French. Abridged English version) Zbl 0786.11070
A nonstandard version of the theorem of F. Riesz. (Une version non standard du théorème de F. Riesz.) (French) Zbl 0782.26011
Reviewer: W.A.J.Luxemburg (Pasadena)
The Wiener sphere and Wiener measure. (English) Zbl 0788.28008
Reviewer: R.A.Herrmann (Annapolis)
Radon extension of cylindrical measures on weak dual multi-Hilbertian spaces and the generalized Bochner theorem. (English) Zbl 0771.60006
Reviewer: Yu Xintai (Shanghai)
Finite substructure lattices of models of Peano Arithmetic. (English) Zbl 0788.03050
Reviewer: A.Enayat (Washington)
On the duality between Boolean-valued analysis and reduction theory under the assumption of separability. (English) Zbl 0779.47034
Reviewer: W.A.J.Luxemburg (Pasadena)
Some results on universal measurability of sets in product Loeb spaces. (Chinese. English summary) Zbl 0963.28501
Stationary solutions to infinite-dimensional stochastic equations and nonstandard analysis. (English) Zbl 0938.60513
Perelló, C. (ed.) et al., International conference on differential equations. Vol. 1, 2. Proceedings of the conference, EQUADIFF 91, Barcelona, Spain, August 26-31, 1991. Singapore: World Scientific. 823-826 (1993).
Two-point BVP for the equations \(\ddot x=f(t,x)^{2n+1}\), for large \(n\). (English) Zbl 0938.34510
Perelló, C. (ed.) et al., International conference on differential equations. Vol. 1, 2. Proceedings of the conference, EQUADIFF 91, Barcelona, Spain, August 26-31, 1991. Singapore: World Scientific. 877-882 (1993).
Filter Results by …
Document Type
- Journal Articles (38)
- Collection Articles (7)
- Books (2)
all
top 5
Author
- Cutland, Nigel J. (4)
- Ng, Siu-Ah (3)
- Kopp, Peter Ekkehard (2)
- Nishimura, Hirokazu (2)
- Render, Hermann (2)
- Willinger, Walter (2)
- Aldaz, Jésus Munárriz (1)
- Belyakin, N. V. (1)
- Benoît, Eric (1)
- Caragiu, Mihai (1)
- Chuaqui Kettlun, Rolando Basim (1)
- Čuda, Karel (1)
- D’Aquino, Paola (1)
- Dragalin, Albert G. (1)
- El Mamoune, Idriss Ben (1)
- Feneyrol-Perrin, Yvette (1)
- Fichera, Gaetano (1)
- Gaunet, Marie-Laure (1)
- Gauthier, Yvon (1)
- Hellegouarch, Yves (1)
- Henson, C. Ward (1)
- Hinokuma, Takanori (1)
- Khelif, Anatole (1)
- Kirillov, Alexandre Aleksandrovich (1)
- Kusraev, Anatoliĭ Georgievich (1)
- Linstrøm, Tom (1)
- Liu, Jianmin (1)
- Lobry, Claude (1)
- Loeb, Peter A. (1)
- Mattes, Josef (1)
- Molchanov, Vladimir A. (1)
- Mori, Takakazu (1)
- Murakami, Masahiko (1)
- Odintsov, Sergei P. (1)
- Ozawa, Masanao (1)
- Paysant-Le Roux, Roger (1)
- Peraire, Yves (1)
- Phillips, Peter Charles Bonest (1)
- Ponosov, Arkadiĭ Vladimirovich (1)
- Qi, Ming (1)
- Sánchez-Pedreño G., Salvador (1)
- Schmerl, James H. (1)
- Sochor, Antonin (1)
- Suppes, Patrick (1)
- Toda, Hiro Y. (1)
- Tsujii, Yoshiki (1)
- Tuckey, Curtis (1)
- Wehrl, Alfred (1)
- Wu, Jianglun (1)
- Yasugi, Mariko (1)
- Zilber, Boris I. (1)
- Živaljević, Boško (1)
all
top 5
Serial
- Proc. Am. Math. Soc. (3)
- Ann. Pure Appl. Logic (3)
- J. Symb. Log. (2)
- Acta Appl. Math. (2)
- C. R. Acad. Sci., Paris, Sér. I (2)
- Int. J. Theor. Phys. (1)
- Rep. Math. Phys. (1)
- Rev. Roum. Math. Pures Appl. (1)
- Algebra Logic (1)
- Ann. Probab. (1)
- Commentat. Math. Univ. Carol. (1)
- Econometrica (1)
- Ill. J. Math. (1)
- J. Fac. Sci., Univ. Tokyo, Sect. I A (1)
- Math. Scand. (1)
- Publ. Inst. Math., Nouv. Sér. (1)
- Publ. Math. Debr. (1)
- Sib. Math. J. (1)
- Tsukuba J. Math. (1)
- J. Eng. Math., Xi’an (1)
- Acta Math. Univ. Comen., New Ser. (1)
- Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Suppl. (1)
- Arch. Math. Logic (1)
- Stochastics Stochastics Rep. (1)
- Log. Point View (1)
- Sémin. Anal., Univ. Blaise Pascal, Clermont II (1)
- Teor. Polugrupp Prilozh. (1)
- Caribb. J. Math. Comput. Sci. (1)
- Math. Log. Q. (1)
- Math. Finance (1)
- Dialogue (1)
- RIMS Kokyuroku (1)