Search Results - "Computable functions"

A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space.

Authors: Cole, Joshua A.¹, jcole@benedictine.edu

Source: Archive for Mathematical Logic; Nov2025, Vol. 64 Issue 7/8, p997-1005, 9p

Evaluative presentations.

Authors: McNicholl, Timothy H¹

Source: Journal of Logic & Computation; Jul2025, Vol. 35 Issue 5, p1-11, 11p

Constructivity conditions on immune sets.

Authors: Case, John¹, case@udel.edu

Source: Archive for Mathematical Logic; Jul2025, Vol. 64 Issue 5, p819-841, 23p

Abstractions of sequences, functions and operators.

Authors: Rustenholz, Louis Lopez-Garcia, Pedro Hermenegildo, Manuel V.

Source: International Journal on Software Tools for Technology Transfer; Jun2026, Vol. 28 Issue 3, p277-301, 25p

DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES.

Authors: HOYRUP, MATHIEU KIHARA, TAKAYUKI SELIVANOV, VICTOR

Source: Journal of Symbolic Logic; Jun2026, Vol. 91 Issue 2, p699-730, 32p

On learning down-sets in quasi-orders, and ideals in Boolean algebras.

Authors: Bazhenov, Nikolay Mustafa, Manat

Source: Theory of Computing Systems. Mar2025, Vol. 69 Issue 1, p1-15. 15p.

Subjects: Ideals (Algebra), Computable functions, Algebra, Mathematics, Boolean algebra, Families

INDIVISIBILITY AND UNIFORM COMPUTATIONAL STRENGTH.

Authors: GILL, KENNETH¹, gillmathpsu@posteo.net

Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 2, p1-23, 23p

Punctually presented structures II: comparing presentations: Punctually presented structures II: comparing presentations: M. Dorzhieva et al.

Authors: Dorzhieva, Marina Downey, Rodney Hammatt, Ellen et al.

Source: Archive for Mathematical Logic; Feb2025, Vol. 64 Issue 1, p159-184, 26p

Degrees of relations on canonically ordered natural numbers and integers: Degrees of relations on canonically ordered natural...: N. Bazhenov et al.

Authors: Bazhenov, Nikolay Kalociński, Dariusz Wrocławski, Michał

Source: Archive for Mathematical Logic; Feb2025, Vol. 64 Issue 1, p299-331, 33p

FPT algorithms for a special block-structured integer program with applications in scheduling.

Authors: Chen, Hua Chen, Lin Zhang, Guochuan

Source: Mathematical Programming. Nov2024, Vol. 208 Issue 1/2, p463-496. 34p.

Subjects: Computable functions, Absolute value, Integer programming, Integers, Logarithms

A Characterization of Polynomial Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations.

Authors: Blanc, Manon Bournez, Olivier

Source: International Journal of Foundations of Computer Science. Nov2025, Vol. 36 Issue 7, p989-1016. 28p.

Subjects: Computable functions, Computable analysis, Ordinary differential equations, Linear differential equations, Polynomial time algorithms, Mathematical functions, Computational complexity

COMPLETE AND TRACTABLE MACHINE-INDEPENDENT CHARACTERIZATIONS OF SECOND-ORDER POLYTIME.

Authors: HAINRY, EMMANUEL KAPRON, BRUCE M. MARION, JEAN-YVES et al.

Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 1, p1-30, 30p

Reordered Computable Numbers.

Authors: Janicki, Philip¹, philip.janicki@unibw.de

Source: Theory of Computing Systems; Dec2024, Vol. 68 Issue 6, p1683-1708, 26p

Degrees of categoricity and treeable degrees.

Authors: Csima, Barbara F. Rossegger, Dino

Source: Journal of Mathematical Logic. Dec2024, Vol. 24 Issue 3, p1-18. 18p.

Turing Spectra of the Automorphism Groups of the Order on the Rationals.

Authors: Morozov, A. S.^1,2 (AUTHOR) morozov@math.nsc.ru

Source: Siberian Mathematical Journal. Nov2024, Vol. 65 Issue 6, p1373-1378. 6p.

A minimal substitution basis for the Kalmár elementary functions.

Authors: Prunescu, Mihai Sauras-Altuzarra, Lorenzo Shunia, Joseph M

Source: Journal of Logic & Computation; Apr2026, Vol. 36 Issue 3, p1-10, 10p

The mathematics of adversarial attacks in AI – why deep learning is unstable despite the existence of stable neural networks.

Authors: Bastounis, Alexander Hansen, Anders Vlačić, Verner

Source: European Journal of Applied Mathematics; Feb2026, Vol. 37 Issue 1, p259-289, 31p

Computably locally compact groups and their closed subgroups.

Authors: Melnikov, Alexander G. Nies, André

Source: International Journal of Algebra & Computation; Feb2026, Vol. 36 Issue 1, p81-114, 34p

Continuity Properties of Constructive Operators on the Set of Computably Enumerable Real Numbers.

Authors: Faizrakhmanov, M. Kh. Shchedrikova, Z. K.

Source: Siberian Advances in Mathematics. Feb2026, Vol. 36 Issue 1, p14-21. 8p.

Pure reaction automata.

Authors: Ascone, Rocco Bernardini, Giulia Formenti, Enrico et al.

Source: Natural Computing. Jun2024, Vol. 23 Issue 2, p189-204. 16p.

Subjects: Computable functions, Formal languages, Standard language