Premium
Decision procedures for elementary sublanguages of set theory IX. Unsolvability of the decision problem for a restricted subclass of the Δ 0 ‐formulas in set theory
Author(s) -
Parlamento Franco,
Policriti Alberto
Publication year - 1988
Publication title -
communications on pure and applied mathematics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 3.12
H-Index - 115
eISSN - 1097-0312
pISSN - 0010-3640
DOI - 10.1002/cpa.3160410206
Subject(s) - mathematics , set (abstract data type) , operator (biology) , set theory , integer (computer science) , algebra over a field , discrete mathematics , combinatorics , computer science , pure mathematics , biochemistry , chemistry , repressor , transcription factor , gene , programming language