Languages with Expressions of InfiniteLength

North-Holland (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270356

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Review: Carol R. Karp, Languages with Expressions of Infinite Length. [REVIEW]William P. Hanf - 1968 - Journal of Symbolic Logic 33 (3):477-478.
Karp Carol R.. Languages with expressions of infinite length. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1964, xix + 183 pp. [REVIEW]William P. Hanf - 1968 - Journal of Symbolic Logic 33 (3):477-478.
Review: L. Henkin, Some Remarks on Infinitely Long Formulas; Carol R. Karp, Independence Proofs in Predicate Logic with Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):96-97.
The Carol Karp Memorial Fund.[author unknown] - 1973 - Journal of Symbolic Logic 38 (1):175-175.
Carol Karp. Nonaxiomatizability results for infinitary systems. The journal of symbolic logic, vol. 32 , pp. 367–384.H. Jerome Keisler - 1968 - Journal of Symbolic Logic 33 (3):478-479.
Karp Carol R.. A note on the representation of α-complete Boolean algebras. Proceedings of the American Mathematical Society, vol. 14 , pp. 705–707. [REVIEW]R. S. Pierce - 1965 - Journal of Symbolic Logic 30 (3):393-393.
Review: Carol R. Karp, Finite-Quantifier Equivalence. [REVIEW]H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (1):158-158.
Review: Carol Karp, A Proof of the Relative Consistency of the Continuum Hypothesis. [REVIEW]Leslie H. Tharp - 1970 - Journal of Symbolic Logic 35 (2):344-345.
Review: Carol R. Karp, A Note on the Representation of $alpha$-Complete Boolean Algebras. [REVIEW]R. S. Pierce - 1965 - Journal of Symbolic Logic 30 (3):393-393.
Review: Carol Karp, Jon Barwise, An Algebraic Proof of the Barwise Compactness Theorem. [REVIEW]N. J. Cutland - 1974 - Journal of Symbolic Logic 39 (2):335-335.

Analytics

Added to PP
2015-02-02

Downloads
26 (#145,883)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.
Graded modalities. I.M. Fattorosi-Barnaba & F. Caro - 1985 - Studia Logica 44 (2):197 - 221.

View all 40 citations / Add more citations

References found in this work

No references found.

Add more references