Karthik RavishankarMathematics · UW–Madison

SEMINARS & PRESENTATIONS

Talks.

Invited talks

The power of enumerations

Logic Seminar · University of Wisconsin–Madison

Enumerations and computing generics

Logic Seminar · Iowa State University

Slides (PDF)

Defining low3 and high2 in the Σ20 e-degrees

SEALS 2026 · University of Florida, Gainesville

Slides (PDF)

Enumeration degrees—local and global structure

Graduate Student Seminar · University of Illinois Chicago

Contrasting the halves of an Ahmad pair

Midwest Computability Seminar XXXV · University of Chicago

Separating the halves of an Ahmad pair

Logic Seminar · University of Wisconsin–Madison

Slides (PDF)

Characterizing Ahmad pairs in the local structure

Logic Seminar · University of Wisconsin–Madison

Other talks

Logic for the working mathematician

AMS Student Seminar (Donut Seminar) · University of Wisconsin–Madison

Genericity and randomness

Graduate Logic Seminar · University of Wisconsin–Madison

Ahmad pairs and the local structure of the e-degrees

ASL meeting · University of Pennsylvania

Slides (PDF)

Degree spectra of structures

Graduate Logic Seminar · University of Wisconsin–Madison

Characterizing Ahmad pairs in the Σ20 e-degrees

GSCL · Notre Dame

Strong minimal covers and the cupping property

Graduate Logic Seminar · University of Wisconsin–Madison

Incompleteness for the working mathematician

AMS Student Seminar · University of Wisconsin–Madison

Spectra of structures

IMS Graduate Summer School in Logic · National University of Singapore