Axiomatizations of universal classes through infinitary logic (Q1652858): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q129946644, #quickstatements; #temporary_batch_1724809781087 |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00012-018-0507-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2799774902 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formulas and ultraproducts in categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5762080 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finitely axiomatizable quasivarieties of graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model theory. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Protoalgebraic logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some characterization theorems for infinitary universal Horn logic without equality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to Boolean Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4220413 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4517143 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4864753 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5682023 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Implicationally Defined Classes of Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-equational bases for graphs of semigroups, monoids and groups. / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q129946644 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:58, 28 August 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Axiomatizations of universal classes through infinitary logic |
scientific article |
Statements
Axiomatizations of universal classes through infinitary logic (English)
0 references
16 July 2018
0 references
axiomatisations
0 references
infinitary logic
0 references
universal classes
0 references
unary class operators
0 references