Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Mathematics
Network profile
151
reputation
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
4
questions
~766
people reached
  • University of Notre Dame, Portage Township, IN, United States
  • Member for 5 years, 6 months
  • 41 profile views
  • Last seen May 12 at 18:28

Communities (3)

Top network posts

We respect a laser-like focus on one topic.

Top tags (30)

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

Top posts (14) All Questions Answers | Votes Newest

3 Church's thesis for oracle computations Mar 27 '18
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
1 Axiomatize purely transcendental field extension Mar 17 '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 What is so Basis-y about Basis Theorems? Mar 26 '18
0 Finitely presented groups which are neither Hopfian nor cohopfian Nov 3 '18
0 Category theory: Enough that polygonal diagrams commute Jun 30 '15
View all questions and answers →

Badges (6)

Gold

—

Silver

—

Bronze

6

Rarest