scientific article; zbMATH DE number 444448

MaRDI QIDQ3141083zbMATH OpenFDO

Authors Heikki Heikkilä

Publication date 9 November 1993

zbMATH Keywords

admissible fragmentsadmissible setsCraig separationinfinitary logicinfinitely deep logicsinvariantsnonstructure theoremssatisfiability

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Logic on admissible sets (03C70)

Recommendations

• scientific article; zbMATH DE number 3906482
• Model theoretic results for infinitely deep languages
• Model theory for infinite quantifier languages
• Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
• scientific article; zbMATH DE number 4039871

Cited in

(10)

• Model theoretic results for infinitely deep languages
• Definability in infinitary languages and invariance by automorphims
• scientific article; zbMATH DE number 3906482 (Why is no real title available?)
• The Metamathematics of Infinitary Set Theoretical Systems
• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• Barwise: Infinitary Logic and Admissible Sets
• On Definitions in an Infinitary Language
• Languages with finite string of quantifiers on uncountable structures
• Countably decomposable admissible sets
• Logical operations and iterated infinitely deep languages

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