-
5We study the mid- to far-IR properties of a 24?m-selected flux-limited sample of 154 intermediate redshift, infrared luminous galaxies, drawn from the 5 Milli-Jansky Unbiased Spitzer Extragalactic Survey. By combining existing mid-IR spectroscopy and new Herschel SPIRE submm photometry from the Herschel Multi-tiered Extragalactic Survey, we derived robust total infrared luminosity and dust mass estimates and infered the relative contribution of the AGN to the infrared energy budget of the source…Read more
-
49Assigning Probabilities to Logical FormulasIn Jaakko Hintikka (ed.), Aspects of inductive logic, North Holland Pub. Co.. 1967.
-
37Palmer House Hilton Hotel, Chicago, Illinois April 23–24, 2004Bulletin of Symbolic Logic 10 (3). 2004.
-
58This thesis is intended t0 help develop the theory 0f coalgebras by, Hrst, taking classic theorems in the theory 0f universal algebras amd dualizing them and, second, developing an interna] 10gic for categories 0f coalgebras. We begin with an introduction t0 the categorical approach t0 algebras and the dual 110tion 0f coalgebras. Following this, we discuss (c0)a,lg€bra.s for 2. (c0)monad and develop 2. theory 0f regular subcoalgebras which will be used in the interna] logic. We also prove that c…Read more
-
29European meeting of the association for symbolic logic: Oxford, England, 1976Journal of Symbolic Logic 42 (3): 437-479. 1977.
-
21The Sentential Calculus with Infinitely Long ExpressionsJournal of Symbolic Logic 30 (1): 95-95. 1965.
-
12Some Definitional Suggestions for Automata TheoryJournal of Symbolic Logic 40 (4): 615-616. 1975.
-
9Hájek Petr. Modelle der Mengenlehre, in denen Mengen gegebener Gestalt existieren. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 103–115 (review)Journal of Symbolic Logic 33 (3): 474-475. 1968.
-
7Hájek Petr. Die durch die schwach inneren relationen gegebenen Modelle der Mengenlehre. Fundamenta mathematicae, vol. 10 , pp. 151–157 (review)Journal of Symbolic Logic 32 (3): 412-412. 1967.
-
9Henkin Leon. On a theorem of Vaught. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 58 , pp. 326–328; also ibid., vol. 17 , pp. 326–328 (review)Journal of Symbolic Logic 24 (1): 58-58. 1959.
-
24A Symmetric Primitive notion for Euclidean GeometryJournal of Symbolic Logic 33 (2): 288-289. 1968.
-
41Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and DecidabilityJournal of Symbolic Logic 24 (1): 58. 1959.
-
720Can Modalities Save Naive Set Theory?Review of Symbolic Logic 11 (1): 21-47. 2018.To the memory of Prof. Grigori Mints, Stanford UniversityBorn: June 7, 1939, St. Petersburg, RussiaDied: May 29, 2014, Palo Alto, California.
-
11Petr Hájek and Antonín Sochor. Ein dem Fundierungsaxiom äquivalentes Axiom. Fundamenta mathematicae, vol. 10 , pp. 261–263 (review)Journal of Symbolic Logic 32 (3): 412. 1967.
-
75A Calculus of Regions Respecting Both Measure and TopologyJournal of Philosophical Logic 48 (5): 825-850. 2019.Say that space is ‘gunky’ if every part of space has a proper part. Traditional theories of gunk, dating back to the work of Whitehead in the early part of last century, modeled space in the Boolean algebra of regular closed subsets of Euclidean space. More recently a complaint was brought against that tradition in Arntzenius and Russell : Lebesgue measure is not even finitely additive over the algebra, and there is no countably additive measure on the algebra. Arntzenius advocated modeling gunk…Read more
-
27Logic with Denumerably Long Formulas and Finite Strings of QuantifiersJournal of Symbolic Logic 36 (1): 157-158. 1971.
-
20Boolean-Valued Models and Independence Proofs in Set TheoryJournal of Symbolic Logic 51 (4): 1076-1077. 1986.
-
10Hinges and Automorphisms of the Degrees of Non-constructibilityJournal of Symbolic Logic 54 (3): 1109-1111. 1989.
-
2On completing ordered fieldsIn W. A. J. Luxemburg (ed.), Applications of model theory to algebra, analysis, and probability, Holt, Rinehart and Winston. pp. 274--278. 1969.
-
65Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive proof assistant, and this formalization utilizes a semantically correct embedding of free logic in classical higher-order logic. The modeling and formal analysis of our axiom sets has been significantly supported by series of experiments with automate…Read more
Pittsburgh, Pennsylvania, United States of America
Areas of Interest
Logic and Philosophy of Logic |
Philosophy of Mathematics |