scientific article; zbMATH DE number 3987256

MaRDI QIDQ3751562zbMATH OpenFDO

Authors Kosta Došen, Peter Schroeder-Heister

Publication date 1985

zbMATH Keywords

conservative extensiondefinabilityformal systemunique characterization

Mathematics Subject Classification ID

General logic (03B99)

Recommendations

• scientific article; zbMATH DE number 4772
• Model-theoretic conservative extension for definitional theories
• scientific article; zbMATH DE number 8770
• scientific article; zbMATH DE number 58309
• On conservative extensions in logics with infinitary predicates

Cited in

(10)

• On The Uniqueness of the Lindenbaum Extension
• On a conservative extension argument of Dana Scott
• A perspective on modal sequent logic
• Proof-theoretic semantics: an autobiographical survey
• scientific article; zbMATH DE number 58309 (Why is no real title available?)
• On conservative extensions in logics with infinitary predicates
• On a question of Krajewski's
• Uniquely representing ``a preference for uniformity
• Are the open-ended rules for negation categorical?
• Harmony in Proof-Theoretic Semantics: A Reductive Analysis

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 Q3751562)