A Characterization of the N-Ary Many-Sorted Closure Operators and a Many-Sorted Tarski Irredundant Basis Theorem

Quaestiones Mathematicae - United Kingdom
doi 10.2989/16073606.2018.1532931
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

Informa UK Limited

Related search

Many-Sorted and Single-Sorted Algebras

Algebra Universalis
Number TheoryLogicAlgebra
2013English

Many-Sorted Logic in a Learning Theorem Prover

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Many-Valued and Many-Sorted Structure Relations

2019English

On Many-Sorted Ω-Categorical Theories

Fundamenta Mathematicae
Number TheoryAlgebra
2011English

Connecting Many-Sorted Structures and Theories Through Adjoint Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Multi-Sorted Argumentation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Linear Two-Sorted Arithmetic

English

A Picard Type Theorem for Quasiregular Mappings of $\Mathbb R^n$ Into $N$-Manifolds With Many Ends

Revista Matematica Iberoamericana
Mathematics
1992English

The Cantor–Bernstein Theorem: How Many Proofs?

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy