Matches in SemOpenAlex for { <https://semopenalex.org/work/W2465200421> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W2465200421 endingPage "28" @default.
- W2465200421 startingPage "3" @default.
- W2465200421 abstract "Les quasi-equations, donnees par des paires paralleles de morphismes finitaires, representent des proprietes des objets: un objet satisfait la propriete si son foncteur hom contravariant fusionne les morphismes de la paire. Recemment Adamek et Hebert ont caracterise les sous-categories des categories localement de presentation finie specifiees par des quasi-equations. Nous presentons ici une logique de quasi-equations proche de la logique classique equationnelle de Birkhoff. Nous prouvons qu'elle est consistante et complete dans toute categorie localement presentation finie avec relations d'equivalence effectives." @default.
- W2465200421 created "2016-07-22" @default.
- W2465200421 creator A5038462111 @default.
- W2465200421 creator A5079109887 @default.
- W2465200421 date "2009-01-01" @default.
- W2465200421 modified "2023-09-26" @default.
- W2465200421 title "ON QUASI-EQUATIONS IN LOCALLY PRESENTABLE CATEGORIES II: A LOGIC" @default.
- W2465200421 hasPublicationYear "2009" @default.
- W2465200421 type Work @default.
- W2465200421 sameAs 2465200421 @default.
- W2465200421 citedByCount "0" @default.
- W2465200421 crossrefType "journal-article" @default.
- W2465200421 hasAuthorship W2465200421A5038462111 @default.
- W2465200421 hasAuthorship W2465200421A5079109887 @default.
- W2465200421 hasConcept C136119220 @default.
- W2465200421 hasConcept C154564781 @default.
- W2465200421 hasConcept C154690210 @default.
- W2465200421 hasConcept C199343813 @default.
- W2465200421 hasConcept C199360897 @default.
- W2465200421 hasConcept C202444582 @default.
- W2465200421 hasConcept C206236147 @default.
- W2465200421 hasConcept C2777686260 @default.
- W2465200421 hasConcept C33923547 @default.
- W2465200421 hasConcept C41008148 @default.
- W2465200421 hasConcept C54884031 @default.
- W2465200421 hasConcept C71924100 @default.
- W2465200421 hasConceptScore W2465200421C136119220 @default.
- W2465200421 hasConceptScore W2465200421C154564781 @default.
- W2465200421 hasConceptScore W2465200421C154690210 @default.
- W2465200421 hasConceptScore W2465200421C199343813 @default.
- W2465200421 hasConceptScore W2465200421C199360897 @default.
- W2465200421 hasConceptScore W2465200421C202444582 @default.
- W2465200421 hasConceptScore W2465200421C206236147 @default.
- W2465200421 hasConceptScore W2465200421C2777686260 @default.
- W2465200421 hasConceptScore W2465200421C33923547 @default.
- W2465200421 hasConceptScore W2465200421C41008148 @default.
- W2465200421 hasConceptScore W2465200421C54884031 @default.
- W2465200421 hasConceptScore W2465200421C71924100 @default.
- W2465200421 hasIssue "1" @default.
- W2465200421 hasLocation W24652004211 @default.
- W2465200421 hasOpenAccess W2465200421 @default.
- W2465200421 hasPrimaryLocation W24652004211 @default.
- W2465200421 hasVolume "51" @default.
- W2465200421 isParatext "false" @default.
- W2465200421 isRetracted "false" @default.
- W2465200421 magId "2465200421" @default.
- W2465200421 workType "article" @default.