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!

Buďte první, kdo okomentuje tento záznam!