Mathematics
Profile Activity
Network profile
326
reputation
1
6

Rachael Alvir

I am a student of Julia Knight's in Computable Structure Theory at the University of Notre Dame. I am attempting a joint PhD in both mathematical and philosophical logic.

10
answers
5
questions
~2k
people reached
  • University of Notre Dame, Portage Township, IN, United States
  • Member for 7 years, 7 months
  • 79 profile views
  • Last seen Feb 9 at 20:20

Communities (3)

Top network posts

We respect a laser-like focus on one topic.

Top tags (32)

Score 4
Posts 8
Posts % 53
Score 3
Posts 4
Score 3
Posts 2
Score 3
Posts 2
Score 3
Posts 2
Score 1
Posts 3
View all tags →

Top posts (15)

All Questions Answers
Votes Newest
3 Why is a cofinal set called “cofinal?” Feb 6
3 Church's thesis for oracle computations Mar 27 '18
2 Axiomatize purely transcendental field extension Mar 17 '18
2 What is so Basis-y about Basis Theorems? Mar 26 '18
1 Orders of Elements in Minimal Generating sets of Abelian p-Groups Nov 18 '13
1 Defn of invariant SET under an equivalence relation? Jun 10 '15
1 Category theory: Enough that polygonal diagrams commute Jun 30 '15
1 Why does incompleteness not imply consistency? Mar 10 '18
1 Precision on the Baire property Mar 12 '18
1 Axiomatize purely transcendental field extension Mar 17 '18
View all questions and answers →

Badges (7)

Gold

—

Silver

1

Rarest

Bronze

6

Rarest

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.