Works matching DE "UNSOLVABILITY (Mathematical logic)"
Results: 30
Global unsolvability of a nonlinear conductor model in the quasistationary approximation.
- Published in:
- Theoretical & Mathematical Physics, 2017, v. 191, n. 1, p. 471, doi. 10.1134/S0040577917040018
- By:
- Publication type:
- Article
Spectrum of the Field of Computable Real Numbers.
- Published in:
- Algebra & Logic, 2017, v. 55, n. 6, p. 485, doi. 10.1007/s10469-017-9419-8
- By:
- Publication type:
- Article
Structural Theory of Degrees of Unsolvability: Advances and Open Problems.
- Published in:
- Algebra & Logic, 2015, v. 54, n. 4, p. 342, doi. 10.1007/s10469-015-9354-5
- By:
- Publication type:
- Article
Splitting and non-splitting in the difference hierarchy.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 3, p. 384, doi. 10.1017/S0960129516000244
- By:
- Publication type:
- Article
The universality of polynomial time Turing equivalence.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 3, p. 448, doi. 10.1017/S0960129516000232
- By:
- Publication type:
- Article
Autostability spectra for decidable structures.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 3, p. 392, doi. 10.1017/S096012951600030X
- By:
- Publication type:
- Article
Relatively Computable Functions of Real Variables.
- Published in:
- Computing, 2001, v. 67, n. 2, p. 167, doi. 10.1007/s006070170012
- By:
- Publication type:
- Article
Mass problems and almost everywhere domination.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 4/5, p. 483, doi. 10.1002/malq.200710013
- By:
- Publication type:
- Article
Recursive complexity of the Carnap first order modal logic C.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 87, doi. 10.1002/malq.200410057
- By:
- Publication type:
- Article
Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable Sets.
- Published in:
- Mathematical Logic Quarterly, 1991, v. 37, n. 19-22, p. 331, doi. 10.1002/malq.19910371907
- By:
- Publication type:
- Article
On the equational theory of representable polyadic equality algebras (extended abstract).
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 1, p. 3, doi. 10.1093/jigpal/6.1.3
- By:
- Publication type:
- Article
Solving the Unsolvable.
- Published in:
- 2006
- By:
- Publication type:
- Book Review
Small Universal Bacteria and Plasmid Computing Systems.
- Published in:
- Molecules, 2018, v. 23, n. 6, p. 1307, doi. 10.3390/molecules23061307
- By:
- Publication type:
- Article
A method for parametrized contingency-constrained optimal power flow (PCCOPF).
- Published in:
- Electrical Engineering in Japan, 2003, v. 144, n. 1, p. 21, doi. 10.1002/eej.10182
- By:
- Publication type:
- Article
Equilibrium Problems for Potentials with External Fields.
- Published in:
- Ukrainian Mathematical Journal, 2003, v. 55, n. 10, p. 1588, doi. 10.1023/B:UKMA.0000022070.73078.7b
- By:
- Publication type:
- Article
Global unsolvability of one-dimensional problems for Burgers-type equations.
- Published in:
- Mathematical Notes, 2015, v. 98, n. 3/4, p. 503, doi. 10.1134/S0001434615090163
- By:
- Publication type:
- Article
Robust stability of differential-algebraic equations with an arbitrary unsolvability index.
- Published in:
- Automation & Remote Control, 2017, v. 78, n. 5, p. 798, doi. 10.1134/S0005117917050034
- By:
- Publication type:
- Article
ON THE INTERPLAY BETWEEN EFFECTIVE NOTIONS OF RANDOMNESS AND GENERICITY.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 1, p. 393, doi. 10.1017/jsl.2018.53
- By:
- Publication type:
- Article
THE COMPUTATIONAL CONTENT OF INTRINSIC DENSITY.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 2, p. 817, doi. 10.1017/jsl.2018.4
- By:
- Publication type:
- Article
AVOIDING EFFECTIVE PACKING DIMENSION 1 BELOW ARRAY NONCOMPUTABLE C.E. DEGREES.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 2, p. 717, doi. 10.1017/jsl.2017.78
- By:
- Publication type:
- Article
JSL volume 82 issue 1 Cover and Front matter.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 1, p. f1, doi. 10.1017/jsl.2017.12
- Publication type:
- Article
DEGREES OF CATEGORICITY ON A CONE VIA η-SYSTEMS.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 1, p. 325, doi. 10.1017/jsl.2016.43
- By:
- Publication type:
- Article
COARSE REDUCIBILITY AND ALGORITHMIC RANDOMNESS.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1028, doi. 10.1017/jsl.2015.70
- By:
- Publication type:
- Article
THE COMPLEMENTS OF LOWER CONES OF DEGREES AND THE DEGREE SPECTRA OF STRUCTURES.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 997, doi. 10.1017/jsl.2015.59
- By:
- Publication type:
- Article
Conjectures and questions from Gerald Sacks's Degrees of Unsolvability.
- Published in:
- Archive for Mathematical Logic, 1997, v. 36, n. 4/5, p. 233, doi. 10.1007/s001530050063
- By:
- Publication type:
- Article
Iterated trees of strategies and priority arguments.
- Published in:
- Archive for Mathematical Logic, 1997, v. 36, n. 4/5, p. 297, doi. 10.1007/s001530050067
- By:
- Publication type:
- Article
Turing degrees of isomorphism types of algebraic objects.
- Published in:
- Journal of the London Mathematical Society, 2007, v. 75, n. 2, p. 273, doi. 10.1112/jlms/jdl012
- By:
- Publication type:
- Article
Torsion-free abelian groups with optimal Scott families.
- Published in:
- Journal of Mathematical Logic, 2018, v. 18, n. 1, p. N.PAG, doi. 10.1142/S0219061318500022
- By:
- Publication type:
- Article
Degrees containing members of thin Π10 classes are dense and co-dense.
- Published in:
- Journal of Mathematical Logic, 2018, v. 18, n. 1, p. N.PAG, doi. 10.1142/S0219061318500010
- By:
- Publication type:
- Article
UNSOLVABILITY CORES IN CLASSIFICATION PROBLEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 2, p. 1, doi. 10.2168/LMCS-10(2:12)2014
- By:
- Publication type:
- Article