Skip to main content

Stack Exchange

Nagase

Sao Paulo, Brazil

I'm a grad student at Universidade de São Paulo, Brazil. Currently, my research focus on the issue of logicality, i.e. how to find appropriate criteria to single out the set of logical constants.

top accounts reputation activity subscriptions
Top Questions
16 votes

Questions about Spivak's proof that $\sqrt{2} + \sqrt[3]{2}$ is irrational

linear-algebra polynomials irrational-numbers asked Jul 28, 2017 at 16:06
math.stackexchange.com

8 votes

Definitions of continuity pre-Dedekind

mathematics geometry asked Mar 10, 2018 at 0:26
hsm.stackexchange.com

8 votes

Problems with theoremref

cross-referencing theorems asked Jan 27, 2014 at 5:51
tex.stackexchange.com

8 votes

Understanding convergence in the space of complete theories

logic first-order-logic model-theory asked Sep 23, 2018 at 11:48
math.stackexchange.com

7 votes

Constructing a computably infinite tree with no computable infinite branches using PA

logic computability trees asked Apr 20, 2016 at 20:19
math.stackexchange.com

6 votes

Finding $\sum\limits_{k=0}^n k$ using summation by parts

calculus summation asked Jul 6, 2015 at 2:00
math.stackexchange.com

6 votes

Finding $\sum\limits_{k=0}^n k^2$ using summation by parts

calculus summation asked Jul 6, 2015 at 21:01
math.stackexchange.com

6 votes

Proving that a propositional theory of any cardinality has an independent set of axioms

logic model-theory propositional-calculus asked Aug 30, 2014 at 6:06
math.stackexchange.com

6 votes

Recovering a structure from its automorphism group

logic model-theory asked Apr 30, 2017 at 15:05
math.stackexchange.com

5 votes

Question about the relation between ultraproducts and boolean algebras (Hodges's remark)

logic model-theory boolean-algebra asked Sep 9, 2018 at 17:45
math.stackexchange.com

1 2

Top Answers