ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Sergio Fajardo and H. Jerome Keisler . Model theory of stochastic processes, Lecture Notes in Logic, vol. 14. Association for Symbolic Logic, A K Peters, Ltd., Natick, Massachusetts, 2002, xii + 136 pp.
Bulletin of Symbolic Logic
◽
10.1017/s1079898600004194
◽
2004
◽
Vol 10
(1)
◽
pp. 110-112
Author(s):
Alasdair Urquhart
Keyword(s):
Stochastic Processes
◽
Model Theory
◽
Symbolic Logic
◽
Lecture Notes
Download Full-text
Related Documents
Cited By
References
Jon Barwise and John Schlipf. On recursively saturated models of arithmetic. Model theory and algebra, A memorial tribute to Abraham Robinson, edited by D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 42–55. - Patrick Cegielski, Kenneth McAloon, and George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 57–68. - Julia F. Knight. Theories whose resplendent models are homogeneous. Israel journal of mathematics, vol. 42 (1982), pp. 151–161. - Julia Knight and Mark Nadel. Expansions of models and Turing degrees. The journal of symbolic logic, vol. 47 (1982), pp. 587–604. - Julia Knight and Mark Nadel. Models of arithmetic and closed ideals. The journal of symbolic logic, vol. 47 no. 4 (for 1982, pub. 1983), pp. 833–840. - Henryk Kotlarski. On elementary cuts in models of arithmetic. Fundamenta mathematicae, vol. 115 (1983), pp. 27–31. - H. Kotlarski, S. Krajewski, and A. H. Lachlan. Construction of satisfaction classes for nonstandard models. Canadian mathematical bulletin—Bulletin canadien de mathématiques, vol. 24 (1981), pp. 283–293. - A. H. Lachlan. Full satisfaction classes and recursive saturation. Canadian mathematical bulletin—Bulletin canadien de mathématiques, pp. 295–297. - Leonard Lipshitz and Mark Nadel. The additive structure of models of arithmetic. Proceedings of the American Mathematical Society, vol. 68 (1978), pp. 331–336. - Mark Nadel. On a problem of MacDowell and Specker. The journal of symbolic logic, vol. 45 (1980), pp. 612–622. - C. Smoryński. Back-and-forth inside a recursively saturated model of arithmetic. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 273–278. - C. Smoryński and J. Stavi. Cofinal extension preserves recursive saturation. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7,1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 338–345. - George Wilmers. Minimally saturated models. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 370–380.
Journal of Symbolic Logic
◽
10.2307/2273884
◽
1987
◽
Vol 52
(1)
◽
pp. 279-284
Author(s):
J.-P. Ressayre
Keyword(s):
New York
◽
Model Theory
◽
Foundations Of Mathematics
◽
Symbolic Logic
◽
Recursive Saturation
◽
North Holland Publishing
◽
Lecture Notes
◽
Recursively Saturated
◽
Satisfaction Classes
◽
Models Of Arithmetic
Download Full-text
MODEL THEORY OF STOCHASTIC PROCESSES (Lecture Notes in Logic 14) By SERGIO FAJARDO and H. JEROME KEISLER: 136 pp., US$70.00/US$32.00(P), ISBN 1-56881-167-5/1-56881-172-1(P) (A. K. Peters Ltd., 2002).
Bulletin of the London Mathematical Society
◽
10.1112/s0024609303213011
◽
2004
◽
Vol 36
(02)
◽
pp. 281-282
Author(s):
TOM LINDSTRØM
Keyword(s):
Stochastic Processes
◽
Model Theory
◽
Lecture Notes
Download Full-text
Angus Macintyre. Ramsey quantifiers in arithmetic. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 186–210. - James H. Schmerl and Stephen G. Simpson. On the role of Ramsey quantifiers in first order arithmetic. The journal of symbolic logic, vol. 47 (1982), pp. 423–435. - Carl Morgenstern. On generalized quantifiers in arithmetic. The journal of symbolic logic, vol. 47 (1982), pp. 187–190.
Journal of Symbolic Logic
◽
10.2307/2273997
◽
1985
◽
Vol 50
(4)
◽
pp. 1078-1079
Author(s):
L. A. S. Kirby
Keyword(s):
New York
◽
Model Theory
◽
Symbolic Logic
◽
Generalized Quantifiers
◽
First Order
◽
Lecture Notes
◽
Order Arithmetic
Download Full-text
Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of quantifiers in algebraic structures. Advances in mathematics, vol. 47 (1983), pp. 74–87. - L. P. D. van den Dries. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Proceedings of the American Mathematical Society, vol. 79 (1980), pp. 97–100. - Bruce I. Rose. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 (1978), pp. 92–112; Corrigendum, vol. 44 (1979), pp. 109–110. - Chantal Berline. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 (1978), vol. 46 (1981), pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 20–30. - Chantal Berline. Elimination of quantifiers for non semi-simple rings of characteristic p. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 10–19.
Journal of Symbolic Logic
◽
10.2307/2273998
◽
1985
◽
Vol 50
(4)
◽
pp. 1079-1080
Author(s):
Gregory L. Cherlin
Keyword(s):
New York
◽
Model Theory
◽
American Mathematical Society
◽
Quantifier Elimination
◽
Symbolic Logic
◽
Closed Field
◽
Characteristic P
◽
Lecture Notes
◽
Ordered Ring
◽
Elimination Problem
Download Full-text
Nonstandard methods and applications in mathematics, edited by Nigel J. Cutland, Mauro di Nasso and David A. Ross, Lecture Notes in Logic, vol. 25. Association for Symbolic Logic, A.K. Peters, Ltd. Wellesley, Massachusetts, 2006. x + 248 pp.
Bulletin of Symbolic Logic
◽
10.1017/s1079898600002146
◽
2007
◽
Vol 13
(3)
◽
pp. 372-374
Author(s):
Alasdair Urquhart
Keyword(s):
Symbolic Logic
◽
Lecture Notes
Download Full-text
K. Tent and M. Ziegler. A Course in Model Theory. Lecture Notes in Logic, vol. 40. Cambridge University Press, United Kingdom, 2012, x + 248 pp.
Bulletin of Symbolic Logic
◽
10.1017/bsl.2015.26
◽
2015
◽
Vol 21
(3)
◽
pp. 342-343
Author(s):
Bradd Hart
Keyword(s):
United Kingdom
◽
Model Theory
◽
Cambridge University
◽
Lecture Notes
Download Full-text
FROM PERMUTATION GROUPS TO MODEL THEORY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Edinburgh, UK September 17–21, 2018
Bulletin of Symbolic Logic
◽
10.1017/bsl.2019.26
◽
2019
◽
Vol 25
(03)
◽
pp. 413
Keyword(s):
Model Theory
◽
Permutation Groups
◽
Symbolic Logic
Download Full-text
Baker, Ch. R. (ed.), Stochastic Processes in Underwater Acoustics. Berlin etc., Springer-Verlag 1986. V, 205 S., DM41,–. ISBN 3-540-16869-9 (Lecture Notes in Control and Information Sciences 85)
ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik
◽
10.1002/zamm.19870671103
◽
1987
◽
Vol 67
(11)
◽
pp. 536-536
Author(s):
C. Lange
Keyword(s):
Stochastic Processes
◽
Underwater Acoustics
◽
Lecture Notes
◽
Information Sciences
Download Full-text
Peter Roquette. Nonstandard aspects of Hilbert's irreducibility theorem. Model theory and algebra, A memorial tribute to Abraham Robinson, edited by D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 231–275.
Journal of Symbolic Logic
◽
10.2307/2273850
◽
1987
◽
Vol 52
(4)
◽
pp. 1056-1056
Author(s):
Alexander Prestel
Keyword(s):
New York
◽
Model Theory
◽
Lecture Notes
◽
And Algebra
Download Full-text
L. Beklemishev. Another pathological well-ordering. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 105–108.
Bulletin of Symbolic Logic
◽
10.2307/2687804
◽
2001
◽
Vol 7
(4)
◽
pp. 534-534
Author(s):
G. Mints
Keyword(s):
Czech Republic
◽
Symbolic Logic
◽
Lecture Notes
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close