Found 59 Documents (Results 1–59)
Some basic properties of the normal fuzzy set structures. (English) Zbl 0627.03039
J., Huazhong (Cent. China) Univ. Sci. Technol. 4, No. 1, 23-30 (1982).
Recursively saturated nonstandard models of arithmetic; addendum. (English) Zbl 0549.03059
Reviewer: M.M.Richter
On the existence of solutions to stochastic differential equations on Loeb spaces. (English) Zbl 0544.60056
On M-recursively saturated models of arithmetic. (English) Zbl 0543.03018
Reviewer: Z.Adamowicz
Boolean-valued analysis of duality of extended modules. (English. Russian original) Zbl 0538.46059
Sov. Math., Dokl. 26, 732-735 (1982); translation from Dokl. Akad. Nauk SSSR 267, 1049-1052 (1982).
Reviewer: K.Potthoff
Modelling vagueness. (English) Zbl 0537.03037
Fuzzy information and decision processes, 101-109 (1982).
Reviewer: K.Čuda
Analisi non-standard e topos. (English) Zbl 0536.03050
Reviewer: P.T.Johnstone
Bus routing problems on acyclic networks. (English) Zbl 0534.90031
Graphtheoretic concepts in computer science, Proc. 7th Conf., Linz/Austria 1981, 99-113 (1982).
Non-standard models of Peano arithmetic. (English) Zbl 0529.03041
MSC:
03H15
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. (English) Zbl 0528.03001
Studies in Logic and the Foundations of Mathematics, Vol. 90. Amsterdam - New York - Oxford: North-Holland Publishing Company. xii, 1166 p. $ 39.00; Dfl. 90.00 (1982).
MSC:
03-02
03B10
03B25
03B40
03C20
03C35
03C70
03C75
03D30
03D60
03D65
03D70
03E05
03E20
03E25
03E35
03E45
03E50
03E65
03F30
03F05
03F65
03G30
03H05
54A35
Modeles recursivement satures de l’addition et de la multiplication des entiers naturels. (French) Zbl 0527.03043
Logic colloguium ’80, Eur. Summer Meet., Prague 1980, Stud. Logic Found. Math. 108, 57-68 (1982).
Extended interval arithmetic and calculus for interval functions of a real variable. (Bulgarian) Zbl 0526.65035
General disintegration formulas. (English. Russian original) Zbl 0523.28007
Sov. Math., Dokl. 26, 255-259 (1982); translation from Dokl. Akad. Nauk SSSR 265, 1312-1316 (1982).
An elimination of the predicate ”to be a standard member” in nonstandard models of arithmetic. (English) Zbl 0522.03059
Degrees of models of true arithmetic. (English) Zbl 0522.03058
Logic colloquium ’81, Proc. Herbrand Symp., Marseille 1981, Stud. Logic Found. Math. 107, 233-242 (1982).
A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis. (English) Zbl 0522.03044
Patras Logic Symposion, Proc., Patras/Greece 1980, Stud. Logic Found. Math. 109, 197-230 (1982).
Calculus is algebra. (English) Zbl 0521.03052
The alternative set theory and its approach to Cantor’s set theory. (English) Zbl 0521.03039
Mathematics at the service of man, Proc. 2nd World Conf., Las Palmas/Spain 1982, 63-84 (1982).
Weakly Ramsey P points. (English) Zbl 0519.03057
On the complexity of models of arithmetic. (English) Zbl 0519.03056
MSC:
03H15
A note on initial segment constructions in recursively saturated models of arithmetic. (English) Zbl 0519.03055
MSC:
03H15
Analysis of subdifferentials with the aid of Boolean-valued models. (English. Russian original) Zbl 0518.46006
Sov. Math., Dokl. 26, 202-204 (1982); translation from Dokl. Akad. Nauk SSSR 265, 1061-1064 (1982).
Nonstandard models and constructivity. (English) Zbl 0518.03026
The L. E. J. Brouwer Centen. Symp., Proc. Conf., Noordwijkerhout/ Holl. 1981, Stud. Logic Found. Math. 110, 459-464 (1982).
On core structures for Peano arithmetic. (English) Zbl 0517.03030
Logic colloquium ’80, Eur. Summer Meet., Prague 1980, Stud. Logic Found. Math. 108, 311-314 (1982).
Non-standard models of Peano arithmetic. (English) Zbl 0514.03045
Logic and arithmetic, int. Symp., Zürich 1980, Monogr. L’Enseign. Math. 30, 275-295 (1982).
MSC:
03H15
Analyse non standard et théorie du moire. (French) Zbl 0511.03030
Actualites mathematiques, Actes 6e Congr. Group. Math. Expr. Latine, Luxembourg 1981, 189-195 (1982).
Optimal controls for partially observed stochastic systems using nonstandard analysis. (English) Zbl 0509.93066
Stochastic differential systems, Proc. 2nd Conf., Bad Honnef 1982, Lect. Notes Control Inf. Sci. 43, 276-284 (1982).
Perturbations singulieres des équations différentielles ordinaires et analyse non-standard. (French) Zbl 0508.03004
Semin. Bourbaki, 34e annee, Vol. 1981/82, Asterisque 92-93, 21-44 (1982).
On the construction and distribution of a local martingale with a given absolute value. (English) Zbl 0506.60043
\(\omega\)-Konservativität der Nonstandard Mengenlehre von Nelson bezüglich ZF+Kompaktheitssatz. (German) Zbl 0505.03030
Eidgenössische Technische Hochschule Zürich. 38 S. (1982).
A characterization of nonstandard liftings of measurable functions and stochastic processes. (English) Zbl 0504.60003
Back-and-forth inside a recursively saturated model of arithmetic. (English) Zbl 0503.03033
Logic colloquium ’80, Eur. Summer Meet., Prague 1980, Stud. Logic Found. Math. 108, 273-278 (1982).
Superreals and superfunctions. (English) Zbl 0499.26010
Investigation of recursiveness and arithmeticity of signature functions in nonstandard models of arithmetic. (English. Russian original) Zbl 0496.03047
Sov. Math., Dokl. 25, 249-253 (1982); translation from Dokl. Akad. Nauk SSSR 262, 1325-1328 (1982).
MSC:
03H15
The nonhomogeneity of the E-tree - answer to a problem raised by D. Jensen and A. Ehrenfeucht. (English) Zbl 0495.03048
Infinitesimal methods in measure theory, probability theory and stochastic analysis. (English) Zbl 0494.03052
Ideale Punkte, Monaden und Nichtstandard-Methoden. (German) Zbl 0487.03040
Braunschweig; Wiesbaden: Friedr. Vieweg & Sohn. VII, 264 S. DM 48.00 (1982).
Hilbert’s irreducibility theorem. (Der Hilbertsche Irreduzibilitätssatz.) (German) Zbl 0477.12029
Reviewer: Rainer Weissauer (Heidelberg)
A complete logic for reasoning about programs via nonstandard model theory. II. (English) Zbl 0475.68010
A complete logic for reasoning about programs via nonstandard model theory. I. (English) Zbl 0475.68009
Truth definitions for \(Delta_ 0\) formulae. (English) Zbl 0475.03033
Logic and algorithmic, int. Symp., Zürich 1980, Monogr. L’Enseign. Math. 30, 318-329 (1982).
Filter Results by …
Document Type
- Journal Articles (42)
- Collection Articles (14)
- Books (3)
all
top 5
Author
- Smoryński, Craig (5)
- Cutland, Nigel J. (3)
- Kusraev, Anatoliĭ Georgievich (3)
- McAloon, Kenneth (3)
- Paris, Jeffrey Bruce (3)
- Andréka, Hajnal (2)
- Hsu, Leetsch Charles (2)
- Kochen, Simon (2)
- Kripke, Saul A. (2)
- Németi, István (2)
- Sain, Ildikó (2)
- Simpson, Stephen G. (2)
- Sochor, Antonin (2)
- Tseng, Y. S. (2)
- Yuan, Shao Wen (2)
- Aczel, Peter (1)
- Anderson, Robert M. (1)
- Barendregt, Hendrik Pieter (1)
- Barwise, Kenneth Jon (1)
- Bayod, Jose Manuel (1)
- Buff, Hans Walter (1)
- Burgess, John P. (1)
- Carboni, Aurelio (1)
- Cartier, Pierre (1)
- Cegielski, Patrick (1)
- Čuda, Karel (1)
- Davis, Martin David (1)
- Devlin, Keith J. (1)
- Dimitracopoulos, Constantine (1)
- Dimitrova, Neli S. (1)
- Eklof, Paul C. (1)
- Enderton, Herbert B. (1)
- Feferman, Solomon (1)
- Fourman, Michael Paul (1)
- Friedman, Harvey M. (1)
- Harrington, Leo A. (1)
- Hatcher, William S. (1)
- Hoskins, R. F. (1)
- Jech, Thomas J. (1)
- Juhász, István (1)
- Kamae, Teturo (1)
- Kang, Tai (1)
- Kechris, Alexander S. (1)
- Keisler, Howard Jerome (1)
- Kirby, Laurence (1)
- Knight, Julia F. (1)
- Kock, Anders Jungersen (1)
- Kolata, Gina Bari (1)
- Kowalczyk, Wojciech (1)
- Kunen, Kenneth (1)
- Kutateladze, Semën Samsonovich (1)
- Levitz, Hilbert (1)
- Lindstrøm, Tom L. (1)
- Macintyre, Angus John (1)
- Makkai, Michael (1)
- Marker, David E. (1)
- Markov, Svetoslav Marinovich (1)
- Martin, Donald A. (1)
- Misercque, Didier (1)
- Morley, Michael Darwin (1)
- Moschovakis, Yiannis Nicholas (1)
- Nadel, Mark E. (1)
- Pabion, Jean-Francois (1)
- Perkins, Edwin A. (1)
- Rabin, Michael O. (1)
- Reeb, Georges H. (1)
- Reyes, Gonzalo E. (1)
- Richter, Michael M. (1)
- Röck, Hans (1)
- Rodenhausen, Hermann (1)
- Rogers, Leo (1)
- Rosen, Ned Ira (1)
- Rudin, Mary Ellen (1)
- Schwichtenberg, Helmut (1)
- Shönfield, Joseph R. (1)
- Shore, Richard Arnold (1)
- Sibley, Thomas Q. (1)
- Skala, Heinz J. (1)
- Statman, Richard (1)
- Stroyan, Keith D. (1)
- Troelstra, Anne Sjerp (1)
- Tsuboi, Akito (1)
- Tverskoj, A. A. (1)
- Wang, Jiwu (1)
- Weissauer, Rainer (1)
- Wilkie, Alex James (1)
- Wilmers, George (1)
- Zhang, Jinwen (1)
- Živaljević, Rade T. (1)
all
top 5
Serial
- J. Symb. Log. (4)
- Sov. Math., Dokl. (4)
- Trans. Am. Math. Soc. (4)
- Isr. J. Math. (2)
- Commentat. Math. Univ. Carol. (2)
- Proc. Am. Math. Soc. (2)
- Theor. Comput. Sci. (2)
- J. Math. Res. Expo. (2)
- Bull., Inst. Math. Appl. (2)
- God. Sofiĭ. Univ., Fak. Mat. Mekh. (2)
- Am. Math. Mon. (1)
- Int. J. Math. Educ. Sci. Technol. (1)
- Bull. Lond. Math. Soc. (1)
- J. Reine Angew. Math. (1)
- Notre Dame J. Formal Logic (1)
- Publ. Inst. Math., Nouv. Sér. (1)
- Rend. Ist. Mat. Univ. Trieste (1)
- Rev. Mat. Hisp.-Am., IV. Ser. (1)
- Tsukuba J. Math. (1)
- Z. Math. Logik Grundlagen Math. (1)
- Z. Wahrscheinlichkeitstheor. Verw. Geb. (1)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (1)
- Enseign. Math. (2) (1)
- Acta Math. Sci. (1)
- Stud. Logic Found. Math. (1)
- Science (1)