scientific article; zbMATH DE number 1543067

zbMATH Open0963.03506MaRDI QIDQ4520522FDOQ4520522

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

Title of this publication is not available (Why is that?)

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)