This HTML5 document contains 40 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n17http://localhost/temp/predkladatel/
n9http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F09%3A00207326%21RIV10-MSM-11320___/
n12http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F09%3A00207326%21RIV10-MSM-11320___
rdf:type
skos:Concept n16:Vysledek
dcterms:description
For quasivarieties of algebras, we consider the property of having definable relative principal subcongruences, a generalization of the concepts of definable relative principal congruences and definable principal subcongruences. We prove that a quasivariety of algebras with definable relative principal subcongruences has a finite quasiequational basis if and only if the class of its relative (finitely) subdirectly irreducible algebras is strictly elementary. For quasivarieties of algebras, we consider the property of having definable relative principal subcongruences, a generalization of the concepts of definable relative principal congruences and definable principal subcongruences. We prove that a quasivariety of algebras with definable relative principal subcongruences has a finite quasiequational basis if and only if the class of its relative (finitely) subdirectly irreducible algebras is strictly elementary.
dcterms:title
Quasivarieties with Definable Relative Principal Subcongruences Quasivarieties with Definable Relative Principal Subcongruences
skos:prefLabel
Quasivarieties with Definable Relative Principal Subcongruences Quasivarieties with Definable Relative Principal Subcongruences
skos:notation
RIV/00216208:11320/09:00207326!RIV10-MSM-11320___
n4:aktivita
n13:P
n4:aktivity
P(LC505)
n4:cisloPeriodika
92
n4:dodaniDat
n12:2010
n4:domaciTvurceVysledku
Stronkowski, Michal
n4:druhVysledku
n11:J
n4:duvernostUdaju
n7:S
n4:entitaPredkladatele
n10:predkladatel
n4:idSjednocenehoVysledku
337896
n4:idVysledku
RIV/00216208:11320/09:00207326
n4:jazykVysledku
n15:eng
n4:klicovaSlova
Quasivarieties; Definable; Relative; Principal; Subcongruences
n4:klicoveSlovo
n6:Relative n6:Subcongruences n6:Quasivarieties n6:Principal n6:Definable
n4:kodStatuVydavatele
DE - Spolková republika Německo
n4:kontrolniKodProRIV
[E3F77355F48E]
n4:nazevZdroje
Studia Logica
n4:obor
n14:BA
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
2
n4:projekt
n9:LC505
n4:rokUplatneniVysledku
n12:2009
n4:svazekPeriodika
2009
n4:tvurceVysledku
Nurakunov, A. M. Stronkowski, Michal
s:issn
0039-3215
s:numberOfPages
12
n17:organizacniJednotka
11320