Three theorems on elementary theories and tt-reducibility

DOI10.1007/BF01462919zbMath0299.02057OpenAlexW2320493676MaRDI QIDQ1214921

S. D. Denisov

Publication date: 1975

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/186822

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Incidence structures embeddable into projective geometries (51A45) Other degrees and reducibilities in computability and recursion theory (03D30) Other classical first-order model theory (03C68)

Related Items (1)

Undecidable universal theories of lattices of subgroups of Abelian groups

Cites Work

• On a Problem of J.H.C. Whitehead and a Problem of Alonzo Church.
• Rigorous quantum field theory models
• Unnamed Item
• Unnamed Item

This page was built for publication: Three theorems on elementary theories and tt-reducibility