Counting the back-and-forth types

DOI10.1093/LOGCOM/EXQ048zbMath1268.03044OpenAlexW2000110189MaRDI QIDQ2907060

Antonio Montalbán

Publication date: 5 September 2012

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

computable structuresTuring degreeintrinsical relationsback-and-forthjump of structure

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items (6)

A robuster Scott rank ⋮ Rice sequences of relations ⋮ Learning families of algebraic structures from informant ⋮ Measuring complexities of classes of structures ⋮ The property “arithmetic-is-recursive” on a cone ⋮ Coding and definability in computable structures

This page was built for publication: Counting the back-and-forth types