An optimal construction of Hanf sentences

&
Journal of Applied Logic 10 (2):179-186 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2012.01.002

Links

PhilArchive



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

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

The Hanf number for complete lω1, ω-sentences (without GCH).James E. Baumgartner - 1974 - Journal of Symbolic Logic 39 (3):575 - 578.
The Hanf Number for Complete $L{omega1, omega}$-Sentences (Without GCH).James E. Baumgartner - 1974 - Journal of Symbolic Logic 39 (3):575-578.
Review: W. Hanf, On a Problem of Erdos and Tarski; D. Monk, D. Scott, Additions to Some Results of Erdos and Tarski; A. Hajnal, Remarks on the Theory of W. P. Hanf. [REVIEW]Jean A. Larson - 1974 - Journal of Symbolic Logic 39 (2):332-332.
The silent hexagon: explaining comb structures.Tim Räz - 2017 - Synthese 194 (5).
Self provers and Σ1 sentences.Evan Goris & Joost Joosten - 2012 - Logic Journal of the IGPL 20 (1):1-21.
On the Hanf number of souslin logic.John P. Burgess - 1978 - Journal of Symbolic Logic 43 (3):568-571.
How to Express Self-Referential Probability. A Kripkean Proposal.Catrin Campbell-Moore - 2015 - Review of Symbolic Logic 8 (4):680-704.
Truth definitions without exponentiation and the Σ₁ collection scheme.Zofia Adamowicz, Leszek Aleksander Kołodziejczyk & Jeff Paris - 2012 - Journal of Symbolic Logic 77 (2):649-655.
Hanf W.. On a problem of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 , pp. 325–334.Monk D. and Scott D.. Additions to some results of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 , pp. 335–343.Hajnal A.. Remarks on the theory of W. P. Hanf. Fundamenta mathematicae vol. 54 no. 1 , pp. 109–113. [REVIEW]Jean A. Larson - 1974 - Journal of Symbolic Logic 39 (2):332-332.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Toward a theory of event identity.Alfred J. Stenner - 1974 - Philosophy of Science 41 (1):65-83.
How Long Can a Sentence Be and Should Anyone Care?John Collins - 2010 - Croatian Journal of Philosophy 10 (3):199-207.
On optimal modularity for system construction.Mahmoud Efatmaneshnik & Michael J. Ryan - 2016 - Complexity 21 (5):176-189.
Time of day effects on problem solving: When the non-optimal is optimal.Mareike B. Wieth & Rose T. Zacks - 2011 - Thinking and Reasoning 17 (4):387 - 401.
Construction of mammalian artificial chromosomes: prospects for defining an optimal centromere.Dirk Schindelhauer - 1999 - Bioessays 21 (1):76-83.

Analytics

Added to PP
2016-06-30

Downloads
17 (#875,159)

6 months
13 (#204,126)

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

Model-theoretic methods in the study of elementary logic.William Hanf - 1965 - Journal of Symbolic Logic 34 (1):132--145.
Automatic structures of bounded degree revisited.Dietrich Kuske & Markus Lohrey - 2011 - Journal of Symbolic Logic 76 (4):1352-1380.
Hereditary undecidability of some theories of finite structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.

Add more references