Search results
From MaRDI portal
- V. P. Dobritsa (section List of research outcomes)1996-07-16 Paper Computability of the set of computable indexing schemes of the class of constructible models 1995-09-25 Paper Conditions of effective infinity...10 bytes (15 words) - 08:55, 12 December 2023
- Yu. G. Ventsov (section List of research outcomes)1995-11-02 Paper Constructive models of regularly infinite algorithmic dimension 1995-05-17 Paper Computable classes of constructivizations for models of infinite...10 bytes (15 words) - 06:17, 7 October 2023
- Andrei S. Morozov (section List of research outcomes)Properties of Computable Algebras 2010-07-29 Paper On computable presentations of some functional lattices 2009-12-18 Paper Effective categoricity of abelian...10 bytes (15 words) - 00:08, 11 December 2023
- S. S. Goncharov (section List of research outcomes)Paper Computable classes of constructivizations for models of finite constructivizability type 1994-11-08 Paper Some effectively infinite classes of enumerations...10 bytes (17 words) - 13:05, 10 December 2023
- Steffen Lempp (section List of research outcomes)Paper The computable dimension of ordered abelian groups 2003-05-27 Paper THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS 2003-05-15...10 bytes (15 words) - 00:55, 25 September 2023
- Nikolay Bazhenov (section List of research outcomes)Index sets of autostable relative to strong constructivizations constructive models for familiar classes 2016-01-29 Paper Computable numberings of the class...10 bytes (14 words) - 17:02, 11 December 2023
- Iosif Petrakis (section List of research outcomes)arrows 2023-03-26 Paper Strict computability models over categories and presheaves 2023-01-04 Paper Functions of Baire class one over a Bishop topology 2022-12-16...10 bytes (13 words) - 14:37, 6 October 2023
- Cristobal Rojas (section List of research outcomes)systems 2016-07-26 Paper Non-computable impressions of computable external rays of quadratic polynomials 2015-03-31 Paper Computable Carathéodory theory 2014-09-08...10 bytes (13 words) - 19:22, 11 December 2023
- N. G. Khisamiev (section List of research outcomes)fields of real numbers 1987-01-01 Paper Hierarchies of torsion-free Abelian groups 1986-01-01 Paper Theory of Abelian groups with constructive models 1986-01-01...10 bytes (15 words) - 17:01, 6 October 2023
- John Case (section List of research outcomes)Publication Date of Publication Type Machine induction without revolutionary paradigm shifts 2023-12-08 Paper On the classification of computable languages 2022-11-09...10 bytes (13 words) - 02:32, 9 December 2023
- A. Shen (section List of research outcomes)2007-09-28 Paper Theory and Applications of Models of Computation 2007-04-30 Paper Theory and Applications of Models of Computation 2007-04-30 Paper Partitioning...10 bytes (15 words) - 12:28, 28 January 2024
- a given class 1981-01-01 Paper Hierarchy of complexity of computation of partial functions with values 0 and 1 1981-01-01 Paper Decidability of the universal...10 bytes (15 words) - 17:34, 9 December 2023
- A. B. Shabat (section List of research outcomes)Publication Date of Publication Type On One Class of Solutions of the Darboux System 2021-12-02 Paper Products of eigenfunctions and Wronskians...10 bytes (16 words) - 13:53, 8 December 2023
- Frank Stephan (section List of research outcomes)Applications of Models of Computation 2007-04-30 Paper Theory and Applications of Models of Computation 2007-04-30 Paper Theory and Applications of Models of Computation...10 bytes (15 words) - 11:36, 28 January 2024
- L. Jódar (section List of research outcomes)Paper Modeling dynamics of infant obesity in the region of Valencia, Spain 2009-03-12 Paper Random analytic solution of coupled differential models with...10 bytes (16 words) - 13:30, 8 December 2023
- V. G. Skobelev (section List of research outcomes)2012-07-31 Paper Analysis of the characteristics of constructive pseudo-fractals 2012-07-31 Paper On some class of automata-algebraic models of transducers 2012-07-16...10 bytes (15 words) - 00:20, 10 December 2023
- Yuri L. Ershov (section List of research outcomes)de/entity/Q5715076 2005-12-19 Paper Abstract class field theory (formatting of modules) 2005-12-12 Paper Local class field theory 2005-05-04 Paper https://portal...10 bytes (17 words) - 21:42, 8 December 2023
- Hajime Ishihara (section List of research outcomes)technique in constructive analysis 2004-06-15 Paper A constructive look at the completeness of the space (ℝ) 2004-03-01 Paper Constructive closed range...10 bytes (13 words) - 00:43, 25 September 2023
- Robert I. Soare (section List of research outcomes)1984-01-01 Paper Two theorems on degrees of models of true arithmetic 1984-01-01 Paper Automorphisms of the lattice of recursively enumerable sets. Part II:...10 bytes (17 words) - 05:17, 9 December 2023
- C. R. Leedham-Green (section List of research outcomes)groups and groups of prime-power order. I 1980-01-01 Paper ON p-GROUPS OF MAXIMAL CLASS II 1978-01-01 Paper ON p-GROUPS OF MAXIMAL CLASS III 1978-01-01 Paper...10 bytes (18 words) - 01:21, 12 December 2023
