The decidability of a class of AE sentence in the isols
From MaRDI portal
Publication:2556401
DOI10.2140/pjm.1972.43.573zbMath0248.02054MaRDI QIDQ2556401
Erik Ellentuck, Alfred B. Manaster
Publication date: 1972
Published in: Pacific Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2140/pjm.1972.43.573
03B25: Decidability of theories and sets of sentences
03D50: Recursive equivalence types of sets and structures, isols
Related Items