The following pages link to Aldo Ursini (Q354675):
Displaying 47 items.
- Normal subalgebras. I (Q354676) (← links)
- Weighted commutators in semi-abelian categories (Q405896) (← links)
- A good theory of ideals in regular multi-pointed categories (Q456864) (← links)
- Split short five lemma for clots and subtractive categories (Q633797) (← links)
- Ideals in universal algebras (Q798686) (← links)
- Clones satisfying the term condition (Q798688) (← links)
- Ideals and clots in pointed regular categories (Q835749) (← links)
- Ideals and clots in universal algebra and in semi-abelian categories (Q863355) (← links)
- (Q914665) (redirect page) (← links)
- Near coherence of filters. III: A simplified consistency proof (Q914666) (← links)
- Filter distributive logics (Q1066139) (← links)
- Decision problems for classes of diagonalizable algebras (Q1075310) (← links)
- Cosets in universal algebra (Q1087898) (← links)
- Near coherence of filters. I: Cofinal equivalence of models of arithmetic (Q1090677) (← links)
- Undecidability of theories of Boolean algebras with selected ideals (Q1092889) (← links)
- A model-theoretic reconstruction of Frege's permutation argument (Q1101098) (← links)
- Pointwise definable substructures of models of Peano arithmetic (Q1113901) (← links)
- The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
- Varieties with decidable finite algebras. II: Permutability (Q1124621) (← links)
- A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\) (Q1134143) (← links)
- Intuitionistic diagonalizable algebras (Q1134152) (← links)
- Full satisfaction classes: A survey (Q1182694) (← links)
- Decision problems for propositional linear logic (Q1192352) (← links)
- On the set of 'meaningful' sentences of arithmetic (Q1256458) (← links)
- A sequence of theories for arithmetic whose union is complete (Q1259592) (← links)
- Absolutely independent axiomatizations for countable sets in classical logic (Q1262297) (← links)
- On subtractive varieties. III: From ideals to congruences (Q1272112) (← links)
- On subtractive varieties II: General properties (Q1272207) (← links)
- On subtractive varieties. I (Q1319053) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Decidability of elementary theories of certain finitely defined algebras (Q1803020) (← links)
- Varieties of logical matrices (Q1821771) (← links)
- On subtractive varieties. V: Congruence modularity and the commutators (Q1866798) (← links)
- On subtractive varieties. IV: Definability of principal ideals (Q1966128) (← links)
- (Q2919779) (← links)
- What is an ideal a zero-class of? (Q2978564) (← links)
- (Q3216715) (← links)
- (Q3728050) (← links)
- (Q3864523) (← links)
- (Q3938874) (← links)
- (Q4022820) (← links)
- (Q4177545) (← links)
- (Q4559854) (← links)
- (Q4931926) (← links)
- (Q5181407) (← links)
- (Q5181408) (← links)
- (Q5678913) (← links)
