Works matching DE "COMPUTABLE model theory"
Results: 38
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- Publication type:
- Article
Metacomputable.
- Published in:
- Entropy, 2017, v. 19, n. 11, p. 630, doi. 10.3390/e19110630
- By:
- 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:
- 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
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article