Works matching Recursion theory
Results: 891
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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
A blend of methods of recursion theory and topology: A Π<sub>1</sub><sup>0</sup> 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Applications of a recursion method to game theory.
- Published in:
- Nonlinear Studies, 1997, v. 4, n. 1, p. 81
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Computation and Hypercomputation.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 6, p. 997, doi. 10.3390/math10060997
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Relatively Recursively Enumerable Versus Relatively Σ<sub>1</sub> in Models of Peano Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 515, doi. 10.1002/malq.19950410408
- By:
- 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:
- 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:
- Publication type:
- Article
Notes on a 'Constructive Proof of the Existence of a Collateral Equilibrium'.
- Published in:
- Computational Economics, 2016, v. 48, n. 1, p. 179, doi. 10.1007/s10614-015-9504-9
- By:
- Publication type:
- Article
Topological recursion and geometry.
- Published in:
- Reviews in Mathematical Physics, 2020, v. 32, n. 10, p. N.PAG, doi. 10.1142/S0129055X20300071
- By:
- Publication type:
- Article
NP-Creative Sets: A New Class of Creative Sets in NP.
- Published in:
- Mathematical Systems Theory, 1996, v. 29, n. 5, p. 487, doi. 10.1007/BF01184812
- By:
- Publication type:
- Article
RSPCN: Super-Resolution of Digital Elevation Model Based on Recursive Sub-Pixel Convolutional Neural Networks.
- Published in:
- ISPRS International Journal of Geo-Information, 2021, v. 7, n. 8, p. 501, doi. 10.3390/ijgi10080501
- By:
- Publication type:
- Article
ULTRA: Universal Grammar as a Universal Parser.
- Published in:
- Frontiers in Psychology, 2018, p. 1, doi. 10.3389/fpsyg.2018.00155
- By:
- Publication type:
- Article
Economic Dynamics and Computation—Resurrecting the Icarus Tradition.
- Published in:
- Metroeconomica, 2004, v. 55, n. 2/3, p. 239, doi. 10.1111/j.0026-1386.2004.00192.x
- By:
- 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:
- Publication type:
- Article
Scenari di educazione matematica: l'approccio per problemi.
- Published in:
- Orientamenti Pedagogici, 2021, v. 68, n. 3, p. 33
- By:
- Publication type:
- Article
Inexpensive Computation of the Inverse of the Genomic Relationship Matrix in Populations with Small Effective Population Size.
- Published in:
- Genetics, 2016, v. 202, n. 2, p. 401, doi. 10.1534/genetics.115.182089
- By:
- Publication type:
- Article
NATURAL DEDUCTION FOR FOUR-VALUED BOTH REGULAR AND MONOTONIC LOGICS.
- Published in:
- Logic & Logical Philosophy, 2018, v. 27, n. 1, p. 53, doi. 10.12775/LLP.2017.001
- By:
- Publication type:
- Article