Baldwin, John T. - Department of Mathematics, Statistics, and Computer Science, University of Illinois at Chicago

• Half-way round but still 40 days Being a sequel to the earlier epic: Around the world in 40 days. Also posted on this website.
• BEYOND FIRST ORDER LOGIC I John T. Baldwin
• Lecture 12: Excellence implies stability transfers John T. Baldwin
• TRANSFERING SATURATION, THE FINITE COVER PROPERTY, AND
• Constructing !stable Structures: Computing Rank
• M121 Fall 95 Exam I Sept. 15, 1995 Name (Print) SSN
• MATH 121 FINAL EXAM FALL 1996 The exam consists of 15 problems. Each problem is worth 12 points except for 2 (16
• Amalgamation, Absoluteness, and Categoricity John T. Baldwin
• Classification of ffiinvariant amalgamation classes Roman D. Aref'ev
• Math 121. Hour Test II 1. (15 points) a) Find remainder when 2x 3 \Gamma 3x 2 + 4x \Gamma 7 is divided by x \Gamma 2.
• John T. Baldwin October 12, 2005
• Generalized Quantifiers
• Math 503: 5th problem set John Baldwin
• [11] S. Shelah. Zeroone laws with probability varying with decaying dis tance. Shelah 467, 199x.
• Geometry and High School
• Mathematical modeling (October 5): MTHT 400 Methods of Teaching Secondary Mathematics I
• for a contradiction. This raises two questions. A positive answer to the first would show none
• On the classifiability of Cellular Automata John T. Baldwin \Lambda
• DOP and FCP in Generic Structures John T. Baldwin #
• VARIABLES: SYNTAX, SEMANTICS AND SITUATIONS JOHN T. BALDWIN
• Math 300 Writing for Mathematics Spring 2003 Proportionality
• This is part catalog and part encyclopedia. I have listed most of the papers written about the Hrushovski construction and some background material. I
• Integers and polynomials Homework due Sept. 28.
• Categoricity Asian Logic
• Considerations Semi-abelian
• Models in 1 John T. Baldwin
• Spectrum in Amalgamation
• Geometry and High School
• LOGIC ACROSS THE HIGH SCHOOL CURRICULUM JOHN T. BALDWIN
• M IS NOT MARY: VARIABLES FROM GRADE 3 TO 13 JOHN T. BALDWIN, HYUNG SOOK LEE, AND ALEXANDER RADOSAVLJEVIC
• P is not Pizza: Variables from grade 3 to 13 We expand the usual mathematical treatment of the syntax and semantics of variable to in-
• Beyond First Order Logic: From number of structures to structure of numbers
• Model Theory The impact on
• Model Theoretic Perspectives on the Philosophy of Mathematics John T. Baldwin
• The Monster Model John Baldwin
• Amalgamation, Absoluteness, and Categoricity John T. Baldwin
• The Stability spectrum for classes of atomic John T. Baldwin
• REVIEW OF THE BIRTH OF MODEL THEORY BY CALIXTO BADESA
• The amalgamation spectrum John T. Baldwin
• CAYLEY'S THEOREM FOR ORDERED GROUPS: O-MINIMALITY August 10, 2006
• The complex numbers and complex exponentiation
• THE METAMATHEMATICS OF RANDOM John T. Baldwin
• Nonsplitting extensions John T. Baldwin
• I. Lavrov and L. Maksimova. Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms.
• Fair, Accurate, and Accountable Voting Systems John Baldwin, Department of Mathematics, Statistics, and Computer
• Essay 3: Aluminum Crystal Task Math 300 Spring 2003 1
• Average Grain Intercept (AGI) Method The average grain intercept (AGI) method is a technique used to quantify the
• AGI vrs Average Area Math 300 Spring 2003 1
• Averaging Slopes It is 210 miles from Chicago to Ann Arbor. Frank doesn't want to pay a toll
• When are equations equivalent? John T. Baldwin
• The water in the wine John T. Baldwin
• Midterm Exam: MTHT 400 Methods of Teaching Secondary Mathematics
• Lecture 4: Categoricity implies Completeness John T. Baldwin
• Lecture 5: Abstract Elementary Classes John T. Baldwin
• Lecture 6.5 Saturation and homogeneity John T. Baldwin
• Lecture 7: Galois stability John T. Baldwin
• Lecture 8: Morley's method for Galois Types: Downward categoricity John T. Baldwin
• Lecture 10: Covers of the multiplicative group of C John T. Baldwin
• Lecture 11: Excellence implies Categoricity: A John T. Baldwin
• Eliminating Exchange John T. Baldwin
• This is page i Printer: Opaque this
• Notes on Quasiminimality and Excellence John T. Baldwin
• Math 300 Writing for Mathematics Comment Codes
• Essay 3: Aluminum Crystal Task Math 300 Spring 2003 1
• Internships Available Second Derivatives Hedge Fund Inc.
• Mathematic 300, Spring 2003 In Class Writing
• Math 300 Writing for Mathematics Spring 2003 Comments on first drafts: Essay 1
• Math 300 Writing for Mathematics Spring 2003 Definitions, Procedures, and Explanations
• This is part catalog and part encyclopedia. I have listed most of the papers written about the Hrushovski construction and some background material. I
• Perspectives Expansions
• Model Theory: The `relevant'
• First Order and Infinitary
• Necessity of the VWGCH ?
• Directions for Abstract Elementary Classes
• The Vaught Conjecture Do uncountable models count?
• A MODEL IN 2 John T. Baldwin
• An innovative rum/Algebra
• The Math Forum PEMDAS and FOIL
• Around the world in 40 days John T. Baldwin
• Trigonometry Scoring: 3 points for each part of 1), 2 points for each of 3,4,5.
• Abstract Elementary Classes Abelian Groups
• Stability, the finite cover property and 01 laws John T. Baldwin \Lambda
• M121 Fall 95 Exam III Nov., 1995 J4 is the only new problem for test 3 so far.
• Proof. By Theorem 2.30 and the choice of K + 0 , every model of T ff is
• Finite and Infinite Model Theory A Historical Perspective
• Finite Model Theory, Spring 1997 Assignment 2. Due approximately Feb.24
• Constructing !stable Structures: Rank 2 Fields John T. Baldwin
• Model Theory: Infinitary Model Theory
• Generalized Quantifiers, Infinitary Logics, and Abstract Elementary Classes
• Lecture 3: Abstract Quasiminimality John T. Baldwin
• WHAT IS AN EXTENSION AXIOM? John T. Baldwin
• Stephen Wolfram. A New Kind of Science. Wolfram Media, Inc., Champaign, IL, 2002, xiv + 1197 pp.
• Forking and Multiplicity in First Order Theories John T. Baldwin
• STABILITY AND EMBEDDED FINITE John T. Baldwin
• STABLE AMALGAMATION John T. Baldwin
• Stable Generic Structures John T. Baldwin
• eral mathematicians have consulted during the summer with the teachers of the juniorsenior level course (the only one taught at the university rather
• Abstract Elementary Classes: Some Answers, More Questions
• An American Example of High SchoolUniversity Cooperation \Lambda
• MATH 121 EXAM III FALL 1996 Show all your work to obtain credit for the problems.
• FORKING AND MULTIPLICITY IN FIRST ORDER THEORIES
• Expansions of Models Predicates and Automorphisms
• 0.2 Definition. 1. The language L is decided by machine M in time f(n) if for every input string w, hS; I; wi M
• Problems on `Pathological' Structures John T. Baldwin \Lambda
• Math 512: Finite Model Theory February 27, 1997
• Encouraging cooperative solution of mathematics problems
• VOCABULARY CONCERNS IN THE MASTERY OF MATHEMATICS: COLLEGE ALGEBRA
• Math 300 Writing for Mathematics Spring 2003 Mathematics for Essay 2
• BEYOND FIRST ORDER LOGIC II John T. Baldwin
• Constructing #stable Structures: Rank kfields
• THEORIES IN FINITE MODEL John T. Baldwin
• Rank and Homogeneous Structures John T. Baldwin
• DOP and FCP in Generic Structures John T. Baldwin \Lambda
• Lecture 2: Combinatorial Geometries John T. Baldwin
• THE METAMATHEMATICS OF RANDOM John T. Baldwin
• MATH 121 SYLLABUS FALL 1997 Lecture Time Room Instructor Office Phone Call No.
• STABILITY AND EMBEDDED FINITE John T. Baldwin
• [Adl08] H. Adler. Introduction to theories without the independence prop-erty. preprint, 2008.
• Methods of Teaching Secondary Mathematics I John T. Baldwin
• Midterm Exam: MTHT 400 Methods of Teaching Secondary Mathematics
• A week in Tunisia November 20-28, 2006
• What is the type-space?
• Special Issue Winter 2006 The UIC Algebra Symposium
• Day 18 Plan (October 12): MTHT 400 Methods of Teaching Secondary Mathematics I
• Syllabus Mtht 400: Methods of Teaching Secondary Mathematics I
• AN INTRODUCTION TO EXCELLENT CLASSES OLIVIER LESSMANN
• CATEGORICITY AND U-RANK IN EXCELLENT CLASSES OLIVIER LESSMANN
• Computation versus Simulation Is `compute' a transitive or intransitive verb? That is, must one compute
• MATH 121 HOUR TEST I September 25,1996 Name (print)
• Perspectives Connections
• Categoricity John T. Baldwin, Department of Mathematics, Statistics
• M121 Fall 95 Exam I Sept. 15, 1995 Name (Print) SSN
• Math 503: Some open problems from FMT John Baldwin
• Math 300 Writing for Mathematics Spring 2003 Compton's encyclopedia
• Lecture 6: Galois types and saturation John T. Baldwin
• MATH 121 SAMPLE FINAL PARTIAL SOLUTIONS 12/4/1996 1. Set f(x) = x 4 + x 3 \Gamma 2x 2 \Gamma 4x \Gamma 8. The rational solutions to f(x) = 0 are
• i) P and Q partition the universe. ii) The symbols of L apply only to elements of P .
• Constructing !stable Structures: Rank 2 fields
• Why the weak GCH is true!
• Motivations and Directions
• Math 300 Writing for Mathematics Spring 2003 Comments on Job Applications
• Subsets of superstable structures are weakly benign Bektur Baizhanov
• Mathematics as language
• AGI vrs Average Area Math 300 Spring 2003 1
• Math 300, Spring 2003, Essay 2 Improper Integrals and sums of series
• from grade 3 Pizza problem
• Geometry and Proof John T. Baldwin
• Notes on Quasiminimality and Excellence John T. Baldwin
• Integers and polynomials Homework due Sept. 14.
• UPWARD STABILITY TRANSFER FOR TAME ABSTRACT ELEMENTARY CLASSES
• !stable fields with infinite definable subsets \Lambda John Baldwin
• [BH00][BH01][BH04] [Zil02] [Zil00] [CZ01] [BB00] [Poi83] [Bou89] [Pol05][Las] [Hol99] [Hol][Bal][Bal02][BH03] [Bal04][VZ05]
• Writing Exam Questions Nov. 17, 2005
• MCS 261, May 3, 2002 Name: There are nine (9) problems on this exam.
• Examples of Non-locality John T. Baldwin
• Local Homogeneity Bektur Baizhanov
• Lecture 1: Why and What August 26, 2003
• Final Exam: MTHT 400 Methods of Teaching Secondary Mathematics
• Math 300, Spring 2003 Writing for Mathematics Monday sections The Mathematics for Essay 1
• THEORIES IN FINITE MODEL THEORY
• STABLE AMALGAMATION John T. Baldwin
• Math 512: Finite Model Theory Complexity background
• M121 Fall 95 Exam I Sept. 15, 1* Name (Print) _________________________________________SSN: ____________________*
• Math 512: Finite Model Theory k-variable logic
• MATH 121 HOUR TEST I September 25,1996 Name (print) _________________________________________
• Finite and Infinite Model Theory A Historical Perspective
• M121 Fall 95 Exam III Nov., 1995 J4 is the only new problem for test 3 so far. *
• MATH 121 EXAM III FALL 1996 Show all your work to obtain credit for the problems.
• Math 512: Finite Model Theory RPC and r.e. February 3, 1997
• MATH 121 FINAL EXAM FALL 1996 Name:_________________________________________________SSN:_____________________*
• Math 512: Finite Model Theory Ptime = Fixed point axiomatizable
• AMALGAMATION PROPERTIES AND FINITE MODELS IN Ln-THEORIES
• MATH 121 SAMPLE FINAL PARTIAL SOLUTIONS 12/4/1996 D. Radford
• Finite Model Theory, Spring 1997 Assignment 2. Due approximately Feb.24
• MATH 121 SYLLABUS FALL 1997 Lecture Time Room Instructor Office Phone Call No.
• Math 512: Finite Model Theory John Baldwin
• Math 502: SUBSTITUTION John Baldwin
• Three Mathematical Cultures John T. Baldwin
• M121 Fall 95 Exam I Sept. 15, 1995 Name (Print) SSN
• Math 300 Writing for Mathematics Spring 2003 Short Writing Exercise 1
• What is a minus sign anyway? John Baldwin
• EM Models and Downward Categoricity Transfer John T. Baldwin
• The Vaught Conjecture Do uncountable models count?
• AMALGAMATION PROPERTIES AND FINITE MODELS IN L n THEORIES
• Notes on the philosophy of mathematics John T. Baldwin
• Logic Publications of John T. Baldwin Department of Mathematics, Statistics and Computer Science (M/C 249)
• INFINITISTIC METHODS AND FINITE MODELS
• Model Companions of T Aut for stable T John T. Baldwin #
• Expansions of Geometries John T. Baldwin #
• UNCOUNTABLE CATEGORICITY OF LOCAL ABSTRACT ELEMENTARY CLASSES WITH AMALGAMATION
• Math 300, Spring 2003, J. Baldwin Some writing and mathematic exercises
• Math 300, Spring 2003, J. Baldwin General Comments on Essay 2
• Morley's Proof Mathematical
• Math 512: Finite Model Theory k-variable logic
• Constructing !-stable Structures: Computing Rank
• Rank and Homogeneous Structures John T. Baldwin
• Constructing !-stable Structures: Rank 2 fields
• Math 512: Finite Model Theory 1
• Math 512: Finite Model Theory Games
• Computation versus Simulation Is `compute' a transitive or intransitive verb? That is, must one compute
• Stability, the finite cover property and 0-1 laws John T. Baldwin *
• Expansions of Geometries John T. Baldwin *
• Forking and Multiplicity in First Order Theories John T. Baldwin
• Math 512: Finite Model Theory 0-1 Laws
• Constructing !-stable Structures: Rank 2 fields
• Constructing -stable Structures: Model Completeness
• THEORIES IN FINITE MODEL John T. Baldwin
• Math 512: Finite Model Theory Monadic \Sigma 1
• Stability theory, Permutations of Indiscernibles, and Embedded Finite Models \Lambda
• Finite and Infinite Model Theory A Historical Perspective
• MODEL THEORY: FINITE, COUNTABLE, UNCOUNTABLE
• Homogeneity and Saturation John T. Baldwin
• Perspectives Model Theory
• What is the type-space?
• Russell's Paradox John T. Baldwin and Olivier Lessmann
• Constructing !stable Structures: Rank 2 fields
• STABLE AMALGAMATION John T. Baldwin
• Classes 2007 Connections
• Model Theoretic Perspectives on the Philosophy of Mathematics John T. Baldwin
• Contemporary Mathematics Ehrenfeucht-Mostowski models in Abstract Elementary
• Assignments Mtht 400: Methods of Teaching Secondary Mathematics I
• Model Companions of TAut for stable T John T. Baldwin *
• M121 Fall 95 Exam I Sept. 15, 1* Name (Print) _________________________________________SSN: ____________________*
• Subsets of superstable structures are weakly benign Bektur Baizhanov
• Math 121. Hour Test II 10/23/1996
• Constructing !-stable Structures: Model Completeness
• Constructing !-stable Structures: Rank k-fields
• Stability theory, Permutations of Indiscernibles, and Embedded Finite Models*
• M121 Fall 95 Exam I Sept. 15, 1* Name (Print) _________________________________________SSN: ____________________*
• Math 512: Finite Model Theory Fixed Point logics
• Math 512: Finite Model Theory Generalized Quantifiers
• A Hanf number for saturation and omission John T. Baldwin
• Bulletin of the Iranian Mathematical Society Vol. XX No. X (201X), pp XX-XX. BEYOND FIRST ORDER LOGIC: FROM NUMBER OF
• Iterated elementary embeddings and the model theory of infinitary logic
• Bulletin of the Iranian Mathematical Society Vol. XX No. X (201X), pp XX-XX. BEYOND FIRST ORDER LOGIC: FROM NUMBER OF
• Formalization, Primitive Concepts, and Purity John T. Baldwin
• Almost Galois -Stable classes John T. Baldwin
• Absoluteness Complexity of
• Iterated elementary embeddings and the model theory of infinitary logic
• Calculating Hanf Numbers
• model theory Boston 2012
• Geometry and Categoricity