An Abstract Property of Formalized Languages which Contain Hilberts ε-Symbol

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (6):81-92 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19680140602

Links

PhilArchive



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

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

An Abstract Property of Formalized Languages which Contain Hilberts ϵ‐Symbol.Albert Leisenring - 1968 - Mathematical Logic Quarterly 14 (6):81-92.
Untersuchungen zum Kontinuumproblem: Hilberts Lösungsversuch des Kontinuumproblems Hilberts Hauptbetrachtung.Oskar Becker - 1927 - Jahrbuch für Philosophie Und Phänomenologische Forschung 8:611.
A Note Concerning The Notion Of Satisfiability.Leon Horsten - 2004 - Logique Et Analyse 47.
Index sets for ω‐languages.Douglas Czenzer & Jeffrey B. Remmel - 2003 - Mathematical Logic Quarterly 49 (1):22-33.
Yablo’s Paradox in Second-Order Languages: Consistency and Unsatisfiability.Lavinia María Picollo - 2013 - Studia Logica 101 (3):601-617.
Tarski, truth and model theory.Peter Milne - 1999 - Proceedings of the Aristotelian Society 99 (2):141–167.
Grounding symbols in sensorimotor categories with neural networks.Stevan Harnad - 1995 - Institute of Electrical Engineers Colloquium on "Grounding Representations.
Formalized and Artificial Languages.W. A. Verloren Van Themaat - 1962 - Synthese 14 (4):320 - 326.
Formalized and artificial languages.W. A. Verloren van Themaat - 1962 - Synthese 14 (4):320-326.
On the Effect of the IO-Substitution on the Parikh Image of Semilinear Full AFLs.Pierre Bourreau - 2015 - Journal of Logic, Language and Information 24 (1):1-26.
Formalized Algorithmic Languages.A. Salwicki - 1974 - Journal of Symbolic Logic 39 (2):349-350.
Symbols of Terror: ‘9/11’ as the Word of the Thing and the Thing of the Word.Laura Kilby - 2016 - Journal for the Theory of Social Behaviour 46 (2):229-249.
Property S.Robert Cowen - 2001 - Reports on Mathematical Logic:61-74.
Algebra of Formalized Languages.Roman Sikorski - 1966 - Journal of Symbolic Logic 31 (3):508-509.
Weak cylindric set algebras and weak subdirect indecomposability.H. Andréka, I. Németi & R. J. Thompson - 1990 - Journal of Symbolic Logic 55 (2):577-588.

Analytics

Added to PP
2016-02-04

Downloads
30 (#537,355)

6 months
3 (#984,658)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references