Sitemap

A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.

Pages

Posts

Future Blog Post

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

publications

talks

Characterizing Ahmad pairs in the local structure

Published:

A pair (A,B) of Σ2-sets forms an Ahmad pair if every set strictly below A is also below B. We give a characterization for when a set can be the left half of an Ahmad pair. We also introduce a hierarchy of Ahmad n-pairs in the local structure and characterize them using different notions of join irreducibility. The eventual goal is to come up with a property separating the two halves of an Ahmad pair. This is joint work with Joe Miller and Mariya Soskova

Separating the halves of an Ahmad pair

Published:

Incomparable Σ02 sets (A,B) form an Ahmad pair if every set strictly enumeration below A is also enumeration below B. Extending previous work, in this talk we will characterize the left halves of Ahmad pairs as precisely the low3 and join irreducible sets and show that the right halves cannot be low3 thereby giving a natural separation between the two halves. Slides

Download Slides

teaching

Grading Duties

UW-Madison

Grader for graduate logic classes MATH770 (Foundations of Math), MATH771 (Set Theory), MATH773 (Computability Theory) and undergraduate classes MATH522 (Analysis 2), MATH475 (Intro Combinatorics), MATH567 (Modern Number Theory)