Publication:2765574
From MaRDI portal
DOI<513::AID-MALQ513>3.0.CO;2-J 10.1002/1521-3870(200111)47:4<513::AID-MALQ513>3.0.CO;2-JzbMath0992.03043MaRDI QIDQ2765574
Publication date: 24 January 2002
finite model theorytruth-definitiondegrees of undecidabilityfinite order logicrepresentability relations
Model theory of finite structures (03C13) Word problems, etc. in computability and recursion theory (03D40) Recursively (computably) enumerable sets and degrees (03D25) Second- and higher-order model theory (03C85)
Related Items
Arity and alternation: a proper hierarchy in higher order logics, Truth definitions in finite models, THE POTENTIAL IN FREGE’S THEOREM, Potential infinity, abstraction principles and arithmetic (Leśniewski style), Theories of initial segments of standard models of arithmetics and their complete extensions, 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, 2004 Summer Meeting of the Association for Symbolic Logic, Theories of arithmetics in finite models