Algebraic combinatorics in bounded induction

Annals of Pure and Applied Logic 172 (2):102885 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2020.102885

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Overspill Principles and Axiom Schemes for Bounded Formulas.Joaquín Borrego-Díaz, Alejandro Fernández-Margarit & Mario Pérez-Jiménez - 1996 - Mathematical Logic Quarterly 42 (1):341-348.
Uniformly Bounded Arrays and Mutually Algebraic Structures.Michael C. Laskowski & Caroline A. Terry - 2020 - Notre Dame Journal of Formal Logic 61 (2):265-282.
Independence results for variants of sharply bounded induction.Leszek Aleksander Kołodziejczyk - 2011 - Annals of Pure and Applied Logic 162 (12):981-990.
Induction rules in bounded arithmetic.Emil Jeřábek - 2020 - Archive for Mathematical Logic 59 (3-4):461-501.
The strength of sharply bounded induction.Emil Jeřábek - 2006 - Mathematical Logic Quarterly 52 (6):613-624.
Infinite substructure lattices of models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
Algebraic Methods and Bounded Formulas.Domenico Zambella - 1997 - Notre Dame Journal of Formal Logic 38 (1):37-48.
Preservation theorems for bounded formulas.Morteza Moniri - 2007 - Archive for Mathematical Logic 46 (1):9-14.
Approximation of complex algebraic numbers by algebraic numbers of bounded degree.Yann Bugeaud & Jan-Hendrik Evertse - 2009 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 8 (2):333-368.
Dynamic ordinal analysis.Arnold Beckmann - 2003 - Archive for Mathematical Logic 42 (4):303-334.
Intersecting a plane with algebraic subgroups of multiplicative groups.Enrico Bombieri, David Masser & Umberto Zannier - 2008 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 7 (1):51-80.
Reverse Mathematics and Recursive Graph Theory.William Gasarch & Jeffry L. Hirst - 1998 - Mathematical Logic Quarterly 44 (4):465-473.
Backward Induction Is Not Robust: The Parity Problem and the Uncertainty Problem.Steven J. Brams & D. Marc Kilgour - 1998 - Theory and Decision 45 (3):263-289.
The intersection of a curve with algebraic subgroups in a product of elliptic curves.Evelina Viada - 2003 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 2 (1):47-75.
Combinatorics of first order structures and propositional proof systems.Jan Krajíček - 2004 - Archive for Mathematical Logic 43 (4):427-441.

Analytics

Added to PP
2020-09-04

Downloads
19 (#778,470)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.
Bounded existential induction.George Wilmers - 1985 - Journal of Symbolic Logic 50 (1):72-90.
Diophantine Induction.Richard Kaye - 1990 - Annals of Pure and Applied Logic 46 (1):1-40.

View all 26 references / Add more references