110 reputation
6
bio website ochopatas.blogspot.com
location
age
visits member for 1 year, 8 months
seen Nov 27 at 2:12

Nov
27
accepted Idempotents in $\mathbf{CRing}$
Oct
29
asked Idempotents in $\mathbf{CRing}$
Sep
19
awarded  Tumbleweed
Sep
12
asked Endofunctors on Cat preserving reflexive coequalizers
Aug
9
asked Map of monads and left adjoints
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