Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The decidability of a class of AE sentence in the isols - MaRDI portal

The decidability of a class of AE sentence in the isols

From MaRDI portal

Publication:2556401

Jump to:navigation, search

DOI10.2140/PJM.1972.43.573zbMath0248.02054OpenAlexW1993211358MaRDI 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

Mathematics Subject Classification ID

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

Related Items (1)

Combinatorial Functions and Indecomposable Cardinals

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2556401&oldid=15298529"