Levon Haykazyan

less info

network profile

1,992 reputation

412

bio	website
	location
	age
visits	member for	1 year, 11 months
	seen	yesterday
stats	profile views	232

summary answers questions tags badges favorites bounties reputation activity

59 Answers

votes activity newest

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

view more

1,992 Reputation

+10	Truth and undecidability
+10	Second-order logic - monadic version and Henkin semantics
+2	Non-Archimedan Groups
+15	Proof of Robinson's test

view more

5 Questions

votes activity newest

7	Complexity of the set of computable ordinals
4	A technique for deciding satisfiability in fragments of first-order logic
3	Number of non-isomorphic subgroups of $p$-adic integers.
1	Equivalence to a universal formula
0	Discontinuity of a semialgebraic function

50 Tags

61 logic × 32	14 elementary-set-theory × 7
17 homework × 5	12 set-theory × 6
16 computability × 7	10 model-theory × 8
16 computer-science × 4	7 cardinals × 2
15 calculus × 3	7 relations

view more

5 Accounts

$Mathematics Stack Exchange$	Mathematics	1,992 rep	412
	Unix & Linux	146 rep	1
	Stack Overflow	126 rep	4
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	108 rep	3
	Ask Ubuntu	101 rep	1

15 Badges

recent class name

Caucus × 2	Enlightened
Critic	Organizer
Constituent	Scholar
Yearling	Student
Nice Answer	Enthusiast

view more

0 Active bounties

active offered earned

This user has no active bounties

98 Votes Cast

all time			by type			month
96	up		21	question		1
2	down		77	answer		1

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.24.702