The decidability of a class of AE sentence in the isols

DOI10.2140/PJM.1972.43.573MaRDI QIDQ2556401zbMATH OpenOpenAlexFDO

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)