A formalised theorem in the partition calculus

Annals of Pure and Applied Logic 175 (1):103246 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103246

Links

PhilArchive



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

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

Some Results in the Partition Calculus.Albin Lee Jones - 1999 - Dissertation, Dartmouth College
λμ-calculus and Böhm's theorem.René David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
A Theorem and Some Consistency Results in Partition Calculus.Saharon Shelah & Lee Stanley - 1990 - Journal of Symbolic Logic 55 (2):888-889.
A theorem and some consistency results in partition calculus.Saharon Shelah & Lee Stanley - 1987 - Annals of Pure and Applied Logic 36:119-152.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Review: Saharon Shelah, Lee Stanley, A Theorem and Some Consistency Results in Partition Calculus. [REVIEW]James E. Baumgartner - 1990 - Journal of Symbolic Logic 55 (2):888-889.
Calculus on strong partition cardinals.James M. Henle - 2006 - Mathematical Logic Quarterly 52 (6):585-594.
Saharon Shelah and Lee Stanley. A theorem and some consistency results in partition calculus. Annals of pure applied logic, vol. 36 , pp. 119–152. [REVIEW]James E. Baumgartner - 1990 - Journal of Symbolic Logic 55 (2):888-889.
A baire-type theorem for cardinals.Kurt Wolfsdorf - 1983 - Journal of Symbolic Logic 48 (4):1082-1089.
A recursion theoretic analysis of the clopen Ramsey theorem.Peter Clote - 1984 - Journal of Symbolic Logic 49 (2):376-400.
A high dimensional Open Coloring Axiom.Bin He - 2005 - Mathematical Logic Quarterly 51 (5):462-469.
A Partition Theorem of $omega^{omega^{alpha}}$.Claribet Piña - 2018 - Notre Dame Journal of Formal Logic 59 (3):387-403.
The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
Canonical partition relations.James E. Baumgartner - 1975 - Journal of Symbolic Logic 40 (4):541-554.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.

Analytics

Added to PP
2023-02-15

Downloads
14 (#990,327)

6 months
7 (#430,488)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
A term of length 4 523 659 424 929.A. R. D. Mathias - 2002 - Synthese 133 (1-2):75 - 86.
A Term of Length 4 523 659 424 929.A. R. D. Mathias - 2002 - Synthese 133 (1-2):75-86.

Add more references