Concepedia

John T. Baldwin

JT

45

Publications

1.3K

Citations

21

H-Index

1959

Active since

Affiliations

University of Illinois Chicago(Current)

Hebrew University of Jerusalem

University of Maryland, College Park

Michigan State University

University of Michigan

John T. Baldwin is an author at University of Illinois Chicago specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsEntropySemanticsStabilityProbabilityDiscrete MathematicsRepresentation TheoryMathematical Programming

Publications per year

1959–2017

45

Publications

45

On strongly minimal sets

John T. Baldwin, A. H. Lachlan · Journal of Symbolic Logic · 1971 · 217 citations

Principal Extension, Extremal Set Theory, Model Theory +6

Logical stability in group theory

John T. Baldwin, Jan Saxl · Journal of the Australian Mathematical Society · 1976 · 92 citations · Full text

Logical Stability, Various Groups, Coxeter Group +6

Stable generic structures

John T. Baldwin, Niandong Shi · Annals of Pure and Applied Logic · 1996 · 76 citations

Generic Programming, Type Theory, Formal Methods +2

Second-order quantifiers and the complexity of theories.

John T. Baldwin, Saharon Shelah · Notre Dame Journal of Formal Logic · 1985 · 68 citations · Full text

The number of subdirectly irreducible algebras in a variety

John T. Baldwin, Joel Berman · Algebra Universalis · 1975 · 58 citations

Irreducible Algebras, Algebraic Structure, Representation Theory +2

Rows per page

1–5 of 45