Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950280309> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2950280309 endingPage "247" @default.
- W2950280309 startingPage "236" @default.
- W2950280309 abstract "Bar induction is originally discussed by L. E. J. Brouwer under the name of “bar theorem” in his intuitionistic mathematics. Nowadays, there are several formulations of bar induction. Over a well-known classical subsystem $$mathsf{RCA_0}$$ of second-order arithmetic, they are equivalent to the full second-order comprehension axiom. However, their interrelation from the purely constructive point of view (in the sense of Bishop) is still unknown. In this paper, we investigate the interrelation between decidable bar induction, monotone bar induction, and bar induction with neither the decidable condition nor the monotonicity condition in the assumptions over an intuitionistic fragment of $$mathsf{RCA_0}$$, and show that the third one is equivalent to the second one plus the numerical constant domain axiom which comes from the study of intermediate predicate logics. In addition, we consider the restrictions of bar induction where the side-predicates are of the form $$exists z, mathrm{Q_{qf}}(z)$$ where $$mathrm{Q_{qf}}(z)$$ is quantifier-free. Then we show the close relation between the restrictions of bar induction and the negative translation of a principle classically equivalent to the arithmetical comprehension axiom." @default.
- W2950280309 created "2019-06-27" @default.
- W2950280309 creator A5053753370 @default.
- W2950280309 date "2019-01-01" @default.
- W2950280309 modified "2023-09-24" @default.
- W2950280309 title "Bar Induction and Restricted Classical Logic" @default.
- W2950280309 cites W172736740 @default.
- W2950280309 cites W1966245774 @default.
- W2950280309 cites W19739292 @default.
- W2950280309 cites W1984505680 @default.
- W2950280309 cites W2051894241 @default.
- W2950280309 cites W2171090910 @default.
- W2950280309 cites W2741308551 @default.
- W2950280309 cites W2896437745 @default.
- W2950280309 cites W4229690001 @default.
- W2950280309 cites W561202933 @default.
- W2950280309 cites W73267766 @default.
- W2950280309 doi "https://doi.org/10.1007/978-3-662-59533-6_15" @default.
- W2950280309 hasPublicationYear "2019" @default.
- W2950280309 type Work @default.
- W2950280309 sameAs 2950280309 @default.
- W2950280309 citedByCount "5" @default.
- W2950280309 countsByYear W29502803092019 @default.
- W2950280309 countsByYear W29502803092020 @default.
- W2950280309 countsByYear W29502803092021 @default.
- W2950280309 crossrefType "book-chapter" @default.
- W2950280309 hasAuthorship W2950280309A5053753370 @default.
- W2950280309 hasConcept C118615104 @default.
- W2950280309 hasConcept C121332964 @default.
- W2950280309 hasConcept C127753061 @default.
- W2950280309 hasConcept C134306372 @default.
- W2950280309 hasConcept C151797676 @default.
- W2950280309 hasConcept C153046414 @default.
- W2950280309 hasConcept C153269930 @default.
- W2950280309 hasConcept C153294291 @default.
- W2950280309 hasConcept C167729594 @default.
- W2950280309 hasConcept C177264268 @default.
- W2950280309 hasConcept C188721877 @default.
- W2950280309 hasConcept C199360897 @default.
- W2950280309 hasConcept C2524010 @default.
- W2950280309 hasConcept C33923547 @default.
- W2950280309 hasConcept C41008148 @default.
- W2950280309 hasConcept C72169020 @default.
- W2950280309 hasConceptScore W2950280309C118615104 @default.
- W2950280309 hasConceptScore W2950280309C121332964 @default.
- W2950280309 hasConceptScore W2950280309C127753061 @default.
- W2950280309 hasConceptScore W2950280309C134306372 @default.
- W2950280309 hasConceptScore W2950280309C151797676 @default.
- W2950280309 hasConceptScore W2950280309C153046414 @default.
- W2950280309 hasConceptScore W2950280309C153269930 @default.
- W2950280309 hasConceptScore W2950280309C153294291 @default.
- W2950280309 hasConceptScore W2950280309C167729594 @default.
- W2950280309 hasConceptScore W2950280309C177264268 @default.
- W2950280309 hasConceptScore W2950280309C188721877 @default.
- W2950280309 hasConceptScore W2950280309C199360897 @default.
- W2950280309 hasConceptScore W2950280309C2524010 @default.
- W2950280309 hasConceptScore W2950280309C33923547 @default.
- W2950280309 hasConceptScore W2950280309C41008148 @default.
- W2950280309 hasConceptScore W2950280309C72169020 @default.
- W2950280309 hasLocation W29502803091 @default.
- W2950280309 hasOpenAccess W2950280309 @default.
- W2950280309 hasPrimaryLocation W29502803091 @default.
- W2950280309 hasRelatedWork W1521819319 @default.
- W2950280309 hasRelatedWork W1581869334 @default.
- W2950280309 hasRelatedWork W2043122368 @default.
- W2950280309 hasRelatedWork W2057631483 @default.
- W2950280309 hasRelatedWork W2061073460 @default.
- W2950280309 hasRelatedWork W2168980861 @default.
- W2950280309 hasRelatedWork W3081628254 @default.
- W2950280309 hasRelatedWork W3109582549 @default.
- W2950280309 hasRelatedWork W3128676979 @default.
- W2950280309 hasRelatedWork W4237197901 @default.
- W2950280309 isParatext "false" @default.
- W2950280309 isRetracted "false" @default.
- W2950280309 magId "2950280309" @default.
- W2950280309 workType "book-chapter" @default.