Induction rules in bounded arithmetic (English)
- New search for: Jeřábek, Emil
- Further information on Jeřábek, Emil:
- https://orcid.org/http://orcid.org/0000-0002-9057-3413
- New search for: Jeřábek, Emil
- Further information on Jeřábek, Emil:
- https://orcid.org/http://orcid.org/0000-0002-9057-3413
In:
Archive for Mathematical Logic
;
59
, 3-4
;
461-501
;
2020
- Article (Journal) / Electronic Resource
-
Title:Induction rules in bounded arithmetic
-
Additional title:Arch. Math. Logic
-
Contributors:Jeřábek, Emil ( author )
-
Published in:Archive for Mathematical Logic ; 59, 3-4 ; 461-501
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin/Heidelberg
-
Publication date:2020-05-01
-
Size:41 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 03F30 / 03F20
- Further information on Mathematics Subject Classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 59, Issue 3-4
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 257
-
Proof-theoretic strengths of the well-ordering principlesArai, Toshiyasu et al. | 2019
- 277
-
Ordinal analyses for monotone and cofinal transfinite inductionsSato, Kentaro et al. | 2019
- 293
-
Detecting properties from descriptions of groupsBilanovic, Iva / Chubb, Jennifer / Roven, Sam et al. | 2019
- 313
-
On the forking topology of a reduct of a simple theoryShami, Ziv et al. | 2019
- 325
-
A small ultrafilter number at smaller cardinalsRaghavan, Dilip / Shelah, Saharon et al. | 2019
- 335
-
Weaker variants of infinite time Turing machinesBianchetti, Matteo et al. | 2019
- 367
-
Antichains of perfect and splitting treesHein, Paul / Spinas, Otmar et al. | 2019
- 389
-
Absorbing the structural rules in the sequent calculus with additional atomic rulesParlamento, Franco / Previale, Flavio et al. | 2019
- 409
-
Square below a non-weakly compact cardinalBrickhill, Hazel et al. | 2019
- 427
-
Analytic computable structure theory and $$L^p$$-spaces part 2Brown, Tyler / McNicholl, Timothy H. et al. | 2019
- 445
-
Covering properties of $$\omega $$-mad familiesAurichi, Leandro / Zdomskyy, Lyubomyr et al. | 2019
- 445
-
Covering properties of ω-mad familiesAurichi, Leandro / Zdomskyy, Lyubomyr et al. | 2020
- 453
-
Scott sentences for equivalence structuresQuinn, Sara B. et al. | 2019
- 461
-
Induction rules in bounded arithmeticJeřábek, Emil et al. | 2019
- 503
-
Dependent choice as a termination principlePowell, Thomas et al. | 2020