Σ-programming

DOI10.1090/TRANS2/142/10zbMath0671.03021OpenAlexW4242547061MaRDI QIDQ3824396

D. I. Sviridenko, Sergei S. Goncharov

Publication date: 1989

Published in: American Mathematical Society Translations: Series 2 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/trans2/142/10

zbMATH Keywords

recursive functionsfirst-order languageSigma-formulas

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Logic on admissible sets (03C70)

Related Items (8)

Definable Subsets of Polynomial-Time Algebraic Structures ⋮ Conditional terms in semantic programming ⋮ Unnamed Item ⋮ Recursive terms in semantic programming ⋮ \(\Sigma\)-definability in hereditarily finite superstructures and computable analysis ⋮ Towards semantic document modelling of business processes ⋮ On termination of transactions over semantic document models ⋮ On decidability of list structures

This page was built for publication: Σ-programming