Search results
From MaRDI portal
- are autostable relative to strong constructivizations 2017-07-18 Paper The index set of the groups autostable relative to strong constructivizations 2017-06-30...10 bytes (18 words) - 14:05, 10 December 2023
- Degree of Autostability Relative to Strong Constructivizations 2015-10-20 Paper The index set of Boolean algebras autostable relative to strong constructivizations...10 bytes (17 words) - 18:02, 11 December 2023
- algebras autostable relative to strong constructivizations 2015-09-28 Paper Index sets of constructive models of nontrivial signature autostable relative to...10 bytes (19 words) - 14:05, 10 December 2023
- nematodynamics. Finite speed of propagation 2015-09-28 Paper Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals 2015-09-28...10 bytes (16 words) - 11:13, 6 October 2023
- spectrum relative to strong constructivizations; degree of autostability relative to strong constructivizations; PA-degree Mathematics Subject Classification...15 bytes (90 words) - 04:17, 1 February 2024
- Keywords index set; autostability; computable model; linear ordering; autostability relative to strong constructivizations; strongly constructivizable model;...15 bytes (63 words) - 05:56, 7 March 2024
- Keywords index set; group; autostability; computable model; autostability relative to strong constructivizations; strongly constructivizable model; hyperarithmetical...15 bytes (68 words) - 18:38, 2 February 2024
- Brave) zbMATH Keywords Boolean algebra; autostability; prime model; autostability relative to strong constructivizations; \(I\)-algebra; Boolean algebra with...15 bytes (78 words) - 06:15, 30 January 2024
- Keywords index set; real closed field; strong constructivization; autostability relative to strong constructivizations; decidable structure; equivalence structure;...15 bytes (81 words) - 02:36, 2 February 2024
- model; computable categoricity; decidable model; autostability relative to strong constructivizations; PA-degree; decidable categoricity spectrum; degree...15 bytes (81 words) - 20:41, 1 February 2024
- set; degree of categoricity; autostability; autostability relative to strong constructivizations; degree of autostability Mathematics Subject Classification...15 bytes (86 words) - 18:47, 2 February 2024
- of categoricity; linear order; autostability; computable categoricity; autostability relative to strong constructivizations; decidable categoricity Mathematics...15 bytes (85 words) - 20:13, 1 February 2024
- commutative semigroup; autostability; computable model; hyperarithmetic hierarchy; autostability relative to strong constructivizations; strongly constructivizable...15 bytes (86 words) - 06:15, 30 January 2024
- structure; linear order; autostability relative to strong constructivizations; hyperarithmetical hierarchy; irreflexive directed graph; strongly constructivizable...15 bytes (85 words) - 18:47, 2 February 2024
- categoricity; autostability; computable model; computable categoricity; prime model; decidable model; autostability relative to strong constructivizations; autostability...15 bytes (94 words) - 04:29, 1 February 2024
- categoricity; ordered abelian group; linear ordering; autostability relative to strong constructivizations; autostability spectrum; decidable structure Mathematics...15 bytes (97 words) - 22:05, 3 February 2024
- element degree spectrum Strong and weak constructivization and computable families The quantity of nonautoequivalent constructivizations Handbook of recursive...15 bytes (322 words) - 04:06, 1 February 2024