scientific article; zbMATH DE number 1543067

MaRDI QIDQ4520522zbMATH OpenFDO

Authors Hajime Ishihara, Bakhadyr Khoussainov

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_3_11/effectiveness_of_the_completeness

zbMATH Keywords

completenessintermediate logicKripke modelscomputabilityeffectivenessjump operator

Mathematics Subject Classification ID

Intermediate logics (03B55) Computable structure theory, computable model theory (03C57)

Cited in

(1)

• Completeness theorems for some intermediate predicate calculi

This page was built for publication:

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