On representing concepts in finite models

DOI10.1002/1521-3870(200111)47:4%3C513::AID-MALQ513%3E3.0.CO;2-JMaRDI QIDQ2765574zbMATH OpenFDO

Authors Marcin Mostowski

Publication date 24 January 2002

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1521-3870(200111)47:4%3C513::AID-MALQ513%3E3.0.CO;2-J

zbMATH Keywords

finite model theorytruth-definitiondegrees of undecidabilityfinite order logicrepresentability relations

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Recursively (computably) enumerable sets and degrees (03D25) Second- and higher-order model theory (03C85) Word problems, etc. in computability and recursion theory (03D40)

Recommendations

• scientific article; zbMATH DE number 4043224
• scientific article; zbMATH DE number 125989
• The theory of finite models
• Model Representation over Finite and Infinite Signatures
• Model Representation over Finite and Infinite Signatures
• Representing models by finite trees
• A dichotomy in classifying quantifiers for finite models
• The complexity of finite model reasoning in description logics
• Problems on the generation of finite models

Cited in

(16)

• Truth definitions in finite models
• scientific article; zbMATH DE number 125989 (Why is no real title available?)
• New Computational Paradigms
• Theories of initial segments of standard models of arithmetics and their complete extensions
• THE POTENTIAL IN FREGE’S THEOREM
• Representing models by finite trees
• 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
• Theories of arithmetics in finite models
• Representability of functions in finite models. Arithmetical theories
• Arity and alternation: a proper hierarchy in higher order logics
• Modal quantifiers, potential infinity, and Yablo sequences
• 2004 Summer Meeting of the Association for Symbolic Logic
• On 0, 1-laws and asymptotics of definable sets in geometric Fraïssé classes
• Potential infinity, abstraction principles and arithmetic (Leśniewski style)
• Elementary approximation theory
• Finite representations of the non-structural objects

This page was built for publication: On representing concepts in finite models

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