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
Isomorphisms between HEO and HROE, ECF and ICFE - MaRDI portal

Isomorphisms between HEO and HRO^E, ECF and ICF^E

From MaRDI portal

Publication:3699686

Jump to:navigation, search

DOI10.2307/2274222zbMath0578.03029OpenAlexW1994569039MaRDI QIDQ3699686

Publication date: 1985

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

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

zbMATH Keywords

constructive mathematics extensional equality extensional effective operations

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items (1)

On the ubiquity of certain total type structures

Cites Work

Unnamed Item

This page was built for publication: Isomorphisms between HEO and HRO^E, ECF and ICF^E

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