154 reputation
6
bio website ochopatas.blogspot.com
location
age
visits member for 1 year, 10 months
seen Jan 19 at 22:59

Jan
19
accepted Boundary, unions and intersections
Jan
6
accepted Subbases and half-planes
Jan
6
asked Boundary, unions and intersections
Dec
20
asked Subbases and half-planes
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