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 covalidity 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 cosatisfiable with $\alpha$ and one covalid, 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  SelfLearner 
Jun
14 
awarded  Yearling 
Jun
14 
awarded  Yearling 
Jun
14 
awarded  Benefactor 