6,684 reputation
11357
bio website
location
age
visits member for 3 years, 11 months
seen 9 hours ago
I'm a graduate student at UC Berkeley, studying mathematical logic. I'm especially interested in reverse mathematics and abstract model theory.

Jul
19
comment Direct sum of simple modules
Please do not ask homework questions here.
Jul
15
comment Dirichlet series over the rationals
This divergence is even more evident in your second formulation, where any infinite set of rationals bounded below (resp. bounded above) witnesses divergence.
Jul
13
answered How do we know if Vaught's Conjecture is Absolute?
Jul
12
accepted Question about “Coding the universe”
Jul
12
comment Question about “Coding the universe”
OK, this was easier than I thought. Thanks!
Jul
12
comment Question about “Coding the universe”
Quite right, fixed.
Jul
12
revised Question about “Coding the universe”
added 14 characters in body
Jul
11
asked Question about “Coding the universe”
Jul
6
comment One or two questions about so-called “absolute” set theories
I've never heard of this, and googling 'Takeuti "absolute theories"' yields no hits; could you give a citation?
Jul
3
comment Is anyone talking about partial interpretations of theories? (Edited)
I guess you're not just adding constant symbols, you're also restricting attention to models which omit certain types (e.g., field elements not named by a constant) - but that's still a natural thing to do.
Jul
2
comment Forcing, cuts, and Dedekind-finite cardinalities
Cool - looking forward to hearing about it!
Jul
2
asked Forcing, cuts, and Dedekind-finite cardinalities
Jul
2
awarded  Inquisitive
Jul
2
awarded  Curious
Jun
27
revised Inherent ambiguity of the context-sensitive language $L = {a^ib^ic^id^je^jf^j \bigcap a^ib^jc^id^je^if^j} $ or $a^nb^nc^nd^ne^nf^n$
added 4 characters in body
Jun
27
comment Inherent ambiguity of the context-sensitive language $L = {a^ib^ic^id^je^jf^j \bigcap a^ib^jc^id^je^if^j} $ or $a^nb^nc^nd^ne^nf^n$
@EmilJeřábek, that's a really good point that I wasn't aware of - that issue honestly didn't occur to me.
Jun
27
revised Inherent ambiguity of the context-sensitive language $L = {a^ib^ic^id^je^jf^j \bigcap a^ib^jc^id^je^if^j} $ or $a^nb^nc^nd^ne^nf^n$
added 245 characters in body
Jun
26
answered How necessary is Godel's Condensation Lemma
Jun
26
comment Inherent ambiguity of the context-sensitive language $L = {a^ib^ic^id^je^jf^j \bigcap a^ib^jc^id^je^if^j} $ or $a^nb^nc^nd^ne^nf^n$
OP, please let me know if the thesis I mention is not the one you are referring to.
Jun
26
answered Inherent ambiguity of the context-sensitive language $L = {a^ib^ic^id^je^jf^j \bigcap a^ib^jc^id^je^if^j} $ or $a^nb^nc^nd^ne^nf^n$