Works matching DE "UNSOLVABILITY (Mathematical logic)"

Results: 30

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:

Shcheglova, A.;
Kononov, A.

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:

Yushkov, E.;
Korpusov, M.

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:

Shore, Richard A.

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:

Lempp, Steffen;
Lerman, Manuel

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:

Nemeti, I;
Sagi, G

Publication type:

Article

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:

Korpusov, M.;
Yushkov, E.

Publication type:

Article

Solving the Unsolvable.

Published in:

2006

By:

Leng, Mary

Publication type:

Book Review

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:

Melnikov, Alexander G.

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:

Downey, Rodney G.;
Wu, Guohua;
Yang, Yue

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:

BIENVENU, LAURENT;
PORTER, CHRISTOPHER P.

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:

DOWNEY, ROD;
STEPHENSON, JONATHAN

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:

ASTOR, ERIC P.

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:

Csima, Barbara F.;
Harrison-Trainor, Matthew

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:

HIRSCHFELDT, DENIS R.;
JOCKUSCH, CARL G.;
KUYPER, RUTGER;
SCHUPP, PAUL E.

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:

ANDREWS, URI;
CAI, MINGZHONG;
KALIMULLIN, ISKANDER SH.;
LEMPP, STEFFEN;
MILLER, JOSEPH S.;
MONTALBÁN, ANTONIO

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:

ARSLANOV, MARAT

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:

MARKS, ANDREW

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:

BAZHENOV, NIKOLAY

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:

Lerman, Manuel

Publication type:

Article

Relatively Computable Functions of Real Variables.

Published in:

Computing, 2001, v. 67, n. 2, p. 167, doi. 10.1007/s006070170012

By:

Qing Zhou

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:

Simpson, Stephen G.

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:

Gheerbrant, Amélie;
Mostowski, Marcin

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:

Wesley Calvert;
Valentina Harizanov;
Alexandra Shlapentokh

Publication type:

Article

Small Universal Bacteria and Plasmid Computing Systems.

Published in:

Molecules, 2018, v. 23, n. 6, p. 1307, doi. 10.3390/molecules23061307

By:

Wang, Xun;
Zheng, Pan;
Ma, Tongmao;
Song, Tao

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:

Zorii, N. V.

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:

Korovina, M.;
Kudinov, O.

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:

Arslanov, M.

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:

BRANDT, ULRIKE;
WALTER, HERMANN K.-G.

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:

Tanabe, Ryuya;
Tada, Yasuyuki;
Sekine, Yasuji

Publication type:

Article