Filters








95,626 Hits in 8.6 sec

Saturation and stability in the theory of computation over the reals

Olivier Chapuis, Pascal Koiran
<span title="">1999</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bnojym2hjzcgnpa4wixi2axhnq" style="color: black;">Annals of Pure and Applied Logic</a> </i> &nbsp;
This paper was motivated by the following two questions which arise in the theory of complexity for computation over ordered rings in the now famous computational model introduced by Blum, Shub and Smale  ...  In the case of the reals with addition and order we obtain P-saturation (and a positive answer to question (ii)).  ...  Acknowledgements Felipe Cucker and Christian Michaux suggested many improvements in the presentation of this paper. Felipe Cucker also pointed out the strict inclusion PAR c WiEXp.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0168-0072(98)00060-8">doi:10.1016/s0168-0072(98)00060-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pzfhcw44lncdtgx2ackzstskwm">fatcat:pzfhcw44lncdtgx2ackzstskwm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705100732/https://www.lri.fr/%7Echapuis/publications/math/APAL99-sstcr.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7d/32/7d327a4e3512158f31ba9cd01a19db71b2fac5c6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0168-0072(98)00060-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Page 6062 of Mathematical Reviews Vol. , Issue 98I [page]

<span title="">1998</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
An im- mediate application of this result is the computation of transient stability regions for multimachine power systems and computation of stability regions of anti-windup controllers for systems subject  ...  Advances in nonlinear dynamics, 79-83, Stability Control Theory Methods Appl., 5, Gordon and Breach, Amsterdam, 1997.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1998-09_98i/page/6062" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1998-09_98i/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 6065 of Mathematical Reviews Vol. , Issue 2001I [page]

<span title="">2001</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
(RS-AOSSI; Novosibirsk) On the computability over models of decidable theories. (Russian.  ...  The authors also develop orthogonality calculus and study the class of s-saturated elementary submodels of M, where a model N is s-saturated if N realizes every complete type (already realized in M) over  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2001-09_2001i/page/6065" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2001-09_2001i/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Spectral Methods for Determining the Stability and Noise Performance of Passively Modelocked Lasers

Curtis R. Menyuk, Shaokang Wang
<span title="2016-01-01">2016</span> <i title="Walter de Gruyter GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/54xrqqfxuvg2zdfzxmd3huzqxm" style="color: black;">Nanophotonics</a> </i> &nbsp;
We review work that has been done on soliton lasers using soliton perturbation theory from this dynamical perspective, and we contrast the simplicity and generality of our methods to prior work.  ...  AbstractWe describe spectral or dynamical methods that can be used to determine the stability and noise performance of modelocked lasers.We first review methods that have been used to date to theoretically  ...  Part of the work of one of us (Curtis R. Menyuk) was completed while he was a guest at the Max-Planck Institute for the Physics of Light with support from Alexander von Humboldt Foundation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1515/nanoph-2016-0033">doi:10.1515/nanoph-2016-0033</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4vxwkzkb25h4hhttgemaermxl4">fatcat:4vxwkzkb25h4hhttgemaermxl4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160907025308/http://www.degruyter.com:80/downloadpdf/j/nanoph.2016.5.issue-2/nanoph-2016-0033/nanoph-2016-0033.xml" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/93/10/93109383dcf14e1d7db859e5a36b3b2f65932cc6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1515/nanoph-2016-0033"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> degruyter.com </button> </a>

Mathematical Problems for Complex Networks

Zidong Wang, Jinling Liang, Yurong Liu
<span title="">2012</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wpareqynwbgqdfodcyhh36aqaq" style="color: black;">Mathematical Problems in Engineering</a> </i> &nbsp;
Dynamic behaviors of complex networks, such as stability, periodic oscillation, bifurcation, or even chaos, are ubiquitous in the real world and often reconfigurable.  ...  Sophisticated computer system theories and computing algorithms have been exploited or emerged in the general area of computer mathematics, such as analysis of algorithms, artificial intelligence, automata  ...  We would like to acknowledge all authors for their efforts in submitting high-quality papers. We are also very grateful to the reviewers for their thorough and ontime reviews of the papers.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2012/934680">doi:10.1155/2012/934680</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kd3rfwztpzbv7bbzq3sqmkc3ci">fatcat:kd3rfwztpzbv7bbzq3sqmkc3ci</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811060545/http://bura.brunel.ac.uk/bitstream/2438/6897/2/Editorial.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6d/12/6d12892eedb68a9ac859d47fe6f4a054d9dc6ceb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2012/934680"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a>

Modulational stability of nonlinear saturated gravity waves [article]

Mark Schlutow
<span title="2019-04-01">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
It is demonstrated by analytic and numerical methods that Lindzen-type waves in the saturation region, i.e. where the wave-Reynolds number is of order unity, destabilize by transient perturbations.  ...  Implications of these results on the relation between mean-flow acceleration and wave breaking heights are discussed.  ...  Acknowledgments The author thanks Prof. Ulrich Achatz and Prof. Rupert Klein for many helpful discussions during the preparation of this article.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1904.00666v1">arXiv:1904.00666v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lnh3h6xdina3hjdihwa7wvyoia">fatcat:lnh3h6xdina3hjdihwa7wvyoia</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200908114640/https://arxiv.org/pdf/1904.00666v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/82/45/82459557cebb8d86b9b02e751d41b760036a5165.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1904.00666v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Experimental verification of soliton mode locking using only a slow saturable absorber

I. D. Jung, F. X. Kärtner, L. R. Brovelli, M. Kamp, U. Keller
<span title="1995-09-15">1995</span> <i title="The Optical Society"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tjz57sbghnbv7oxjartzii6rwu" style="color: black;">Optics Letters</a> </i> &nbsp;
We demonstrate experimentally that solid-state lasers with strong solitonlike pulse shaping can be mode locked by a slow saturable absorber only, i.e., the response time is much slower than the width of  ...  An extrapolation of this result would predict that an ഠ100-fs recovery time of a semiconductor absorber could support pulses into the 10-fs regime.  ...  The authors thank M. Moser of the Paul Scherrer Institute Zürich for supplying the AlAs͞AlGaAs Bragg mirrors and A. Braun for helping with the highdynamic-range autocorrelation measurements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1364/ol.20.001892">doi:10.1364/ol.20.001892</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/19862193">pmid:19862193</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5zxmjgcrtfbudl4ottxi6g4bxe">fatcat:5zxmjgcrtfbudl4ottxi6g4bxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070824131616/http://www.ulp.ethz.ch/publications/paper/1995-84/051__OL_20__1892__1995_.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/45/52/4552b43d43c08622b713f6a21eb4d00ae5113e7c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1364/ol.20.001892"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Page 5959 of Mathematical Reviews Vol. , Issue 2004h [page]

<span title="">2004</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
group of a non-algebraic component, the subgroup stabilizer of a point, and the subgroup of strong automorphisms in a trivial strongly minimal structure, and then gives some re- construction results for  ...  The author’s table of contents is as fol- lows: Elementary and atomic diagrams of prime, Saturated, and other countable models; Complexity of diagrams of models of arithmetic; Turing degrees of isomorphism  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2004-08_2004h/page/5959" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2004-08_2004h/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

System analysis via integral quadratic constraints

A. Megretski, A. Rantzer
<span title="">1997</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tiaci7xy45hczhz755zlpu5h7q" style="color: black;">IEEE Transactions on Automatic Control</a> </i> &nbsp;
A systematic computational approach is described, and relations to other methods of stability analysis are discussed.  ...  From an original idea by Yakubovich, the approach has been developed under a combination of influences from the Western and Russian traditions of control theory.  ...  ACKNOWLEDGMENT The authors are grateful to many people, in particular to K. J.Åström, J. C. Doyle, U. Jönsson, and V. A. Yakubovich for comments and suggestions about this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/9.587335">doi:10.1109/9.587335</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rdgesinfdvh37jsije7xgswzdm">fatcat:rdgesinfdvh37jsije7xgswzdm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100716024703/http://jagger.berkeley.edu/~pack/certify/sharedpapers/0819megr.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ed/14/ed1464d7793f4e3e9e88f21931d248da7134fc14.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/9.587335"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Adaptive Fuzzy Control Of Stewart Platform Under Actuator Saturation

Dongsu Wu, Hongbin Gu, Peng Li
<span title="2009-12-20">2009</span> <i title="Zenodo"> Zenodo </i> &nbsp;
It can ensure stability and tracking performance of controller in present of external disturbance and position only measurement. Simulation results verify the effectiveness of proposed control scheme.  ...  Meanwhile an additional action with respect to the difference between the nominal and modified trajectories is utilized in the non-saturated region of actuators to reduce the path error.  ...  It can ensure stability and tracking performances of the controller in present of external disturbance and position only measurement. II.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1079531">doi:10.5281/zenodo.1079531</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u2gtdkvscjhvngx3oeznytza7m">fatcat:u2gtdkvscjhvngx3oeznytza7m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200220104113/https://zenodo.org/record/1079532/files/12618.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9e/a0/9ea0ddafa3b0c3c9952ae0cefd43c72732ad4800.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1079531"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Analytical and numerical modeling of sandbanks dynamics

Déborah Idier
<span title="">2003</span> <i title="American Geophysical Union (AGU)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/viwewm24z5cejd4y2wp3derqvy" style="color: black;">Journal of Geophysical Research</a> </i> &nbsp;
In order to validate the numerical model in this linear regime, the growth rate and the phase celerity of an infinitesimal bottom perturbation are computed as a function of its wavevector.  ...  1] Linear and nonlinear behavior of large-scale underwater bedform patterns like sandbanks are studied using linear stability analysis and numerical modeling.  ...  The authors would like to thank S.J.M.H. Hulscher of the University of Twente for stimulating discussions and for providing the paper by Fluit and Hulscher [2002] prior to publication and V.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1029/2001jc001205">doi:10.1029/2001jc001205</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hwmpc3ykczgmlpfuqw6vaecyqi">fatcat:hwmpc3ykczgmlpfuqw6vaecyqi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722074511/https://ris.utwente.nl/ws/files/6624902/Idier03analytical.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b4/3b/b43b66023f1520438d4ffcbabbc795f1d74f568b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1029/2001jc001205"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Closed loop analysis of control command software

Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hvggws4aarca5da3cwlmumbtr4" style="color: black;">Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC &#39;15</a> </i> &nbsp;
The proposed approach focuses on the closed loop stability of discrete linear control systems with saturations, interacting with a discrete linear plant.  ...  We specifically address the automatic synthesis of such invariants and the treatment of floating-point imprecision.  ...  Stability as considered in control theory can be expressed in different manners.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2728606.2728623">doi:10.1145/2728606.2728623</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hybrid/RouxJG15.html">dblp:conf/hybrid/RouxJG15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zaudfxurorgq7nnvibrdcrdl4e">fatcat:zaudfxurorgq7nnvibrdcrdl4e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808014902/http://perso.ens-lyon.fr/pierre.roux/media/submission_hscc2015.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9a/03/9a0396c74aedcaa03e32f04c3011ee70d8559e7c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2728606.2728623"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

On the definition of "on-line" in job scheduling problems

Dror G. Feitelson, Ahuva W. Mu'alem
<span title="2005-03-01">2005</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vl3iv5wfbneltjzmeof4n5xqca" style="color: black;">ACM SIGACT News</a> </i> &nbsp;
The conventional model of on-line scheduling postulates that jobs have non-trivial release dates, and are not known in advance.  ...  We then give empirical and theoretical justifications that such a constraint can close the gap between the theory and practice.  ...  We make the observation that in real systems, and also in queueing models, a very important constraint does indeed exist: that the system not become saturated.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1052796.1052797">doi:10.1145/1052796.1052797</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f2iucbjeb5dm7n3hyty53zgove">fatcat:f2iucbjeb5dm7n3hyty53zgove</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070418021432/http://www.cs.huji.ac.il/~feit/papers/Online05SIGACT.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/f8/92f8f2e25bdb4ae8a7450aee11208a769d8ed5c8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1052796.1052797"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Page 3185 of Mathematical Reviews Vol. , Issue 2003e [page]

<span title="">2003</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
There is additional basic background in two appendices (on set theory, and on real algebra).  ...  Chapter 6 develops the theory of w-stability, with a treatment of strongly minimal sets leading to Morley’s theorem and the Baldwin-Lachlan theorem.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2003-05_2003e/page/3185" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2003-05_2003e/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 3915 of Mathematical Reviews Vol. , Issue 96g [page]

<span title="">1996</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
Summary: “A sufficient condition for the diagonalizability of com- plex matrices or matrices over N)-saturated fields is obtained by using nonstandard analysis and special models in model theory.”  ...  The author gives characterizations (in Corollary 9 and Lemma 10) of stable theories whose w -saturated models have a structure theorem of Shelah type (a tree decomposition), and applies these to the case  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1996-07_96g/page/3915" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1996-07_96g/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 95,626 results