Recursive Terms in Semantic Programming

For constructing an enrichment of a language with restricted quantifiers, we extend the notion of term by the construction of the terms conditional and recursive with respect to lists. We show that the so-obtained extension of the language of formulas with restricted quantifiers over structures with...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Siberian mathematical journal Ročník 59; číslo 6; s. 1014 - 1023
Hlavní autoři: Goncharov, S. S., Sviridenko, D. I.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Moscow Pleiades Publishing 01.11.2018
Springer Nature B.V
Témata:
Mathematics
Mathematics and Statistics
semantic programming
hereditary finite set
computability
computability over abstract structures
restricted quantifier
Σ-formula
Δ
conditional term
recursive term
formula
term
model
Δ-formula
hereditary finite list
ISSN:0037-4466, 1573-9260
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:For constructing an enrichment of a language with restricted quantifiers, we extend the notion of term by the construction of the terms conditional and recursive with respect to lists. We show that the so-obtained extension of the language of formulas with restricted quantifiers over structures with hereditary finite lists is a conservative enrichment and the new terms are Δ-definable in the basic language.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0037-4466
1573-9260
DOI:10.1134/S0037446618060058