321 reputation
19
bio website
location
age
visits member for 2 years, 3 months
seen Jul 22 at 18:22

Apr
11
comment A characterization of recursive functions via arithmetical formulas
OK, I misunderstood something but your comment helped me to grasp the idea. Thanks a lot :)
Apr
11
accepted A characterization of recursive functions via arithmetical formulas
Apr
7
awarded  Commentator
Apr
7
comment A characterization of recursive functions via arithmetical formulas
I do not understand one thing. Could you explain a case when you hit $a_1,\ldots,a_n,b$ such that $f(a_1,\ldots,a_n)\neq b$? Why the procedure will terminate?
Apr
7
asked A characterization of recursive functions via arithmetical formulas
Jan
26
accepted Can we find a formula defining a recursively enumerable set?
Jan
23
asked Can we find a formula defining a recursively enumerable set?
Oct
29
comment Topology question, very basic
Complexity of proof partially depends on what you start from. But you can show what you want without reference to points. Recall that A set $A$ is closed iff $\bar{A}=A$. Then use this and monotonicity of closure operation.
Oct
25
awarded  Yearling
Oct
25
comment Is every Boolean algebra a separative partial order?
Thanks a lot for a quick response!
Oct
25
accepted Is every Boolean algebra a separative partial order?
Oct
25
asked Is every Boolean algebra a separative partial order?
Oct
17
awarded  Scholar
Oct
17
accepted Some property of half-planes in Euclidean and non-Euclidean geometry
Oct
17
comment Some property of half-planes in Euclidean and non-Euclidean geometry
Thanks. This is exactly what I need.
Oct
16
comment Some property of half-planes in Euclidean and non-Euclidean geometry
There is nothing I do not like about hyperbolic plane. I was just wondering if there is some more elementary structure in which $(\ast)$ fails.
Oct
16
awarded  Student
Oct
16
comment Some property of half-planes in Euclidean and non-Euclidean geometry
$\wedge$ and $\vee$ are the standard logical operators of conjunction and disjunction. I added brackets to clarify the meaning.
Oct
16
revised Some property of half-planes in Euclidean and non-Euclidean geometry
added 8 characters in body
Oct
16
asked Some property of half-planes in Euclidean and non-Euclidean geometry