MATH
Login Or Sign up

List Question

15
134
Views

Is it decidable if a finite set of equations have only trivial models?

Published on
#universal-algebra #decidability
78
Views

Are there any statements that are n-undecidable for all n?

Published on
#logic #infinity #philosophy #turing-machines #decidability
157
Views

Tietze transformations and the trivial group

Published on
#group-theory #combinatorial-group-theory #decidability
44
Views

Quantifier elimination for non-polynomial functions

Published on
#first-order-logic #automata #decidability #quantifier-elimination
45
Views

Definable classes of sentences despite Tarksi's Theorem

Published on
#logic #first-order-logic #decidability
163
Views

Are there any problems outside of the arithmatical hierarchy?

Published on
#computability #decidability
48
Views

Whether an FO(PFP) formula is totally defined is undecidable?

Published on
#logic #model-theory #decidability
39
Views

What Are the Smallest Totally Ordered Set and the Conditional Valuation Rule Needed for Intuitionistic Countermodels for Propositions in IPC?

Published on
#intuitionistic-logic #decidability
266
Views

How to prove a turing machine is decidable which accepts ⟨A, B⟩ | A and B are NFAs and L(A) ⊆ L(B).

Published on
#turing-machines #decidability
515
Views

Prove that there's no decidable language that separates two other languages.

Published on
#computer-science #computational-complexity #computability #turing-machines #decidability
63
Views

HexLife: Turing complete?

Published on
#turing-machines #decidability #cellular-automata
200
Views

Why is the post correspondence problem undecidable?

Published on
#turing-machines #decidability
83
Views

Why can't we devise a sufficiently simple mathematical system such that it is provably consistent?

Published on
#elementary-set-theory #axioms #decidability
226
Views

Is mate-in-$n$ problem for Trappist-1 undecidable?

Published on
#game-theory #combinatorial-game-theory #chessboard #decidability #infinite-games
137
Views

How to construct a semi-computable set?

Published on
#logic #set-theory #computability #decidability

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.