Works matching DE "COMPUTABLE model theory"

Results: 38

INTEGRATING THE TAILS OF TWO MACLAURIN SERIES.

Published in:

Journal of Classical Analysis, 2021, v. 18, n. 1, p. 83, doi. 10.7153/jca-2021-18-06

By:

GORDON, RUSSELL A.

Publication type:

Article

SHARP ERROR BOUNDS FOR TURNING POINT EXPANSIONS.

Published in:

Journal of Classical Analysis, 2021, v. 18, n. 1, p. 49, doi. 10.7153/jca-2021-18-05

By:

DUNSTER, T. M.;
GIL, A.;
SEGURA, J.

Publication type:

Article

The existence of strongly computable representations in the class of Boolean algebras.

Published in:

Doklady Mathematics, 2012, v. 86, n. 1, p. 469, doi. 10.1134/S1064562412040084

By:

Leontyeva, M.

Publication type:

Article

Strong jump inversion.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1499, doi. 10.1093/logcom/exy025

By:

Calvert, W;
Frolov, A;
Harizanov, V;
Knight, J;
Mccoy, C;
Soskova, A;
Vatev, S

Publication type:

Article

Singleton enumeration reducibility and arithmetic.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 6, p. 1267, doi. 10.1093/logcom/ext043

By:

Marsibilio, Daniele;
Sorbi, Andrea

Publication type:

Article

Classes of structures with universe a subset of ω1.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 6, p. 1249, doi. 10.1093/logcom/ext042

By:

Fokina, Ekaterina;
Friedman, Sy-David;
Knight, Julia;
Miller, Russell

Publication type:

Article

Two-to-one structures.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 6, p. 1195, doi. 10.1093/logcom/ext040

By:

Cenzer, Douglas;
Harizanov, Valentina;
Remmel, Jeffrey B.

Publication type:

Article

On constructive models of theories with linear Rudin-Keisler ordering.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 793, doi. 10.1093/logcom/exq043

By:

Gavryushkin, Alexander

Publication type:

Article

M2-computable real numbers.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 899, doi. 10.1093/logcom/exq050

By:

Skordev, Dimiter;
Weiermann, Andreas;
Georgiev, Ivan

Publication type:

Article

Compactness arguments with effectively closed sets for the study of relative randomness.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 679, doi. 10.1093/logcom/exq036

By:

Barmpalias, George

Publication type:

Article

Algorithmic reducibilities of algebraic structures.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 831, doi. 10.1093/logcom/exq046

By:

Kalimullin, Iskander

Publication type:

Article

Spectra of highn and non-lown degrees.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 755, doi. 10.1093/logcom/exq041

By:

Frolov, Andrey;
Kalimullin, Iskander;
Harizanov, Valentina;
Kudinov, Oleg;
Miller, Russell

Publication type:

Article

Model-theoretic properties of the n-c.e. degrees.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 669, doi. 10.1093/logcom/exq034

By:

Arslanov, Marat M.

Publication type:

Article

Computability in Specification.

Published in:

Journal of Logic & Computation, 2006, v. 16, n. 6, p. 841, doi. 10.1093/logcom/exl012

By:

Raymond, Turner

Publication type:

Article

Degrees of Autostability Relative to Strong Constructivizations of Graphs.

Published in:

Siberian Mathematical Journal, 2018, v. 59, n. 4, p. 565, doi. 10.1134/S0037446618040018

By:

Bazhenov, N. A.;
Marchuk, M. I.

Publication type:

Article

There is no classification of the decidably presentable structures.

Published in:

Journal of Mathematical Logic, 2018, v. 18, n. 2, p. N.PAG, doi. 10.1142/S0219061318500101

By:

Harrison-Trainor, Matthew

Publication type:

Article

COMPUTABLE POLISH GROUP ACTIONS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 2, p. 443, doi. 10.1017/jsl.2017.68

By:

MELNIKOV, ALEXANDER;
MONTALBÁN, ANTONIO

Publication type:

Article

A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 326, doi. 10.1017/jsl.2017.50

By:

MILLER, RUSSELL;
POONEN, BJORN;
SCHOUTENS, HANS;
SHLAPENTOKH, ALEXANDRA

Publication type:

Article

COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY.

Published in:

Journal of Symbolic Logic, 2017, v. 82, n. 1, p. 77, doi. 10.1017/jsl.2016.12

By:

Harrison-Trainor, Matthew;
Melnikov, Alexander;
Miller, Russell;
Montalbán, Antonio

Publication type:

Article

THE COMPLEXITY OF INDEX SETS OF CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS.

Published in:

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

By:

ANDREWS, URI;
SORBI, ANDREA

Publication type:

Article

CLASSES OF STRUCTURES WITH NO INTERMEDIATE ISOMORPHISM PROBLEMS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 1, p. 127, doi. 10.1017/jsl.2014.55

By:

MONTALBÁN, ANTONIO

Publication type:

Article

LT²C²: A language of thought with Turing-computable Kolmogorov complexity.

Published in:

Papers in Physics, 2013, v. 5, p. 1, doi. 10.4279/PIP.050001

By:

Romano, Sergio;
Sigman, Mariano;
Figueira, Santiago

Publication type:

Article

Metacomputable.

Published in:

Entropy, 2017, v. 19, n. 11, p. 630, doi. 10.3390/e19110630

By:

Bołtúc, Piotr

Publication type:

Article

Computational Modeling for Fluid-Structure Interaction of Bioprosthetic Heart Valve with Different Suture Density: Comparison with Dynamic Structure Simulation.

Published in:

International Journal of Pattern Recognition & Artificial Intelligence, 2017, v. 31, n. 11, p. -1, doi. 10.1142/S0218001417570075

By:

Wang, Z. C.;
Yuan, Q.;
Zhu, H. W.;
Shen, B. S.;
Tang, D.

Publication type:

Article

Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations.

Published in:

Journal of Mathematical Sciences, 2017, v. 221, n. 6, p. 840, doi. 10.1007/s10958-017-3272-0

By:

Goncharov, S.;
Bazhenov, N.;
Marchuk, M.

Publication type:

Article

A Hanf number for saturation and omission: the superstable case.

Published in:

Mathematical Logic Quarterly, 2014, v. 60, n. 6, p. 437, doi. 10.1002/malq.201300022

By:

Baldwin, John T.;
Shelah, Saharon

Publication type:

Article

On the strong cell decomposition property for weakly o-minimal structures.

Published in:

Mathematical Logic Quarterly, 2013, v. 59, n. 6, p. 452, doi. 10.1002/malq.201200016

By:

Wencel, Roman

Publication type:

Article

Strongly minimal theories with recursive models.

Published in:

Journal of the European Mathematical Society (EMS Publishing), 2018, v. 20, n. 7, p. 1561, doi. 10.4171/JEMS/793

By:

Andrews, Uri;
Knight, Julia F.

Publication type:

Article

Structures Computable in Polynomial Time. I.

Published in:

Algebra & Logic, 2017, v. 55, n. 6, p. 421, doi. 10.1007/s10469-017-9416-y

By:

Alaev, P.

Publication type:

Article

Index Set of Structures with Two Equivalence Relations That Are Autostable Relative to Strong Constructivizations.

Published in:

Algebra & Logic, 2016, v. 55, n. 4, p. 306, doi. 10.1007/s10469-016-9400-y

By:

Marchuk, M.

Publication type:

Article

Index Sets of Constructive Models of Finite and Graph Signatures that are Autostable Relative to Strong Constructivizations.

Published in:

Algebra & Logic, 2016, v. 54, n. 6, p. 428, doi. 10.1007/s10469-016-9365-x

By:

Goncharov, S.;
Marchuk, M.

Publication type:

Article

Strong Constructivizability of Boolean Algebras of Elementary Characteristic (∞, 0, 0).

Published in:

Algebra & Logic, 2014, v. 53, n. 2, p. 119, doi. 10.1007/s10469-014-9276-7

By:

Leontieva*, M.

Publication type:

Article

Computability-Theoretic Properties of Injection Structures.

Published in:

Algebra & Logic, 2014, v. 53, n. 1, p. 39, doi. 10.1007/s10469-014-9270-0

By:

Cenzer*, D.;
Harizanov**, V.;
Remmel***, J.

Publication type:

Article

MACHINE LEARNING BASED INVENTORY, LOGISTICS AND PREDICTION APPLICATION.

Published in:

i-Manager's Journal on Information Technology, 2020, v. 9, n. 3, p. 16, doi. 10.26634/jit.9.3.18130

By:

RANGASAMY, NITHIN SRIHARI;
SELVAKUMAR, PRASHANTH;
ANNADURAI, PRABAKARAN;
VANATHI, B.

Publication type:

Article

FORCING WITH BUSHY TREES.

Published in:

Bulletin of Symbolic Logic, 2017, v. 23, n. 2, p. 160, doi. 10.1017/bsl.2017.12

By:

KHAN, MUSHFEQ;
MILLER, JOSEPH S.

Publication type:

Article

2014–2015 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Henry B. Gonzalez Convention Center San Antonio, TX, USA January 12–13, 2015.

Published in:: 2015
Publication type:: Proceeding

BSL volume 21 issue 2 Cover and Back matter.

Published in:: Bulletin of Symbolic Logic, 2015, v. 21, n. 2, p. b1, doi. 10.1017/bsl.2015.21
Publication type:: Article

BSL volume 21 issue 2 Cover and Front matter.

Published in:: Bulletin of Symbolic Logic, 2015, v. 21, n. 2, p. f1, doi. 10.1017/bsl.2015.20
Publication type:: Article