Search results
From MaRDI portal
- 2020-06-24 Paper A remark on a paper of I. V. Latkin 2015-11-13 Paper Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0...10 bytes (18 words) - 21:37, 11 December 2023
- Publication Date of Publication Type A criterion for strong constructivizability of a class of abelian p- groups 1984-01-01 Paper...10 bytes (18 words) - 13:55, 23 September 2023
- Theories with three countable models 1981-01-01 Paper Criterion for strong constructivizability of a homogeneous model 1979-01-01 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 01:14, 10 December 2023
- of the class of strongly constructivizable abelian \(p\)-groups 1999-10-28 Paper Computability of the class of strongly constructivizable Abelian \(p\)-groups...10 bytes (18 words) - 15:58, 24 September 2023
- 1985-01-01 Paper Group \(Aut_ r<Q,\leq >\) is not constructivizable 1984-01-01 Paper Strong constructivizability of countable saturated Boolean algebras 1983-01-01...10 bytes (18 words) - 01:08, 11 December 2023
- the reduced part of a strongly constructive torsion-free Abelian group 1985-01-01 Paper A criterion for strong constructivizability of a class of abelian...10 bytes (18 words) - 18:01, 6 October 2023
- that are autostable relative to strong constructivizations 2016-05-12 Paper Index sets of autostable relative to strong constructivizations constructive...10 bytes (19 words) - 14:05, 10 December 2023
- Autostability and extensions of constructivizations 1984-01-01 Paper Constructivizability of a prime model 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3039326...10 bytes (19 words) - 16:55, 12 December 2023
- autostability relative to strong constructivizations for Boolean algebras 2017-07-18 Paper Degrees of categoricity vs. strong degrees of categoricity 2017-07-18...10 bytes (17 words) - 18:02, 11 December 2023
- decidability; finite axiomatizability; countable categoricity; strong constructivizability; Boolean algebras with distinguished ideals Mathematics Subject...15 bytes (49 words) - 02:50, 31 January 2024
- autostability relative to strong constructivizations; \(I\)-algebra; Boolean algebra with distinguished ideals; strong constructivizability Mathematics Subject...15 bytes (78 words) - 06:15, 30 January 2024
- org/doc/187088 zbMATH Keywords strong constructivizability; recursive model theory; existence problem for strongly constructivizable homogeneous models Mathematics...15 bytes (80 words) - 05:37, 31 January 2024
- subgroups; arithmetic hierarchy; strong constructivizability; abelian \(p\)-groups; torsion-free abelian groups; constructivizable models; factor groups; recursive...15 bytes (81 words) - 17:24, 6 February 2024
- restricted calculus of predicates; strong constructivizability of Abelian p-groups; strongly constructive group; strongly constructive model Mathematics Subject...15 bytes (96 words) - 00:39, 31 January 2024
- QIDQ3867985 N. G. Khisamiev Publication date: 1977 zbMATH Keywords strongly constructivizable abelian group Mathematics Subject Classification ID 20A15: Applications...15 bytes (38 words) - 19:15, 5 February 2024
- complete decidable theory; constructive enumerations; strongly constructive models; strongly constructivizable models Mathematics Subject Classification ID 03C99:...15 bytes (65 words) - 05:14, 31 January 2024
- theory; prime model; denumerable homogeneous models; existence of strongly constructivizable models Mathematics Subject Classification ID 03C99: Model theory...15 bytes (65 words) - 05:02, 31 January 2024
- Abelian \(p\)-groups; Ulm subgroups; \(n\)-computability; strong computability; strongly constructivizable groups Mathematics Subject Classification ID 20K10:...15 bytes (65 words) - 11:36, 31 January 2024
- model; linear ordering; autostability relative to strong constructivizations; strongly constructivizable model; computable ordinal Mathematics Subject Classification...15 bytes (63 words) - 05:56, 7 March 2024
- distinguished subalgebra; strongly constructivizable models; Boolean pairs; Boolean algebras with distinguished automorphism; strong constructivity Mathematics...15 bytes (67 words) - 16:57, 5 February 2024
