Mathematics
user avatar
user avatar
user avatar
Rachael Alvir
  • Member for 8 years, 6 months
  • Last seen more than a month ago
  • University of Notre Dame, Portage Township, IN, United States
Profile Activity
Stats
336
reputation
2k
reached
10
answers
5
questions
Communities
About

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.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
View all tags
4
Score
8
Posts
53
Posts %
3
Score
4
Posts
27
Posts %
3
Score
2
Posts
13
Posts %
3
Score
2
Posts
13
Posts %
3
Score
2
Posts
13
Posts %
1
Score
3
Posts
20
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
3
Why is a cofinal set called "cofinal?"
Feb 6, 2021
answer
3
Church's thesis for oracle computations
Mar 27, 2018
answer
2
Axiomatize purely transcendental field extension
Mar 17, 2018
question
2
Defn of invariant SET under an equivalence relation?
Jun 10, 2015
question
2
What is so Basis-y about Basis Theorems?
Mar 26, 2018
answer
1
Why does incompleteness not imply consistency?
Mar 10, 2018
answer
1
Category theory: Enough that polygonal diagrams commute
Jun 30, 2015
question
1
Orders of Elements in Minimal Generating sets of Abelian p-Groups
Nov 18, 2013
answer
1
Precision on the Baire property
Mar 12, 2018
answer
1
Axiomatize purely transcendental field extension
Mar 17, 2018
Top network posts
View all network posts
6
Sharp Craig interpolation theorem for $L_{\omega_1 \omega}$

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.