Works matching Recursion theory

Results: 920

Fragments of Kripke-Platek set theory and the metamathematics of $$\alpha $$ -recursion theory.

Published in:

Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 899, doi. 10.1007/s00153-016-0501-z

By:

Friedman, Sy-David;
Li, Wei;
Wong, Tin

Publication type:

Article

Recursion theory and the 'death tax': Investigating a fake news discourse in the 2019 Australian election.

Published in:

Journal of Language & Politics, 2021, v. 20, n. 5, p. 696, doi. 10.1075/jlp.21030.car

By:

Carson, Andrea;
Gibbons, Andrew;
Phillips, Justin B.

Publication type:

Article

The diagonalization method in quantum recursion theory.

Published in:

Quantum Information Processing, 2010, v. 9, n. 2, p. 295, doi. 10.1007/s11128-009-0115-z

By:

Svozil, Karl

Publication type:

Article

NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS.

Published in:

Bulletin of Symbolic Logic, 2014, v. 20, n. 2, p. 170, doi. 10.1017/bsl.2014.14

By:

CHONG, C. T.;
WEI LI;
YUE YANG

Publication type:

Article

A blend of methods of recursion theory and topology: A Π10 tree of shadow points.

Published in:

Archive for Mathematical Logic, 2004, v. 43, n. 8, p. 991, doi. 10.1007/s00153-004-0244-0

By:

Kalantari, Iraj;
Welch, Larry

Publication type:

Article

Probabilistic Recursion Theory and Implicit Computational Complexity.

Published in:

Scientific Annals of Computer Science, 2014, v. 24, n. 2, p. 177, doi. 10.7561/SACS.2014.2.177

By:

DAL LAGO, Ugo;
ZUPPIROLI, Sara;
GABBRIELLI, Maurizio

Publication type:

Article

Difference Sets and Recursion Theory.

Published in:

Mathematical Logic Quarterly, 1998, v. 44, n. 4, p. 515, doi. 10.1002/malq.19980440410

By:

Schmerl, James H.

Publication type:

Article

Some Reflections on the Foundations of Ordinary Recursion Theory and a New Proposal.

Published in:

Mathematical Logic Quarterly, 1986, v. 32, n. 31-34, p. 503, doi. 10.1002/malq.19860323103

By:

Tourlakis, George

Publication type:

Article

Transfinite Recursion in a Theory of Properties.

Published in:

Mathematical Logic Quarterly, 1986, v. 32, n. 19-24, p. 307, doi. 10.1002/malq.19860321903

By:

Pollard, Stephen

Publication type:

Article

SOME REMARKS ON A THEOREM OF IRAJ KALANTARI CONCERNING CONVEXITY AND RECURSION THEORY.

Published in:

Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 295, doi. 10.1002/malq.19840301903

By:

Downey, R.

Publication type:

Article

Double Hurwitz numbers: polynomiality, topological recursion and intersection theory.

Published in:

Mathematische Annalen, 2023, v. 387, n. 1/2, p. 179, doi. 10.1007/s00208-022-02457-x

By:

Borot, Gaëtan;
Do, Norman;
Karev, Maksim;
Lewański, Danilo;
Moskovsky, Ellena

Publication type:

Article

MHV amplitudes and BCFW recursion for Yang-Mills theory in the de Sitter static patch.

Published in:

Journal of High Energy Physics, 2021, v. 2021, n. 9, p. 1, doi. 10.1007/JHEP09(2021)176

By:

Albrychiewicz, Emil;
Neiman, Yasha;
Tsulaia, Mirian

Publication type:

Article

A New Recursion in the Theory of Macdonald Polynomials.

Published in:

Annals of Combinatorics, 2012, v. 16, n. 1, p. 77, doi. 10.1007/s00026-011-0122-5

By:

Garsia, A.;
Haglund, J.

Publication type:

Article

Applications of a recursion method to game theory.

Published in:

Nonlinear Studies, 1997, v. 4, n. 1, p. 81

By:

Heikkila, S.;
Salonen, H.

Publication type:

Article

RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES.

Published in:

Journal of Symbolic Logic, 2014, v. 79, n. 3, p. 712, doi. 10.1017/jsl.2014.28

By:

SATO KENTARO

Publication type:

Article

FRIEDBERG NUMBERING IN FRAGMENTS OF PEANO ARITHMETIC AND α-RECURSION THEORY.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 4, p. 1135, doi. 10.2178/jsl.7804060

By:

WEI LI

Publication type:

Article

SOME JUMP-LIKE OPERATIONS IN β-RECURSION THEORY.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 1, p. 57, doi. 10.2178/jsl.7801040

By:

BAILEY, COLIN G.

Publication type:

Article

Diagonal fixed points in algebraic recursion theory.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 8, p. 973, doi. 10.1007/s00153-005-0307-x

By:

Zashev, Jordan

Publication type:

Article

Computable Ramsey's theorem for pairs needs infinitely many $$\Pi ^0_2$$ sets.

Published in:

Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 155, doi. 10.1007/s00153-016-0519-2

By:

Igusa, Gregory;
Towsner, Henry

Publication type:

Article

A Difference in Complexity Between Recursion and Tail Recursion.

Published in:

Theory of Computing Systems, 2017, v. 60, n. 2, p. 299, doi. 10.1007/s00224-016-9673-5

By:

Bhaskar, Siddharth

Publication type:

Article

COMPUTABILITY IN UNCOUNTABLE BINARY TREES.

Published in:

Journal of Symbolic Logic, 2019, v. 84, n. 3, p. 1049, doi. 10.1017/jsl.2019.5

By:

JOHNSTON, REESE

Publication type:

Article

Turing Interrogative Games.

Published in:

Minds & Machines, 2011, v. 21, n. 3, p. 435, doi. 10.1007/s11023-011-9245-z

By:

Łupkowski, Paweł;
Wiśniewski, Andrzej

Publication type:

Article

Computation and Hypercomputation.

Published in:

Mathematics (2227-7390), 2022, v. 10, n. 6, p. 997, doi. 10.3390/math10060997

By:

Powell, Andrew

Publication type:

Article

On local non-compactness in recursive mathematics.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 4, p. 323, doi. 10.1002/malq.200510036

By:

Simonsen, Jakob G.

Publication type:

Article

There is no safe pairing function over an arbitrary structure.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 4, p. 362, doi. 10.1002/malq.200610003

By:

Xirotiri, Olga

Publication type:

Article

Density and Baire category in recursive topology.

Published in:

Mathematical Logic Quarterly, 2004, v. 50, n. 4/5, p. 381, doi. 10.1002/malq.200310106

By:

Kalantari, Iraj;
Welch, Larry

Publication type:

Article

Computational Power of Infinite Quantum Parallelism.

Published in:

International Journal of Theoretical Physics, 2005, v. 44, n. 11, p. 2059, doi. 10.1007/s10773-005-8984-0

By:

Ziegler, Martin

Publication type:

Article

ON THE DECIDABILITY OF THE ${{\rm{\Sigma }}_2}$ THEORIES OF THE ARITHMETIC AND HYPERARITHMETIC DEGREES AS UPPERSEMILATTICES.

Published in:

Journal of Symbolic Logic, 2017, v. 82, n. 4, p. 1496, doi. 10.1017/jsl.2017.51

By:

BARNES, JAMES S.

Publication type:

Article

FINITARY REDUCIBILITY ON EQUIVALENCE RELATIONS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 4, p. 1225, doi. 10.1017/jsl.2016.23

By:

MILLER, RUSSELL;
NG, KENG MENG

Publication type:

Article

Learning theory in the arithmetic hierarchy II.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 3/4, p. 301, doi. 10.1007/s00153-020-00745-4

By:

Beros, Achilles A.;
Beros, Konstantinos A.;
Flores, Daniel;
Gaffar, Umar;
Webb, David J.;
Yoon, Soowhan

Publication type:

Article

The bi-embeddability relation for finitely generated groups II.

Published in:

Archive for Mathematical Logic, 2016, v. 55, n. 3/4, p. 385, doi. 10.1007/s00153-015-0455-6

By:

Thomas, Simon;
Williams, Jay

Publication type:

Article

A DNC function that computes no effectively bi-immune set.

Published in:

Archive for Mathematical Logic, 2015, v. 54, n. 5/6, p. 521, doi. 10.1007/s00153-015-0425-z

By:

Beros, Achilles

Publication type:

Article

The ∀∃-theory of the effectively closed Medvedev degrees is decidable.

Published in:

Archive for Mathematical Logic, 2010, v. 49, n. 1, p. 1, doi. 10.1007/s00153-009-0150-6

By:

Cole, Joshua A.;
Kihara, Takayuki

Publication type:

Article

On degree-preserving homeomorphisms between trees in computable topology.

Published in:

Archive for Mathematical Logic, 2007, v. 46, n. 7/8, p. 679, doi. 10.1007/s00153-007-0056-0

By:

Kalantari, Iraj;
Welch, Larry

Publication type:

Article

Recursive formulation of the relativistic law of superposition of multiple collinear velocities.

Published in:

Journal of Difference Equations & Applications, 2007, v. 13, n. 7, p. 563, doi. 10.1080/10236190701264701

By:

Antippa, Adel F.

Publication type:

Article

On Signifiable Computability: Part II: An Axiomatization of Signifiable Computation and Debugger Theorems.

Published in:

Mathematics (2227-7390), 2025, v. 13, n. 6, p. 934, doi. 10.3390/math13060934

By:

Kulyukin, Vladimir A.

Publication type:

Article

Complexity of equational theory of relational algebras with standard projection elements.

Published in:

Synthese, 2015, v. 192, n. 7, p. 2159, doi. 10.1007/s11229-015-0689-1

By:

Mikulás, Szabolcs;
Sain, Ildikó;
Simon, András

Publication type:

Article

HYPERCOMPUTATION: FANTASY OR REALITY? A POSITION PAPER.

Published in:

Parallel Processing Letters, 2013, v. 23, n. 1, p. -1, doi. 10.1142/S0129626413500059

By:

SYROPOULOS, APOSTOLOS

Publication type:

Article

Relatively Recursively Enumerable Versus Relatively Σ1 in Models of Peano Arithmetic.

Published in:

Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 515, doi. 10.1002/malq.19950410408

By:

Michalski, Grzegorz

Publication type:

Article

Turing degrees in Polish spaces and decomposability of Borel functions.

Published in:

Journal of Mathematical Logic, 2021, v. 21, n. 1, p. N.PAG, doi. 10.1142/S021906132050021X

By:

Gregoriades, Vassilios;
Kihara, Takayuki;
Ng, Keng Meng

Publication type:

Article

Can Church's thesis be viewed as a Carnapian explication?

Published in:

Synthese, 2021, v. 198, p. 1047, doi. 10.1007/s11229-019-02286-7

By:

Quinon, Paula

Publication type:

Article

Algebraic Characterizations of Computable Analysis Real Functions.

Published in:

International Journal of Unconventional Computing, 2011, v. 7, n. 4, p. 245

By:

Gomaa, Walid

Publication type:

Article

A survey of recursive analysis and Moore's notion of real computation.

Published in:

Natural Computing, 2012, v. 11, n. 1, p. 37, doi. 10.1007/s11047-011-9278-5

By:

Gomaa, Walid

Publication type:

Article

Application of the recursion-transform method in calculating the resistance of an M× N cobweb resistor network with an arbitrary boundary.

Published in:

International Journal of Modern Physics B: Condensed Matter Physics; Statistical Physics; Applied Physics, 2017, v. 31, n. 27, p. -1, doi. 10.1142/S0217979217501880

By:

Ji, Yinghua;
Hu, Juju

Publication type:

Article

SOME INITIAL THOUGHTS ON BOUNDED QUERY COMPUTATIONS OVER THE REALS.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1499, doi. 10.1142/S0129054112400618

By:

MEER, KLAUS

Publication type:

Article

Computability of String Functions Over Algebraic Structures Armin Hemmerling.

Published in:

Mathematical Logic Quarterly, 1998, v. 44, n. 1, p. 1, doi. 10.1002/malq.19980440102

By:

Hemmerling, Armin

Publication type:

Article

Rudimentary Languages and Second-Order Logic.

Published in:

Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 419, doi. 10.1002/malq.19970430315

By:

More, Malika;
Olive, Frédéric

Publication type:

Article

UNIVERSAL FUNCTIONS IN PARTIAL STRUCTURES.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 253, doi. 10.1002/malq.19920380121

By:

Negri, Maurizio

Publication type:

Article

Effective Enumerations of Families of Finite Sets of Natural Numbers.

Published in:

Mathematical Logic Quarterly, 1991, v. 37, n. 19-22, p. 301, doi. 10.1002/malq.19910371904

By:

Ditchev, Angel V.

Publication type:

Article

Jumps of Hemimaximal Sets.

Published in:

Mathematical Logic Quarterly, 1991, v. 37, n. 8, p. 113, doi. 10.1002/malq.19910370802

By:

Downey, Rod;
Stob, Mike

Publication type:

Article