Parametrization over inductive relations of a bounded number of variables

Annals of Pure and Applied Logic 48 (2):103-134 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(90)90043-2

Links

PhilArchive



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

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

On the Number of Experiments Sufficient and in the Worst Case Necessary to Identify All Causal Relations Among N Variables.Clark Glymour & Richard Scheines - unknown
Number of variables is equivalent to space.Neil Immerman, Jonathan F. Buss & David A. Mix Barrington - 2001 - Journal of Symbolic Logic 66 (3):1217-1230.
On Bounded Type-Definable Equivalence Relations.Ludomir Newelski & Krzysztof Krupi?Ski - 2002 - Notre Dame Journal of Formal Logic 43 (4):231-242.
Bounded variable logics: two, three, and more. [REVIEW]Martin Otto - 1999 - Archive for Mathematical Logic 38 (4-5):235-256.
Semi-Bounded Relations in Ordered Modules.Oleg Belegradek - 2004 - Journal of Symbolic Logic 69 (2):499 - 517.
On the equivalence of conglomerability and disintegrability for unbounded random variables.Teddy Seidenfeld - unknown
Whither Consequence?John Woods - 2011 - Informal Logic 31 (4):318-343.
The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups.Philip Scowcroft - 2007 - Notre Dame Journal of Formal Logic 48 (4):521-550.
Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic, Language and Information 14 (3):281-288.
Number versus continuous quantity in numerosity judgments by fish.Christian Agrillo, Laura Piffer & Angelo Bisazza - 2011 - Cognition 119 (2):281-287.
Are there causal relations among dependent variables?Daniel Hausman - 1983 - Philosophy of Science 50 (1):58-81.
On the theory of relations based on the theory of objects.S. Kaczorowski - 1962 - Studia Logica 13 (1):37-38.
Bayesianism and reliable scientific inquiry.Cory Juhl - 1993 - Philosophy of Science 60 (2):302-319.
On the restraining power of guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.

Analytics

Added to PP
2014-01-16

Downloads
11 (#1,133,540)

6 months
5 (#628,512)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

When is arithmetic possible?Gregory L. McColm - 1990 - Annals of Pure and Applied Logic 50 (1):29-51.
Guarded quantification in least fixed point logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.
The dimension of the negation of transitive closure.Gregory L. McColm - 1995 - Journal of Symbolic Logic 60 (2):392-414.

Add more citations

References found in this work

On Moschovakis closure ordinals.Jon Barwise - 1977 - Journal of Symbolic Logic 42 (2):292-296.
Hierarchies of Number-Theoretic Predicates.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):411-412.
When is arithmetic possible?Gregory L. McColm - 1990 - Annals of Pure and Applied Logic 50 (1):29-51.

View all 10 references / Add more references