Baldwin, John T.
Overview
Works:  52 works in 115 publications in 2 languages and 1,431 library holdings 

Genres:  Biography Conference papers and proceedings 
Roles:  Author, Editor, Other, 958 
Classifications:  TA140.F9, 620.0092 
Publication Timeline
.
Most widely held works by
John T Baldwin
Classification theory : proceedings of the U.S.Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec.
1519, 1985 by
John T Baldwin(
Book
)
21 editions published in 1987 in English and German and held by 408 WorldCat member libraries worldwide
21 editions published in 1987 in English and German and held by 408 WorldCat member libraries worldwide
Fundamentals of stability theory by
John T Baldwin(
Book
)
14 editions published between 1987 and 2017 in English and German and held by 301 WorldCat member libraries worldwide
This new volume of the Ûseries is written as an introduction to first order stability theory. It is organized around the the spectrum problem: calculate the number of models a first order theory T has in each uncountable cardinal. To solve this problem a generalization of the notion of algebraic independence "nonforking" was developed. In this text the abstract properties of this relation (in contrast to other books which begin with the technical description). The important notions of orthogonality and regularity are carefully developed: this machinery is then applied to the spectrum problem. Complete proofs of the Vaught conjecture for omegastable theories are presented here for the first time in book form. Considerable effort has been made by the author to provide much needed examples. In particular, the book contains the first publication of Shelah's infamous example showing the necessity of his methods to solve Vaught's conjecture for omegastable theories. The connections of abstract stability theory with algebra particularly with the theory of modules are emphasized
14 editions published between 1987 and 2017 in English and German and held by 301 WorldCat member libraries worldwide
This new volume of the Ûseries is written as an introduction to first order stability theory. It is organized around the the spectrum problem: calculate the number of models a first order theory T has in each uncountable cardinal. To solve this problem a generalization of the notion of algebraic independence "nonforking" was developed. In this text the abstract properties of this relation (in contrast to other books which begin with the technical description). The important notions of orthogonality and regularity are carefully developed: this machinery is then applied to the spectrum problem. Complete proofs of the Vaught conjecture for omegastable theories are presented here for the first time in book form. Considerable effort has been made by the author to provide much needed examples. In particular, the book contains the first publication of Shelah's infamous example showing the necessity of his methods to solve Vaught's conjecture for omegastable theories. The connections of abstract stability theory with algebra particularly with the theory of modules are emphasized
Modeltheoretic logics by
Jon Barwise(
Book
)
6 editions published in 1985 in English and held by 287 WorldCat member libraries worldwide
This book brings together several directions of work in model theory between the late 1950s and early 1980s
6 editions published in 1985 in English and held by 287 WorldCat member libraries worldwide
This book brings together several directions of work in model theory between the late 1950s and early 1980s
Categoricity by
John T Baldwin(
Book
)
11 editions published in 2009 in English and held by 162 WorldCat member libraries worldwide
11 editions published in 2009 in English and held by 162 WorldCat member libraries worldwide
Recent volcanoes and mineralization in Papua New Guinea by
Robin Cooke(
Book
)
4 editions published in 1976 in English and held by 16 WorldCat member libraries worldwide
4 editions published in 1976 in English and held by 16 WorldCat member libraries worldwide
Countable theories categorical in uncountable power by
John T Baldwin(
Book
)
3 editions published between 1970 and 1971 in English and held by 4 WorldCat member libraries worldwide
3 editions published between 1970 and 1971 in English and held by 4 WorldCat member libraries worldwide
8th Workshop on Logic, Language, Informations and Computation, WoLLIC'2001 : Brasília, July 31  August 3,2001, Universidade
de Brasília by
Language, Informations and Computation <8, 2001, Brasília> Workshop on Logic(
Book
)
2 editions published in 2003 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 2003 in English and held by 3 WorldCat member libraries worldwide
Eriocaulaceae and Xyridaceae in Liberia by
R. D Meikle(
Book
)
3 editions published in 1952 in English and held by 3 WorldCat member libraries worldwide
3 editions published in 1952 in English and held by 3 WorldCat member libraries worldwide
Optimal control profile specification for boundary value systems by
John T Baldwin(
Book
)
2 editions published in 1969 in English and held by 2 WorldCat member libraries worldwide
The specification of the spacewise control profile to maximize a performance index for a distributed second order system with boundary conditions is achieved by reduction to a first order system with inequality constraints as terminal conditions and the application of a maximum principle formulation. Computation of the temperature profile to maximize intermediate product yield in a reactor with axial mixing is illustrated. Modified methods based upon the gradient of the Hamiltonian have been found to be highly effective for making successive approximations to the control profile. (Author)
2 editions published in 1969 in English and held by 2 WorldCat member libraries worldwide
The specification of the spacewise control profile to maximize a performance index for a distributed second order system with boundary conditions is achieved by reduction to a first order system with inequality constraints as terminal conditions and the application of a maximum principle formulation. Computation of the temperature profile to maximize intermediate product yield in a reactor with axial mixing is illustrated. Modified methods based upon the gradient of the Hamiltonian have been found to be highly effective for making successive approximations to the control profile. (Author)
Optimal boundary control signal synthesis for the backflow cellnetwork model of a nonlinear heat exchange reactor with axial
mixing by
John T Baldwin(
Book
)
2 editions published in 1969 in English and held by 2 WorldCat member libraries worldwide
The backflow cellnetwork model in state and adjoint variables is employed to obtain estimates of the optimal control and response trajectories for a nonlinear parabolic distributed system. The process under study is that of a heat exchange chemical reactor with axial mixing. The use of feedback control to obtain the priming control trajectory is shown to be a most useful technique. Resetting gradient methods for maximizing the Hamiltonian are shown to be stable and give fast initial convergence. Estimates of the optimal conditions for the continuous system may be obtained by extrapolating the results for an increasing number of cells. (Author)
2 editions published in 1969 in English and held by 2 WorldCat member libraries worldwide
The backflow cellnetwork model in state and adjoint variables is employed to obtain estimates of the optimal control and response trajectories for a nonlinear parabolic distributed system. The process under study is that of a heat exchange chemical reactor with axial mixing. The use of feedback control to obtain the priming control trajectory is shown to be a most useful technique. Resetting gradient methods for maximizing the Hamiltonian are shown to be stable and give fast initial convergence. Estimates of the optimal conditions for the continuous system may be obtained by extrapolating the results for an increasing number of cells. (Author)
BuckyWorks : Buckminster Fuller's ideas for today by
J Baldwin(
Book
)
1 edition published in 1998 in English and held by 2 WorldCat member libraries worldwide
Photographs, illustrations, and text help chronicle the career of inventor R. Buckminster Fuller
1 edition published in 1998 in English and held by 2 WorldCat member libraries worldwide
Photographs, illustrations, and text help chronicle the career of inventor R. Buckminster Fuller
A Conspectus of the genus Cunuria by
John T Baldwin(
Book
)
2 editions published in 1947 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 1947 in English and held by 2 WorldCat member libraries worldwide
An abbreviated C++ code inspection checklist by
John T Baldwin(
Book
)
2 editions published in 1992 in English and held by 2 WorldCat member libraries worldwide
Variable declarations. Data usage. Initialization. Macros. Sizing of data. Dynamic allocation. Pointers. Casting. Computation. Conditionals. Flow control. Assignment. Argument passing. Return values. Function calls. Files. Error duo to implicit type conversions. Errors due to loss of "precision" in return values. Loop checklist
2 editions published in 1992 in English and held by 2 WorldCat member libraries worldwide
Variable declarations. Data usage. Initialization. Macros. Sizing of data. Dynamic allocation. Pointers. Casting. Computation. Conditionals. Flow control. Assignment. Argument passing. Return values. Function calls. Files. Error duo to implicit type conversions. Errors due to loss of "precision" in return values. Loop checklist
25th International Geological Congress by
Robin Cooke(
Book
)
1 edition published in 1976 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1976 in English and held by 2 WorldCat member libraries worldwide
Cytogeography of Physalis in West Africa by
John T Baldwin(
Book
)
1 edition published in 1951 in English and held by 1 WorldCat member library worldwide
1 edition published in 1951 in English and held by 1 WorldCat member library worldwide
Cytogeography of Saururus Cernuus by
John T Baldwin(
Book
)
1 edition published in 1949 in English and held by 1 WorldCat member library worldwide
1 edition published in 1949 in English and held by 1 WorldCat member library worldwide
Galax: The Genus and its Chromosomes by
John T Baldwin(
Book
)
1 edition published in 1941 in English and held by 1 WorldCat member library worldwide
1 edition published in 1941 in English and held by 1 WorldCat member library worldwide
Hybrid of Kalanchoë daigremontiana and K. verticillata by
John T Baldwin(
Book
)
1 edition published in 1949 in English and held by 1 WorldCat member library worldwide
1 edition published in 1949 in English and held by 1 WorldCat member library worldwide
Malabar Farm in Ohio by
John T Baldwin(
Book
)
1 edition published in 1946 in English and held by 1 WorldCat member library worldwide
1 edition published in 1946 in English and held by 1 WorldCat member library worldwide
Spiraea latifolia var. septentrionalis in Virginia by
John T Baldwin(
Book
)
1 edition published in 1946 in Undetermined and held by 1 WorldCat member library worldwide
1 edition published in 1946 in Undetermined and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Barwise, Jon
 Feferman, Solomon
 Cooke, R. J. S. Author
 Sprod, T. J
 U.S.Israel Workshop on Model Theory in Mathematical Logic
 Speese, Bernice M. Author
 US Israel Workshop on Model Theory in Mathematical Logic (1985, Chicago, Ill.)
 Durbin, L. D.
 Meikle, R. D. Author
 TEXAS A AND M UNIV COLLEGE STATION Dept. of CHEMICAL ENGINEERING
Associated Subjects
Architects Architecture, American Boundary value problems Canada Categories (Mathematics) College teachers Completeness theorem Copper ores Differentiable dynamical systems Differential equations, Parabolic Engineers Exponents (Algebra) Fuller, R. Buckminster(Richard Buckminster), Hevea Industrial design Inventions Inventors Logic, Symbolic and mathematical Mathematical optimization Mathematics Mines and mineral resources Model theory Nonlinear boundary value problems Papua New Guinea Piperales Research Rosaceae Scientists Stability United States Universities and collegesFaculty Volcanism Volcanoes