• Contact Info
Publications in VIVO
 

Kearnes, Keith A Professor

Positions

Research Areas research areas

Research

research overview

  • Dr. Kearnes' research interests include the classification of equational theories, structure theory for finite algebras, and applications of combinatorics and model theory to algebra.

keywords

  • associative algebras, commutative ring theory, finite group theory, universal algebra, lattice theory, model theory, combinatorics

Publications

selected publications

Teaching

courses taught

  • MATH 2001 - Introduction to Discrete Mathematics
    Primary Instructor - Spring 2019
    Introduces the ideas of rigor and proof through an examination of basic set theory, existential and universal quantifiers, elementary counting, discrete probability, and additional topics. Department enforced prerequisite: MATH 1300 or MATH 1310 or APPM 1345 or APPM 1350 (minimum grade C-).
  • MATH 3001 - Analysis 1
    Primary Instructor - Fall 2018 / Fall 2019
    Provides a rigorous treatment of the basic results from elementary Calculus. Topics include the topology of the real line, sequences of numbers, continuous functions, differentiable functions and the Riemann integral.
  • MATH 4730 - Set Theory
    Primary Instructor - Fall 2019
    Studies in detail the theory of cardinal and ordinal numbers, definition by recursion, the statement of the continuum hypothesis, simple cardinal arithmetic and other topics chosen by the instructor. Same as MATH 5730.
  • MATH 5730 - Set Theory
    Primary Instructor - Fall 2019
    Studies in detail the theory of cardinal and ordinal numbers, definition by recursion, the statement of the continuum hypothesis, simple cardinal arithmetic and other topics chosen by the instructor. Same as MATH 4730.
  • MATH 6000 - Model Theory
    Primary Instructor - Spring 2020
    Proves the compactness theorem, showing the essential finiteness of logical implication. Proves many basic properties of theories, showing how the syntactic form of statements influences their behavior w.r.t., different models. Finally, studies properties of elements that cannot be stated by a single formula (the type of the element) and shows it can be used to characterize certain models.
  • MATH 8714 - Topics in Logic 1 and 2
    Primary Instructor - Fall 2018

Background

International Activities

Other Profiles