Question

Deciding wether a language is regular, in the arithmetic hierarchy

score 105 · Answer 1 · 2026-02-22 20:08:43

105

Views

Deciding wether a language is regular, in the arithmetic hierarchy

Published on 22 Feb 2026 - 20:08

score 42 · Answer 2 · 2026-02-22 20:08:43

42

Views

SAT preserving conversion of statement to existential one

Published on 22 Feb 2026 - 20:08

score 150 · Answer 3 · 2026-02-22 20:13:28

150

Views

The elementary theory of finite commutative rings

Published on 22 Feb 2026 - 20:13

score 252 · Answer 4 · 2026-02-22 20:13:29

252

Views

Is the sign of a real number decidable?

Published on 22 Feb 2026 - 20:13

score 102 · Answer 5 · 2026-02-22 20:09:56

102

Views

Relation between the monadic and two-variable fragment of first order logic

Published on 22 Feb 2026 - 20:09

score 106 · Answer 6 · 2026-02-22 20:10:37

106

Views

Literature about decidable and undecidable theories

Published on 22 Feb 2026 - 20:10

score 499 · Answer 7 · 2026-02-22 20:09:57

499

Views

Flaw in self-referential proof that all languages are undecidable

Published on 22 Feb 2026 - 20:09

score 791 · Answer 8 · 2026-02-22 20:13:22

791

Views

A recursively enumerable theory without a decidable set of axioms.

Published on 22 Feb 2026 - 20:13

score 189 · Answer 9 · 2026-02-22 20:08:21

189

Views

Proving decidability of $(\mathbb N, +)$ with Quantifier elimination and evaluating basic formulas

Published on 22 Feb 2026 - 20:08

score 776 · Answer 10 · 2026-02-22 20:14:26

776

Views

Showing that Presburger arithmetic is decidable by deciding if $\mathbb N \models \varphi$, but does it give provability in the axioms?

Published on 22 Feb 2026 - 20:14

score 219 · Answer 11 · 2026-02-22 21:54:15

219

Views

Turing machine - Reducible

Published on 22 Feb 2026 - 21:54

score 99 · Answer 12 · 2026-02-22 21:58:58

99

Views

Decidability/undecidability of the feasibility of optimization problems

Published on 22 Feb 2026 - 21:58

score 1k · Answer 13 · 2026-02-22 21:55:58

1k

Views

Classify language as decidable, undecidable but recognisable or unrecognizable

Published on 22 Feb 2026 - 21:55

score 408 · Answer 14 · 2026-02-22 21:55:07

408

Views

Is First Order Logic + Arithmetic semi-decidable?

Published on 22 Feb 2026 - 21:55

score 67 · Answer 15 · 2026-02-22 22:00:17

67

Views

Can the question whether $x^a+y^b+z^c=n$ has a solution over the integers be undecidable?

Published on 22 Feb 2026 - 22:00

List Question

Deciding wether a language is regular, in the arithmetic hierarchy

SAT preserving conversion of statement to existential one

The elementary theory of finite commutative rings

Is the sign of a real number decidable?

Relation between the monadic and two-variable fragment of first order logic

Literature about decidable and undecidable theories

Flaw in self-referential proof that all languages are undecidable

A recursively enumerable theory without a decidable set of axioms.

Proving decidability of $(\mathbb N, +)$ with Quantifier elimination and evaluating basic formulas

Showing that Presburger arithmetic is decidable by deciding if $\mathbb N \models \varphi$, but does it give provability in the axioms?

Turing machine - Reducible

Decidability/undecidability of the feasibility of optimization problems

Classify language as decidable, undecidable but recognisable or unrecognizable

Is First Order Logic + Arithmetic semi-decidable?

Can the question whether $x^a+y^b+z^c=n$ has a solution over the integers be undecidable?

Trending Questions

Popular # Hahtags

Popular Questions