\(\Sigma^ n_ 0\)-equivalence relations

DOI10.1007/BF00403335zbMath0539.03023MaRDI QIDQ793716

Andrea Sorbi

Publication date: 1982

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

precomplete equivalence relationsreducibility pre-order

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the relation provable equivalence and on partitions in effectively inseparable sets
• Positive equivalences
• Classifying positive equivalence relations
• The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra