Levon Haykazyan

less info
meta site favicon meta user | stack exchange network profile network profile
1,992 reputation
412
bio website
location
age
visits member for 1 year, 11 months
seen 4 hours ago
stats profile views 232

59 Answers

newest activity votes
10
Proving a function is continuous for all real numbers
8
Is Entscheidungsproblem in Co-RE? And Proof if it is.
7
Symmetric, Transitive and reflexive
6
Truth and undecidability
6
Undecidability in ZFC of statements concerning logical validity
5
Research in plane geometry or euclidean geometry
5
Programming Logic: - Splitting up Tasks Between Threads
4
How many n-element subsets of real numbers are there
4
Second-order logic - monadic version and Henkin semantics
4
100 prisoners and a lightbulb
4
Is it always possible to convert a non-deterministic PDA to a deterministic one?
4
On the statement $Q=A \text{ is provable}$
4
Help me construct a transfinite bijective enumeration, with restrictions
3
Studying at home and finding good resources in Algebra
3
Provability becoming decidable in a larger system?
3
How to prove that the set of all countable ordinals, $\omega_1$, is uncountable / has the cardinality $\aleph_1$?
3
many valued logic question
3
Two Disjoint Compact sets
3
Notations of a indexed famliy and a set of mappings
3
Undecidable conjectures
3
First order logic and higher order logics?
2
Showing a model does not have a particular substructure and understanding satisfaction relations.
2
Sum over subsets
2
Does the closure of component set restricted to subspace equals to the closure of component set in the subspace?
2
How many maximal consistent sets are there on a $\mathscr{FOL}$
2
Prove that if $a\in [0,1]$, then $\lim\limits_{x \to a} f(x) =0$
2
Theories and models
2
Showing a set $\Sigma^0_n$ subset of $\mathbb{N}$ is $\Sigma^0_n$-complete
2
Completeness of Real Number Arithmetic?
2
Continuous extension of a uniformly continuous function from a dense subset.
1 2