85 reputation
5
bio website ochopatas.blogspot.com
location
age
visits member for 1 year, 4 months
seen Jun 2 at 1:07

Jul
2
awarded  Curious
Mar
3
comment Cauchy completion in ordinary category theory
You're right: $\bar{C}$ has a small skeleton...
Mar
2
revised Cauchy completion in ordinary category theory
deleted 7 characters in body
Mar
2
awarded  Editor
Mar
2
revised Cauchy completion in ordinary category theory
added 37 characters in body; edited title
Feb
28
asked Cauchy completion in ordinary category theory
Jan
9
asked Quantifier 'for some but not all'
Aug
3
asked Subadditivity inequality and power functions
May
15
accepted Appearance of sentence parameters in a theorem
May
15
comment Appearance of sentence parameters in a theorem
I think I should reformulate my question. Is it true that if $A$ is a formula in a Hilbert system $H$, then if $A$ is provable, it is always possible to find a proof $B_1,\ldots,B_n$ of $A$ in which all the sentence parameters being there are sentence parameters of $A$? If it's true, how to show it?
May
15
asked Appearance of sentence parameters in a theorem
Apr
27
comment Equivalence of two very specific propositional calculi
I would accept that way if it is not too long.
Apr
26
comment Equivalence of two very specific propositional calculi
'$\rightarrow .$' is an abbreviation that is expanded by replacing '$\rightarrow .$' by '$\rightarrow($' and matching the left parenthesis placed as far as possible to the right without going through a right parenthesis mated with a left parenthesis to the left of the occurrence of '$\rightarrow .$'. For example, P1 is '$(A\rightarrow (B\rightarrow A))$'. The outermost parentheses are dropped.
Apr
25
asked Equivalence of two very specific propositional calculi
Mar
28
awarded  Scholar
Mar
28
accepted Is it possible to define a ring as a category?
Mar
28
awarded  Supporter
Mar
28
awarded  Student
Mar
28
asked Is it possible to define a ring as a category?