Matches in SemOpenAlex for { <https://semopenalex.org/work/W2979541097> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2979541097 endingPage "20" @default.
- W2979541097 startingPage "15" @default.
- W2979541097 abstract "In this article we prove a theorem on the definitional embeddability into first-order predicate logic without equality of such well-known mathematical theories as group theory and the theory of Abelian groups. This result may seem surprising, since it is generally believed that these theories have a non-logical content. It turns out that the central theory of general algebra are purely logical. Could this be the reason that we find them in many branches of mathematics? This result will be of interest not only for logicians and mathematicians but also for philosophers who study foundations of logic and its relation to mathematics." @default.
- W2979541097 created "2019-10-18" @default.
- W2979541097 creator A5051493841 @default.
- W2979541097 date "2015-09-28" @default.
- W2979541097 modified "2023-09-25" @default.
- W2979541097 title "On the Definitional Embeddability of Some Elementary Algebraic Theories into the First-Order Predicate Calculus" @default.
- W2979541097 doi "https://doi.org/10.21146/2074-1472-2015-21-2-15-20" @default.
- W2979541097 hasPublicationYear "2015" @default.
- W2979541097 type Work @default.
- W2979541097 sameAs 2979541097 @default.
- W2979541097 citedByCount "0" @default.
- W2979541097 crossrefType "journal-article" @default.
- W2979541097 hasAuthorship W2979541097A5051493841 @default.
- W2979541097 hasBestOaLocation W29795410971 @default.
- W2979541097 hasConcept C100481476 @default.
- W2979541097 hasConcept C10138342 @default.
- W2979541097 hasConcept C118615104 @default.
- W2979541097 hasConcept C134306372 @default.
- W2979541097 hasConcept C136119220 @default.
- W2979541097 hasConcept C136170076 @default.
- W2979541097 hasConcept C140146324 @default.
- W2979541097 hasConcept C145420912 @default.
- W2979541097 hasConcept C162324750 @default.
- W2979541097 hasConcept C182306322 @default.
- W2979541097 hasConcept C183140480 @default.
- W2979541097 hasConcept C199343813 @default.
- W2979541097 hasConcept C199360897 @default.
- W2979541097 hasConcept C202444582 @default.
- W2979541097 hasConcept C2777686260 @default.
- W2979541097 hasConcept C2779782106 @default.
- W2979541097 hasConcept C33923547 @default.
- W2979541097 hasConcept C41008148 @default.
- W2979541097 hasConcept C71924100 @default.
- W2979541097 hasConcept C9376300 @default.
- W2979541097 hasConceptScore W2979541097C100481476 @default.
- W2979541097 hasConceptScore W2979541097C10138342 @default.
- W2979541097 hasConceptScore W2979541097C118615104 @default.
- W2979541097 hasConceptScore W2979541097C134306372 @default.
- W2979541097 hasConceptScore W2979541097C136119220 @default.
- W2979541097 hasConceptScore W2979541097C136170076 @default.
- W2979541097 hasConceptScore W2979541097C140146324 @default.
- W2979541097 hasConceptScore W2979541097C145420912 @default.
- W2979541097 hasConceptScore W2979541097C162324750 @default.
- W2979541097 hasConceptScore W2979541097C182306322 @default.
- W2979541097 hasConceptScore W2979541097C183140480 @default.
- W2979541097 hasConceptScore W2979541097C199343813 @default.
- W2979541097 hasConceptScore W2979541097C199360897 @default.
- W2979541097 hasConceptScore W2979541097C202444582 @default.
- W2979541097 hasConceptScore W2979541097C2777686260 @default.
- W2979541097 hasConceptScore W2979541097C2779782106 @default.
- W2979541097 hasConceptScore W2979541097C33923547 @default.
- W2979541097 hasConceptScore W2979541097C41008148 @default.
- W2979541097 hasConceptScore W2979541097C71924100 @default.
- W2979541097 hasConceptScore W2979541097C9376300 @default.
- W2979541097 hasIssue "2" @default.
- W2979541097 hasLocation W29795410971 @default.
- W2979541097 hasOpenAccess W2979541097 @default.
- W2979541097 hasPrimaryLocation W29795410971 @default.
- W2979541097 hasRelatedWork W1497986648 @default.
- W2979541097 hasRelatedWork W1678370088 @default.
- W2979541097 hasRelatedWork W2006990530 @default.
- W2979541097 hasRelatedWork W2021494526 @default.
- W2979541097 hasRelatedWork W2032361691 @default.
- W2979541097 hasRelatedWork W2069832399 @default.
- W2979541097 hasRelatedWork W2149376139 @default.
- W2979541097 hasRelatedWork W2963456550 @default.
- W2979541097 hasRelatedWork W3083642434 @default.
- W2979541097 hasRelatedWork W2056205479 @default.
- W2979541097 hasVolume "21" @default.
- W2979541097 isParatext "false" @default.
- W2979541097 isRetracted "false" @default.
- W2979541097 magId "2979541097" @default.
- W2979541097 workType "article" @default.