Search results
From MaRDI portal
- de/entity/Q4141282 1977-01-01 Paper Homomorphisms of elementary types of Boolean algebras 1976-01-01 Paper Elementary equivalence and relatively free products of...10 bytes (16 words) - 10:35, 13 December 2023
- Publication Date of Publication Type Ultrafilters and the basis property 1976-01-01 Paper Ultraproducts and elementary types of some groups related to infinite...10 bytes (20 words) - 11:58, 13 December 2023
- Publication Date of Publication Type Realisability in weak systems of explicit mathematics 2011-12-23 Paper Elementary explicit types and polynomial time operations...10 bytes (16 words) - 02:58, 7 October 2023
- de/entity/Q3794162 1985-01-01 Paper Forking types and rank functions in stable theories 1983-01-01 Paper Properties of m-types in stable theories 1981-01-01 Paper...10 bytes (18 words) - 11:51, 7 October 2023
- 2011-03-09 Paper UNFOLDING FINITIST ARITHMETIC 2011-01-12 Paper Elementary explicit types and polynomial time operations 2009-06-11 Paper Primitive recursive...10 bytes (16 words) - 03:59, 7 October 2023
- Call-by-Value λ-Calculus 2020-01-24 Paper Call-by-value, elementary time and intersection types 2018-10-25 Paper https://portal.mardi4nfdi.de/entity/Q4580327...10 bytes (21 words) - 03:07, 10 December 2023
- abstract elementary classes 2013-04-25 Paper Category-theoretic aspects of abstract elementary classes 2011-09-22 Paper A topology for galois types in abstract...10 bytes (19 words) - 02:41, 10 December 2023
- 2007-10-17 Paper https://portal.mardi4nfdi.de/entity/Q5292126 2007-06-19 Paper Elementary epimorphisms 2006-01-16 Paper PURE-PROJECTIVE MODULES 2005-05-23 Paper...10 bytes (17 words) - 18:10, 12 December 2023
- (Higher) Inductive Types 2021-01-20 Paper Mathesis Universalis and Homotopy Type Theory 2020-08-10 Paper A proposition is the (homotopy) type of its proofs...10 bytes (17 words) - 06:27, 9 December 2023
- 2017-04-04 Paper Types in Programming Languages, Between Modelling, Abstraction, and Correctness 2016-08-17 Paper (Optimal) duplication is not elementary recursive...10 bytes (17 words) - 11:23, 12 December 2023
- 2016-07-07 Paper Elementary subalgebras of Lie algebras 2015-09-11 Paper Tensor ideals and varieties for modules of quantum elementary abelian groups 2015-07-20...10 bytes (17 words) - 19:52, 11 December 2023
- Chevalley groups of different types over commutative rings. 2012-10-26 Paper Automorphisms of elementary adjoint Chevalley groups of types \(A_l\), \(D_l\), and...10 bytes (18 words) - 15:14, 6 October 2023
- stable range of class full matrices over elementary divisor ring 2015-03-12 Paper A sharp Bézout domain is an elementary divisor ring 2015-03-04 Paper Decomposition...10 bytes (18 words) - 15:16, 9 December 2023
- surfaces 2022-03-11 Paper The homotopy types of \(\mathrm{SO}(4)\)-gauge groups 2021-08-24 Paper The homotopy types of \(U(n)\)-gauge groups over lens spaces...10 bytes (18 words) - 11:38, 11 December 2023
- On polymorphic types of untyped terms 2014-06-10 Paper https://portal.mardi4nfdi.de/entity/Q2882383 2012-05-04 Paper On Polymorphic Types of Untyped Terms...10 bytes (17 words) - 09:16, 12 December 2023
- cellular injectives 2019-11-12 Paper Internal sizes in \(\mu\)-abstract elementary classes 2019-07-03 Paper Factorization and local presentability in topological...10 bytes (17 words) - 16:22, 8 December 2023
- intersections 1983-01-01 Paper Score vectors of tournaments 1979-01-01 Paper An elementary proof of Moon's theorem on generalized tournaments 1977-01-01 Paper Finite...10 bytes (19 words) - 01:00, 13 December 2023
- shape-from-focus 2013-06-04 Paper Union and intersection types to support both dynamic and static typing 2013-04-04 Paper Multi-level pixel-based texture classification...10 bytes (18 words) - 13:16, 12 December 2023
- failure of omitting types for \(L_n\) 2021-09-07 Paper Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal...10 bytes (18 words) - 16:22, 9 December 2023
- Publication Date of Publication Type Algebraic types in PER models 2023-04-12 Paper Elementary fibrations of enriched groupoids 2022-06-24 Paper A characterisation...10 bytes (16 words) - 01:50, 9 December 2023
