Algebraic combinatorics in bounded induction (Q2216029)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Algebraic combinatorics in bounded induction	scientific article

Statements

scholarly article

0 references

Algebraic combinatorics in bounded induction (English)

0 references

Joaquín Borrego-Díaz

0 references

Annals of Pure and Applied Logic

0 references

publication date

15 December 2020

0 references

full work available at URL

https://idus.us.es/handle//11441/106660

0 references

zbMATH Keywords

bounded induction

0 references

Stone-Čech compactification

0 references

Ramsey theorem

0 references

Peano arithmetic

0 references

MaRDI profile type

MaRDI publication profile

0 references

A selection of open problems

0 references

0 references

On Overspill Principles and Axiom Schemes for Bounded Formulas

0 references

L'arithmétique ouverte et ses modèles non-standards

0 references

0 references

Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document}

0 references

A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)

0 references

Pell equations and exponentiation in fragments of arithmetic

0 references

Real closed fields and models of Peano arithmetic

0 references

0 references

Nonstandard methods in Ramsey theory and combinatorial number theory

0 references

Overspill and fragments of arithmetic

0 references

On end extensions of models of subsystems of Peano arithmetic

0 references

0 references

Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)

0 references

Almost Arithmetic Progressions in the Primes and Other Large Sets

0 references

0 references

0 references

Some observations on the logical foundations of inductive theorem proving

0 references

Algebra in the Stone-Čech compactification: theory and applications

0 references

0 references

Nonstandard combinatorics

0 references

Division by zero

0 references

Parameter-Free Universal Induction

0 references

Diophantine induction

0 references

0 references

Generic cuts in models of arithmetic

0 references

The arithmetic of cuts in models of arithmetic

0 references

The Model Theory of Generic Cuts

0 references

0 references

On embedding models of arithmetic of cardinality \aleph<sub>1</sub>into reduced powers

0 references

On principles between ∑1- and ∑2-induction, and monotone enumerations

0 references

0 references

0 references

Note on an induction axiom

0 references

0 references

Quadratic residues and \(x^ 3+y^ 3=z^ 3\) in models of \(IE_ 1\) and \(IE_ 2\)

0 references

Divisibility in the Stone-\v{C}ech compactification

0 references

A construction of real closed fields

0 references

The primes contain arbitrarily long arithmetic progressions

0 references

0 references

Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories

0 references

On the scheme of induction for bounded arithmetic formulas

0 references

Bounded existential induction

0 references

On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction

0 references

The Bohr compactification of an abelian group as a quotient of its Stone-Čech compactification

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

10.1016/J.APAL.2020.102885

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2216029

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2216029&oldid=38947781"