Search results
From MaRDI portal
- continuous features 2024-12-06 Paper On computable aspects of algebraic and definable closure 2022-02-08 Paper On computable learning of continuous features 2021-11-23...10 bytes (15 words) - 09:36, 11 December 2023
- approach spaces 2022-04-12 Paper On computable aspects of algebraic and definable closure 2022-02-08 Paper On computable learning of continuous features 2021-11-23...10 bytes (16 words) - 09:36, 11 December 2023
- structures 2022-07-13 Paper On computable aspects of algebraic and definable closure 2022-02-08 Paper Fraisse classes with simply characterized big Ramsey...10 bytes (13 words) - 12:36, 28 January 2024
- Publication Date of Publication Type Algebraic and definable closure in free groups 2017-02-01 Paper...10 bytes (13 words) - 11:04, 6 October 2023
- ideals 2020-10-05 Paper Closure properties of measurable ultrapowers 2020-09-20 Paper Partition properties for simply definable colourings 2020-05-20 Paper...10 bytes (14 words) - 02:05, 25 September 2023
- algebraic closure. 2015-09-28 Paper On order types of linear basic algebras. 2015-06-23 Paper Definable functions of universal algebras and definable equivalence...10 bytes (15 words) - 15:57, 8 December 2023
- their real closure and definable convex valuations 2022-04-04 Paper On Rayner structures 2022-03-01 Paper Ordered fields dense in their real closure and definable...10 bytes (13 words) - 08:14, 7 October 2023
- Amenability, connected components, and definable actions 2019-01-09 Paper On subgroups of semi-abelian varieties defined by difference equations 2017-02-09...10 bytes (15 words) - 23:19, 24 September 2023
- varieties with equationally definable principal congruences. II 1984-01-01 Paper On the structure of varieties with equationally definable principal congruences...10 bytes (16 words) - 10:14, 12 December 2023
- graphs using transitive closure 2019-01-08 Paper The power of Tarski's relation algebra on trees 2018-06-26 Paper First-order definable counting-only queries...10 bytes (13 words) - 00:51, 9 December 2023
- Paper Two-Variable First-Order Logic with Equivalence Closure 2014-09-18 Paper Functions definable by numerical set-expressions 2013-08-27 Paper The syllogistic...10 bytes (15 words) - 10:27, 7 October 2023
- recurrence relations 2022-06-08 Paper Ordered fields dense in their real closure and definable convex valuations 2022-04-04 Paper On Rayner structures 2022-03-01...10 bytes (15 words) - 21:35, 24 September 2023
- 2015-03-16 Paper Generating the Pfaffian closure with total Pfaffian functions 2012-12-17 Paper Integer-valued definable functions 2012-12-10 Paper The density...10 bytes (15 words) - 09:24, 7 October 2023
- 2024-08-27 Paper Around Zilber's quasiminimality conjecture 2023-06-09 Paper A closure operator respecting the modular \(j\)-function 2023-04-24 Paper Quasiminimality...10 bytes (13 words) - 02:30, 7 October 2023
- Interesting Sets of Real Numbers 2020-05-12 Paper When does every definable nonempty set have a definable element? 2020-05-06 Paper Incomparable ω1‐like models of...10 bytes (17 words) - 18:31, 24 September 2023
- Paper High density piecewise syndeticity of sumsets 2015-05-06 Paper Definable closure in randomizations 2015-01-23 Paper Independence relations in randomizations...10 bytes (13 words) - 08:29, 25 September 2023
- graphs using transitive closure 2019-01-08 Paper The power of Tarski's relation algebra on trees 2018-06-26 Paper First-order definable counting-only queries...10 bytes (13 words) - 14:47, 10 December 2023
- theorem for Chang models 2023-04-15 Paper Lebesgue's density theorem and definable selectors for ideals 2022-08-15 Paper CONSTRUCTING WADGE CLASSES 2022-06-30...10 bytes (13 words) - 21:48, 24 September 2023
- Completeness criterion for the enumeration closure operator in three-valued logic 2020-02-17 Paper Equational closure and closure with respect to enumeration on a...10 bytes (15 words) - 15:04, 9 December 2023
- interlace polynomial and the Tutte–Martin polynomial 2023-04-28 Paper MSO definable text languages 2022-08-18 Paper Extracting reaction systems from function...10 bytes (17 words) - 17:45, 11 December 2023