User Rachael Alvir - Mathematics Stack Exchange

Rachael Alvir

Member for 10 years, 5 months
Last seen more than a month ago

Waterloo, ON, CA

10 Answers

Score Activity Newest

3 votes

Accepted

Church's thesis for oracle computations

answered Mar 27, 2018 at 2:55

2 votes

Axiomatize purely transcendental field extension

answered Mar 17, 2018 at 23:41

1 vote

Category theory: Enough that polygonal diagrams commute

answered Jun 30, 2015 at 5:46

1 vote

Why does incompleteness not imply consistency?

answered Mar 10, 2018 at 23:06

1 vote

Precision on the Baire property

answered Mar 12, 2018 at 16:59

1 vote

Axiomatize purely transcendental field extension

answered Mar 17, 2018 at 21:53

0 votes

How do I prove that the (non)existence of an infinite descending chain is not expressible in first-order logic?

answered Mar 12, 2018 at 16:38

0 votes

Characterization of the First Order Theory of Ordered Abelian Groups via Quantifier Elimination

answered Feb 25, 2018 at 20:09

0 votes

Finitely generated substructures and model completions

answered Feb 25, 2018 at 20:53

0 votes

Names of minimal rank and minimal cardinality.

answered Feb 28, 2018 at 22:30