The decidability of a class of AE sentence in the isols

DOI10.2140/PJM.1972.43.573zbMATH Open0248.02054OpenAlexW1993211358MaRDI QIDQ2556401FDOQ2556401

Authors: 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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Recursive equivalence types of sets and structures, isols (03D50)

Cited In (1)

• Combinatorial Functions and Indecomposable Cardinals

This page was built for publication: The decidability of a class of AE sentence in the isols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2556401)