Pages that link to "Item:Q1906521"

The following pages link to Undecidable fragments of elementary theories (Q1906521):

Displaying 25 items.

• On decidability of the decomposability problem for finite theories (Q630293) (← links)
• Computably enumerable sets and related issues (Q695800) (← links)
• Complexity of the isomorphism problem for computable free projective planes of finite rank (Q721371) (← links)
• Preserving categoricity and complexity of relations (Q887644) (← links)
• Undecidability of the theory of finite nearfields (Q1117270) (← links)
• An undecidable fragment of the theory of set constraints (Q1274577) (← links)
• Decidable and undecidable fragments of first-order concatenation theory (Q1670748) (← links)
• Elementary theories and hereditary undecidability for semilattices of numberings (Q1734277) (← links)
• The last question on recursively enumerable \(m\)-degrees (Q1908450) (← links)
• Fragments of the theory of the enumeration degrees (Q2020402) (← links)
• Computational complexity of theories of a binary predicate with a small number of variables (Q2696689) (← links)
• Universal computably enumerable equivalence relations (Q2921020) (← links)
• Separating Classes of Groups by First-Order Sentences (Q3043615) (← links)
• Classes of Ulm type and coding rank-homogeneous trees in other structures (Q3173529) (← links)
• The isomorphism problem for computable Abelian _<i>p</i>-groups of bounded length (Q3370768) (← links)
• The Π₃-theory of the -enumeration degrees is undecidable (Q3416114) (← links)
• Interpreting true arithmetic in the -enumeration degrees (Q3570161) (← links)
• The First Order Theories of the Medvedev and Muchnik Lattices (Q3576064) (← links)
• The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable (Q4211072) (← links)
• Quantifying over events in probability logic: an introduction (Q4593244) (← links)
• CODING IN GRAPHS AND LINEAR ORDERINGS (Q5148104) (← links)
• Decidable fragments of field theories (Q5202171) (← links)
• (Q5441071) (← links)
• The theory of hereditarily bounded sets (Q6094150) (← links)
• Classes of algebraic structures (Q6147851) (← links)