333 reputation
110
bio website
location
age
visits member for 2 years, 4 months
seen Aug 12 at 12:14

Aug
8
awarded  Curious
Aug
7
accepted Existence of families of sets whose elements are incomparable in terms of $\in$
Aug
7
revised Existence of families of sets whose elements are incomparable in terms of $\in$
edited body
Aug
7
comment Existence of families of sets whose elements are incomparable in terms of $\in$
Right, corrected.
Aug
7
asked Existence of families of sets whose elements are incomparable in terms of $\in$
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.