Hindman's theorem for sums along the full binary tree, ^0_2-induction and the pigeonhole principle for trees

DOI10.1007/S00153-021-00814-2MaRDI QIDQ2155503zbMATH OpenOpenAlexFDO

Authors Lorenzo Carlucci, Daniele Tavernelli

Publication date 15 July 2022

Published in Lua error in package.lua at line 80: module 'SPARQL' not found. (Search for Journal in Brave)

Copyright license Lua error in package.lua at line 80: module 'SPARQL' not found.

Full work available at URL https://doi.org/10.1007/s00153-021-00814-2

zbMATH Keywords

Lua error in package.lua at line 80: module 'SPARQL' not found.

Mathematics Subject Classification ID

Lua error in package.lua at line 80: module 'SPARQL' not found.

Recommendations

Lua error in package.lua at line 80: module 'SPARQL' not found.

Cites work

Lua error in package.lua at line 80: module 'SPARQL' not found.

Cited in

Lua error in package.lua at line 80: module 'SPARQL' not found.

This page was built for publication: Hindman's theorem for sums along the full binary tree, \(\Sigma^0_2\)-induction and the pigeonhole principle for trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2155503)

<div class="DeepChat" data-config='{

   "history": [
       {"text": "Hi there. I am the MaRDI chat bot.", "role": "ai"},
       {"text": "You can ask me questions about this  or click on an example.", "role": "ai"}
   ],
   "pagename": "Hindman's theorem for sums along the full binary tree, \(\Sigma^0 2\)-induction and the pigeonhole principle for trees",
   "namespace": "",
   "pagetitle": Lua error in package.lua at line 80: module 'SPARQL' not found.,
   "stream": false,
   "demo": false

}'>