Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073185604> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2073185604 endingPage "106" @default.
- W2073185604 startingPage "93" @default.
- W2073185604 abstract "In 1996, Krivine applied Friedman's A-translation in order to get an intuitionistic version of Gödel completeness result for first-order classical logic and (at most) countable languages and models. Such a result is known to be intuitionistically underivable (see J. Philos. Logic 25 (1996) 559), but Krivine was able to derive intuitionistically a weak form of it, namely, he proved that every consistent classical theory has a model. In this paper, we want to analyze the ideas Krivine's remarkable result relies on, ideas which where somehow hidden by the heavy formal machinery used in the original proof. We show that the ideas in Krivine's proof can be used to intuitionistically derive some (suitable variants of) crucial mathematical results, which were supposed to be purely classical up to now: the Ultrafilter Theorem for countable Boolean algebras, and the maximal ideal theorem for countable rings." @default.
- W2073185604 created "2016-06-24" @default.
- W2073185604 creator A5017026543 @default.
- W2073185604 creator A5021932840 @default.
- W2073185604 date "2004-10-01" @default.
- W2073185604 modified "2023-09-26" @default.
- W2073185604 title "Krivine's intuitionistic proof of classical completeness (for countable languages)" @default.
- W2073185604 cites W1988967089 @default.
- W2073185604 cites W2064071203 @default.
- W2073185604 cites W2147202919 @default.
- W2073185604 doi "https://doi.org/10.1016/j.apal.2004.01.002" @default.
- W2073185604 hasPublicationYear "2004" @default.
- W2073185604 type Work @default.
- W2073185604 sameAs 2073185604 @default.
- W2073185604 citedByCount "12" @default.
- W2073185604 countsByYear W20731856042013 @default.
- W2073185604 countsByYear W20731856042017 @default.
- W2073185604 countsByYear W20731856042019 @default.
- W2073185604 countsByYear W20731856042022 @default.
- W2073185604 countsByYear W20731856042023 @default.
- W2073185604 crossrefType "journal-article" @default.
- W2073185604 hasAuthorship W2073185604A5017026543 @default.
- W2073185604 hasAuthorship W2073185604A5021932840 @default.
- W2073185604 hasBestOaLocation W20731856042 @default.
- W2073185604 hasConcept C110729354 @default.
- W2073185604 hasConcept C118615104 @default.
- W2073185604 hasConcept C134306372 @default.
- W2073185604 hasConcept C17231256 @default.
- W2073185604 hasConcept C17744445 @default.
- W2073185604 hasConcept C178421362 @default.
- W2073185604 hasConcept C199539241 @default.
- W2073185604 hasConcept C200116569 @default.
- W2073185604 hasConcept C2776639384 @default.
- W2073185604 hasConcept C28077239 @default.
- W2073185604 hasConcept C33923547 @default.
- W2073185604 hasConceptScore W2073185604C110729354 @default.
- W2073185604 hasConceptScore W2073185604C118615104 @default.
- W2073185604 hasConceptScore W2073185604C134306372 @default.
- W2073185604 hasConceptScore W2073185604C17231256 @default.
- W2073185604 hasConceptScore W2073185604C17744445 @default.
- W2073185604 hasConceptScore W2073185604C178421362 @default.
- W2073185604 hasConceptScore W2073185604C199539241 @default.
- W2073185604 hasConceptScore W2073185604C200116569 @default.
- W2073185604 hasConceptScore W2073185604C2776639384 @default.
- W2073185604 hasConceptScore W2073185604C28077239 @default.
- W2073185604 hasConceptScore W2073185604C33923547 @default.
- W2073185604 hasIssue "1-3" @default.
- W2073185604 hasLocation W20731856041 @default.
- W2073185604 hasLocation W20731856042 @default.
- W2073185604 hasOpenAccess W2073185604 @default.
- W2073185604 hasPrimaryLocation W20731856041 @default.
- W2073185604 hasRelatedWork W1993203911 @default.
- W2073185604 hasRelatedWork W2036685181 @default.
- W2073185604 hasRelatedWork W2099426626 @default.
- W2073185604 hasRelatedWork W2131524578 @default.
- W2073185604 hasRelatedWork W2133417014 @default.
- W2073185604 hasRelatedWork W2134384958 @default.
- W2073185604 hasRelatedWork W2766762831 @default.
- W2073185604 hasRelatedWork W2798458803 @default.
- W2073185604 hasRelatedWork W3120796633 @default.
- W2073185604 hasRelatedWork W31250260 @default.
- W2073185604 hasVolume "129" @default.
- W2073185604 isParatext "false" @default.
- W2073185604 isRetracted "false" @default.
- W2073185604 magId "2073185604" @default.
- W2073185604 workType "article" @default.