UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES

DOI10.1017/jsl.2014.54zbMath1353.03048OpenAlexW2097441234MaRDI QIDQ5177872

Antonio Montalbán, Asher M. Kach

Publication date: 6 March 2015

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/6e175c742e0135cc1481f5cecf51dcd076411f83

zbMATH Keywords

second-order arithmeticbi-interpretabilityTarski's cube problemclasses of structures

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Second- and higher-order arithmetic and fragments (03F35) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items

Definability in First Order Theories of Graph Orderings