Effectively extensible theories

DOI10.2307/2270052zbMath0179.01903OpenAlexW2157511278MaRDI QIDQ5569450

Marian Boykan Pour-El

Publication date: 1968

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

Full work available at URL: https://doi.org/10.2307/2270052

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (3)

Effectively inseparable Boolean algebras in lattices of sentences ⋮ There are no minimal effectively inseparable theories ⋮ Strong reducibilities

Cites Work

• Deduction-preserving “recursive isomorphisms” between theories
• “Recursive isomorphism” and effectively extensible theories
• Creative sets

This page was built for publication: Effectively extensible theories