Algebraic disguises ofΣ 1 0 induction

Archive for Mathematical Logic 29 (1):47-51 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01630810

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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

Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Review: F. William Lawvere, Algebraic Theories, Algebraic Categories, and Algebraic Functors. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-337.
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.
A material dissolution of the problem of induction.John D. Norton - 2014 - Synthese 191 (4):1-20.
Herbrand's theorem and term induction.Matthias Baaz & Georg Moser - 2006 - Archive for Mathematical Logic 45 (4):447-503.
Arithmetic definability by formulas with two quantifiers.Shih Ping Tung - 1992 - Journal of Symbolic Logic 57 (1):1-11.
On the ranges of algebraic functions on lattices.Sergiu Rudeanu & Dan A. Simovici - 2006 - Studia Logica 84 (3):451 - 468.
Some problems of counter‐inductive policy as opposed to inductive.Audun Öfsti - 1962 - Inquiry: An Interdisciplinary Journal of Philosophy 5 (1-4):267-283.
No Need to Justify Induction Generally.Kazuyoshi Kamiyama - 2008 - Proceedings of the Xxii World Congress of Philosophy 53:105-111.
Induction and objectivity.F. John Clendinnen - 1966 - Philosophy of Science 33 (3):215-229.
Geometry of *-finite types.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (4):1375-1395.
The Pessimistic Induction: A Bad Argument Gone Too Far.Moti Mizrahi - 2013 - Synthese 190 (15):3209-3226.
On algebraic closure in pseudofinite fields.Özlem Beyarslan & Ehud Hrushovski - 2012 - Journal of Symbolic Logic 77 (4):1057-1066.

Analytics

Added to PP
2013-11-23

Downloads
29 (#553,855)

6 months
3 (#984,770)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Groundwork for weak analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.
Ordered groups: A case study in reverse mathematics.Reed Solomon - 1999 - Bulletin of Symbolic Logic 5 (1):45-58.

View all 6 citations / Add more citations

References found in this work

Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
Factorization of polynomials and °1 induction.S. G. Simpson - 1986 - Annals of Pure and Applied Logic 31:289.

Add more references