scientific article

zbMath0587.03002MaRDI QIDQ3714044

No author found.

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

second-order logicprobability logicgeneralized quantifiersinfinitary languagesabstract model theorytopological model theorytopological logicback-and-forth methodgame quantifier

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Probability and inductive logic (03B48) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Second- and higher-order model theory (03C85) Properties of classes of models (03C52) Interpolation, preservation, definability (03C40) Logic on admissible sets (03C70) Abstract model theory (03C95)

Related Items

Dependence logic with generalized quantifiers: axiomatizations, Changing a Semantics: Opportunism or Courage?, Algorithmic uses of the Feferman-Vaught theorem, A Lindström theorem for intuitionistic propositional logic, Finite-Variable Logics Do Not Have Weak Beth Definability Property, EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER, Dynamic reasoning with qualified syllogisms, Universality of Logic, Omitting uncountable types and the strength of \([0,1\)-valued logics], A Lindström theorem in many-valued modal logic over a finite MTL-chain, Lindström theorems in graded model theory, Generalized sketches as a framework for completeness theorems. I-III, Infinitary logics and 0-1 laws, TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY, Empiricism, probability, and knowledge of arithmetic: a preliminary defense, Correspondence, canonicity, and model theory for monotonic modal logics, Burali-Forti as a purely logical paradox, EXISTENCE OF MODELING LIMITS FOR SEQUENCES OF SPARSE STRUCTURES, Local properties of query languages, A theory of computation based on quantum logic. I, Borel subgroups of Polish groups, Restricted interpolation over modal logic S4, Ordinal compactness, Simple consequence relations, Some thoughts on computational models: from massive human computing to abstract state machines, and beyond