Reputation
3,877
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
12 36
Newest
 Custodian
Impact
~50k people reached

  • 0 posts edited
  • 0 helpful flags
  • 273 votes cast
2d
reviewed Approve Hard maths on viXra?
Jan
27
comment Reference request: eliminating function symbols in predicate logic
The technique is there, yes, but this result understates the result in OP's question, since co-validity is not the same thing as being a conservative extension. And on its face this theorem finds for each formula $\alpha$ two different formulas: one co-satisfiable with $\alpha$ and one co-valid, while OP cites a uniform translation from sentences using the function to sentences not, with an axiom making the two provably equivalent. Probably Bell and Machover somewhere state OP's result as OP states it but this theorem is not it.
Nov
25
reviewed Approve Jensen formula in $\mathbb{C}^n$?
Nov
25
comment Proving moduli of uniform continuity in RCA_0
Oh yes, I see the need for Primitive recursive is not stated. The point is that I want to use this, eventually, in Exponential Function Arithmetic, where I am pretty sure it has not been much explored in print up to now. I hope to find published proofs for PRA that would easily admit exponential bounds. I expect that proofs for RCA$_0$ will generally in fact be primitive recursive.
Nov
25
comment Proving moduli of uniform continuity in RCA_0
Yes, this works as long as "computable" means primitive recursive computable. Your advice is that instead of looking for a reference that has already organized a lot of this, I should do it from scratch myself. You may be right. I do not think I misrepresented anything, though. I wrote of "suitable" moduli, and naturally you would expect these to be on closed bounded sets.
Nov
25
asked Proving moduli of uniform continuity in RCA_0
Oct
19
awarded  Custodian
Jul
5
revised Idea of using etale site
Added more on the relation to the Weil conjectures.
Jul
3
revised Idea of using etale site
Improved one imprecise informal piece of terminology.
Jul
3
comment Idea of using etale site
@wkf Yes Dalakov gives the original references. And they are very worth reading, as so often with Serre. I have not seem the Milne reference but of course I've read other things by him and I will look at that.
Jul
3
answered Idea of using etale site
Jun
26
awarded  Good Question
Jun
15
awarded  Inquisitive
Jun
15
awarded  Curious
Jun
14
awarded  Yearling
Jun
14
awarded  Critic
Jun
14
awarded  Self-Learner
Jun
14
awarded  Yearling
Jun
14
awarded  Yearling
Jun
14
awarded  Benefactor