scientific article; zbMATH DE number 679898

zbMath0813.03007MaRDI QIDQ4311932

Michail R. Tetruashvili

Publication date: 30 October 1994

Full work available at URL: https://eudml.org/doc/47154

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

zbMATH Keywords

decidabilityunquantified set theory

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Other classical set theory (including functions, relations, and set algebra) (03E20)

Cites Work

• Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}|y εx}

This page was built for publication: