WorldCat Identities

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 about John T Baldwin
 
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. 15-19, 1985 by John T Baldwin( Book )

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 omega-stable 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 omega-stable theories. The connections of abstract stability theory with algebra particularly with the theory of modules are emphasized
Model-theoretic 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
Categoricity by John T Baldwin( Book )

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

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

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

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

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 space-wise 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 cell-network 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 cell-network 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
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

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
25th International Geological Congress by Robin Cooke( Book )

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

Cytogeography of Saururus Cernuus by John T Baldwin( Book )

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

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

Malabar Farm in Ohio by John T Baldwin( Book )

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.30 for BuckyWorks ... to 0.99 for An abbrevi ...)

Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
Alternative Names
Baldwin, J.

Baldwin, J. 1944-

Baldwin, J. (John), 1944-

Baldwin, J. T.

Baldwin, J. T. 1944-

Baldwin, J. T. (John T.)

Baldwin, John 1944-

Baldwin, John Theodore

Baldwin, John Theodore 1944-

Languages
English (78)

German (2)

Covers
CategoricityBuckyWorks : Buckminster Fuller's ideas for today