scientific article; zbMATH DE number 1567806

zbMath0964.03008MaRDI QIDQ4761629

Rostislav E. Yavorsky

Publication date: 21 February 2001

Full work available at URL: http://mech.math.msu.su/~fpm/eng/98/982/98219h.htm

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

zbMATH Keywords

decidabilityinterpretationtheory of equalityinfinite axiomaticslogic of a first-order theorytheory of dense linear orders

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07)

Related Items (3)

Faith \& falsity ⋮ A survey of predicate realizability logic ⋮ Predicate logics of expressively strong theories

This page was built for publication: