Expressibility in the elementary theory of recursively enumerable sets with realizability logic

DOI10.1007/BF01669112zbMath0635.03035OpenAlexW2076547260MaRDI QIDQ1097266

R. K. Prank

Publication date: 1982

Published in: Algebra and Logic (Search for Journal in Brave)

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

zbMATH Keywords

realizable formulae

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursively (computably) enumerable sets and degrees (03D25)

Related Items (4)

A basis of identities of the Lie algebra \(sl(2)\) over a finite field ⋮ Associative identities of octonions ⋮ Subvarieties of the matrix variety of second order ⋮ On the consequences of the standard polynomial

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Expressibility in the elementary theory of recursively enumerable sets with realizability logic