scientific article
From MaRDI portal
Publication:2765574
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite model theorytruth-definitiondegrees of undecidabilityfinite order logicrepresentability relations
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
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
This page was built for publication:
