Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123055973> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2123055973 endingPage "164" @default.
- W2123055973 startingPage "151" @default.
- W2123055973 abstract "We define the concept of a logic frame , which extends the concept of an abstract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the set of axioms are recursively coded. A recursive logic frame is called complete (recursively compact , ℵ0-compact ), if every finite (respectively: recursive, countable) consistent theory has a model. We show that for logic frames built from the cardinality quantifiers “there exists at least λ ” completeness always implies .0-compactness. On the other hand we show that a recursively compact logic frame need not be ℵ0-compact. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)" @default.
- W2123055973 created "2016-06-24" @default.
- W2123055973 creator A5024923217 @default.
- W2123055973 creator A5067128079 @default.
- W2123055973 date "2006-03-01" @default.
- W2123055973 modified "2023-09-27" @default.
- W2123055973 title "Recursive logic frames" @default.
- W2123055973 cites W1976092383 @default.
- W2123055973 cites W1976671424 @default.
- W2123055973 cites W1977994335 @default.
- W2123055973 cites W1981811422 @default.
- W2123055973 cites W2005800778 @default.
- W2123055973 cites W2039058013 @default.
- W2123055973 cites W2040139506 @default.
- W2123055973 cites W2060362396 @default.
- W2123055973 cites W2061250638 @default.
- W2123055973 cites W2062503307 @default.
- W2123055973 cites W2066633462 @default.
- W2123055973 cites W2080309222 @default.
- W2123055973 cites W2122092051 @default.
- W2123055973 cites W2136001726 @default.
- W2123055973 cites W2149736013 @default.
- W2123055973 cites W2594540614 @default.
- W2123055973 cites W2954301182 @default.
- W2123055973 cites W4210589687 @default.
- W2123055973 cites W958493406 @default.
- W2123055973 doi "https://doi.org/10.1002/malq.200410058" @default.
- W2123055973 hasPublicationYear "2006" @default.
- W2123055973 type Work @default.
- W2123055973 sameAs 2123055973 @default.
- W2123055973 citedByCount "5" @default.
- W2123055973 countsByYear W21230559732019 @default.
- W2123055973 crossrefType "journal-article" @default.
- W2123055973 hasAuthorship W2123055973A5024923217 @default.
- W2123055973 hasAuthorship W2123055973A5067128079 @default.
- W2123055973 hasConcept C102993220 @default.
- W2123055973 hasConcept C118615104 @default.
- W2123055973 hasConcept C124101348 @default.
- W2123055973 hasConcept C126042441 @default.
- W2123055973 hasConcept C136119220 @default.
- W2123055973 hasConcept C144760519 @default.
- W2123055973 hasConcept C144791301 @default.
- W2123055973 hasConcept C167729594 @default.
- W2123055973 hasConcept C169896238 @default.
- W2123055973 hasConcept C18648836 @default.
- W2123055973 hasConcept C202444582 @default.
- W2123055973 hasConcept C2524010 @default.
- W2123055973 hasConcept C33203268 @default.
- W2123055973 hasConcept C33923547 @default.
- W2123055973 hasConcept C41008148 @default.
- W2123055973 hasConcept C76155785 @default.
- W2123055973 hasConcept C80444323 @default.
- W2123055973 hasConcept C87117476 @default.
- W2123055973 hasConceptScore W2123055973C102993220 @default.
- W2123055973 hasConceptScore W2123055973C118615104 @default.
- W2123055973 hasConceptScore W2123055973C124101348 @default.
- W2123055973 hasConceptScore W2123055973C126042441 @default.
- W2123055973 hasConceptScore W2123055973C136119220 @default.
- W2123055973 hasConceptScore W2123055973C144760519 @default.
- W2123055973 hasConceptScore W2123055973C144791301 @default.
- W2123055973 hasConceptScore W2123055973C167729594 @default.
- W2123055973 hasConceptScore W2123055973C169896238 @default.
- W2123055973 hasConceptScore W2123055973C18648836 @default.
- W2123055973 hasConceptScore W2123055973C202444582 @default.
- W2123055973 hasConceptScore W2123055973C2524010 @default.
- W2123055973 hasConceptScore W2123055973C33203268 @default.
- W2123055973 hasConceptScore W2123055973C33923547 @default.
- W2123055973 hasConceptScore W2123055973C41008148 @default.
- W2123055973 hasConceptScore W2123055973C76155785 @default.
- W2123055973 hasConceptScore W2123055973C80444323 @default.
- W2123055973 hasConceptScore W2123055973C87117476 @default.
- W2123055973 hasIssue "2" @default.
- W2123055973 hasLocation W21230559731 @default.
- W2123055973 hasOpenAccess W2123055973 @default.
- W2123055973 hasPrimaryLocation W21230559731 @default.
- W2123055973 hasRelatedWork W1857851571 @default.
- W2123055973 hasRelatedWork W1859649522 @default.
- W2123055973 hasRelatedWork W2006286500 @default.
- W2123055973 hasRelatedWork W2065676868 @default.
- W2123055973 hasRelatedWork W2123055973 @default.
- W2123055973 hasRelatedWork W2949296792 @default.
- W2123055973 hasRelatedWork W2950144551 @default.
- W2123055973 hasRelatedWork W4251068495 @default.
- W2123055973 hasRelatedWork W4297441443 @default.
- W2123055973 hasRelatedWork W4319734651 @default.
- W2123055973 hasVolume "52" @default.
- W2123055973 isParatext "false" @default.
- W2123055973 isRetracted "false" @default.
- W2123055973 magId "2123055973" @default.
- W2123055973 workType "article" @default.