Digraph parameters and finite set arithmetic

Mathematical Logic Quarterly 61 (4-5):250-262 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.201400062

Links

PhilArchive



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

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

P01 INCOMPLETENESS: Finite graph theory.Harvey Friedman - manuscript
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
A note on Spector's quantifier-free rule of extensionality.Ulrich Kohlenbach - 2001 - Archive for Mathematical Logic 40 (2):89-92.
Arithmetic of divisibility in finite models.A. E. Wasilewska & M. Mostowski - 2004 - Mathematical Logic Quarterly 50 (2):169.
Remarks on Herbrand normal forms and Herbrand realizations.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (5):305-317.
Finite covers with finite kernels.David M. Evans - 1997 - Annals of Pure and Applied Logic 88 (2-3):109-147.
Algebraic Methods and Bounded Formulas.Domenico Zambella - 1997 - Notre Dame Journal of Formal Logic 38 (1):37-48.
Inconsistent models of arithmetic part I: Finite models. [REVIEW]Graham Priest - 1997 - Journal of Philosophical Logic 26 (2):223-235.
Injecting uniformities into Peano arithmetic.Fernando Ferreira - 2009 - Annals of Pure and Applied Logic 157 (2-3):122-129.
Finite reverse mathematics.Harvey Friedman - manuscript
Nonstandard models that are definable in models of Peano Arithmetic.Kazuma Ikeda & Akito Tsuboi - 2007 - Mathematical Logic Quarterly 53 (1):27-37.
Review: A. S. Troelstra, J. E. Fenstad, Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (4):625-625.
Isols and maximal intersecting classes.Jacob C. E. Dekker - 1993 - Mathematical Logic Quarterly 39 (1):67-78.
Finitude and Hume's Principle.Richard G. Heck Jr - 1997 - Journal of Philosophical Logic 26 (6):589 - 617.
Digraph Competitions and Cooperative Games.René van Den Brink & Peter Borm - 2002 - Theory and Decision 53 (4):327-342.

Analytics

Added to PP
2015-09-03

Downloads
7 (#1,378,468)

6 months
3 (#968,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bounded finite set theory.Laurence Kirby - 2021 - Mathematical Logic Quarterly 67 (2):149-163.

Add more citations

References found in this work

What numbers could not be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.
Finitary Set Theory.Laurence Kirby - 2009 - Notre Dame Journal of Formal Logic 50 (3):227-244.
Addition and multiplication of sets.Laurence Kirby - 2007 - Mathematical Logic Quarterly 53 (1):52-65.
Induction and foundation in the theory of hereditarily finite sets.Flavio Previale - 1994 - Archive for Mathematical Logic 33 (3):213-241.
A hierarchy of hereditarily finite sets.Laurence Kirby - 2008 - Archive for Mathematical Logic 47 (2):143-157.

View all 8 references / Add more references