- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Model theory and combinatorics of banned sequences
Journal of Symbolic Logic 87 (1):1-20 (2022)
Abstract
We set up a general context in which one can prove Sauer-Shelah type lemmas. We apply our general results to answer a question of Bhaskar [1] and give a slight improvement to a result of Malliaris and Terry [7]. We also prove a new Sauer-Shelah type lemma in the context of op-rank, a notion of Guingona and Hill [4].My notes
Similar books and articles
Forcing with filters and complete combinatorics.Claude Laflamme - 1989 - Annals of Pure and Applied Logic 42 (2):125-163.
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results.Andreas Weiermann - 2005 - Annals of Pure and Applied Logic 136 (1):189-218.
Combinatorics and Graph Theory.John Harris, Jeffry L. Hirst & Michael Mossinghoff - 2008 - Springer.
Vapnik–Chervonenkis Density on Indiscernible Sequences, Stability, and the Maximum Property.Hunter Johnson - 2015 - Notre Dame Journal of Formal Logic 56 (4):583-593.
Separating syntax and combinatorics in categorial grammar.Reinhard Muskens - 2007 - Research on Language and Computation 5 (3):267-285.
Model theory and machine learning.Hunter Chase & James Freitag - 2019 - Bulletin of Symbolic Logic 25 (3):319-332.
Finite Model Theory and its Applications.Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein - 2007 - Springer.
Canonical models for ℵ1-combinatorics.Saharon Shelah & Jindr̆ich Zapletal - 1999 - Annals of Pure and Applied Logic 98 (1-3):217-259.
Coherent sequences versus Radin sequences.James Cummings - 1994 - Annals of Pure and Applied Logic 70 (3):223-241.
Biologically Unavoidable Sequences.Samuel Alexander - 2013 - Electronic Journal of Combinatorics 20 (1):1-13.
Model Theory and the Philosophy of Mathematical Practice: Formalization Without Foundationalism.John T. Baldwin - 2018 - Cambridge University Press.
Reverse Mathematics and Recursive Graph Theory.William Gasarch & Jeffry L. Hirst - 1998 - Mathematical Logic Quarterly 44 (4):465-473.
Finite and Infinite Combinatorics in Sets and Logic.Norbert W. Sauer, Robert Woodrow & B. Sands - 1993 - Springer Verlag.
Some recent developments in higher recursion theory.Sy D. Friedman - 1983 - Journal of Symbolic Logic 48 (3):629-642.
Analytics
Added to PP
2020-10-06
Downloads
18 (#781,713)
6 months
6 (#417,196)
2020-10-06
Downloads
18 (#781,713)
6 months
6 (#417,196)
Historical graph of downloads
Citations of this work
References found in this work
Model theory and machine learning.Hunter Chase & James Freitag - 2019 - Bulletin of Symbolic Logic 25 (3):319-332.
On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension.Vincent Guingona & Cameron Donnay Hill - 2015 - Annals of Pure and Applied Logic 166 (4):502-525.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-67rzb uwo