Functions definable by numerical set-expressions

DOI10.1093/LOGCOM/EXR050MaRDI QIDQ2844003zbMATH OpenOpenAlexFDO

Authors Ian Pratt-Hartmann, Ivo Düntsch

Publication date 27 August 2013

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exr050

zbMATH Keywords

definabilityarithmetic circuitexpressive powerinteger expression

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Integer-valued definable functions
• Functions definable by arithmetic circuits
• scientific article; zbMATH DE number 3438840
• Arithmetical functions associated with arbitrary sets of integers
• Functions defined on a set of Z-numbers
• Set-valued functions
• Definability in function spaces
• scientific article; zbMATH DE number 1289488
• Logical definability of counting functions

Cited in

(1)

• Functions definable by arithmetic circuits

This page was built for publication: Functions definable by numerical set-expressions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844003)