Gaifman, Haim; Liu, Yang A simpler and more realistic subjective decision theory. (English) Zbl 1452.62152 Synthese 195, No. 10, 4205-4241 (2018). MSC: 62C05 91B06 PDFBibTeX XMLCite \textit{H. Gaifman} and \textit{Y. Liu}, Synthese 195, No. 10, 4205--4241 (2018; Zbl 1452.62152) Full Text: DOI
Gaifman, Haim A theory of higher order probabilities. (English) Zbl 1384.03113 Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 91-106 (2016). MSC: 03B48 60A05 PDFBibTeX XMLCite \textit{H. Gaifman}, Springer Grad. Texts Philos. 1, 91--106 (2016; Zbl 1384.03113) Full Text: DOI Link
Gaifman, Haim; Liu, Yang Context-dependent utilities. A solution to the problem of constant acts in Savage. (English) Zbl 1471.91151 van der Hoek, Wiebe (ed.) et al., Logic, rationality, and interaction. 5th international workshop, LORI 2015, Taipei, Taiwan, October 28–30, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9394, 90-101 (2015). MSC: 91B16 91B06 PDFBibTeX XMLCite \textit{H. Gaifman} and \textit{Y. Liu}, Lect. Notes Comput. Sci. 9394, 90--101 (2015; Zbl 1471.91151) Full Text: DOI
Gaifman, Haim The sure thing principle, dilations, and objective probabilities. (English) Zbl 1284.03159 J. Appl. Log. 11, No. 4, 373-385 (2013). MSC: 03B48 PDFBibTeX XMLCite \textit{H. Gaifman}, J. Appl. Log. 11, No. 4, 373--385 (2013; Zbl 1284.03159) Full Text: DOI
Gaifman, Haim; Vasudevan, Anubav Deceptive updating and minimal information methods. (English) Zbl 1275.03095 Synthese 187, No. 1, 147-178 (2012). MSC: 03B48 60A05 62A01 PDFBibTeX XMLCite \textit{H. Gaifman} and \textit{A. Vasudevan}, Synthese 187, No. 1, 147--178 (2012; Zbl 1275.03095) Full Text: DOI
Gaifman, Haim On ontology and realism in mathematics. (English) Zbl 1273.03020 Rev. Symb. Log. 5, No. 3, 480-512 (2012). Reviewer: Rodrigo Freire (Sao Paulo) MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{H. Gaifman}, Rev. Symb. Log. 5, No. 3, 480--512 (2012; Zbl 1273.03020) Full Text: DOI
Gaifman, Haim Erratum to: “Vagueness, tolerance and contextual logic”. (English) Zbl 1267.03011 Synthese 179, No. 3, 501-502 (2011). MSC: 03A05 PDFBibTeX XMLCite \textit{H. Gaifman}, Synthese 179, No. 3, 501--502 (2011; Zbl 1267.03011) Full Text: DOI
Gaifman, Haim Vagueness, tolerance and contextual logic. (English) Zbl 1205.03006 Synthese 174, No. 1, 5-46 (2010); erratum ibid. 179, No. 3, 501-502 (2011). MSC: 03A05 PDFBibTeX XMLCite \textit{H. Gaifman}, Synthese 174, No. 1, 5--46 (2010; Zbl 1205.03006) Full Text: DOI
Gaifman, Haim Contextual logic with modalities for time and space. (English) Zbl 1204.03036 Rev. Symb. Log. 1, No. 4, 433-458 (2008). MSC: 03B65 PDFBibTeX XMLCite \textit{H. Gaifman}, Rev. Symb. Log. 1, No. 4, 433--458 (2008; Zbl 1204.03036) Full Text: DOI
Gaifman, Haim Naming and diagonalization, from Cantor to Gödel to Kleene. (English) Zbl 1113.03003 Log. J. IGPL 14, No. 5, 709-728 (2006). Reviewer: Branislav Boričić (Beograd) MSC: 03-03 03A05 PDFBibTeX XMLCite \textit{H. Gaifman}, Log. J. IGPL 14, No. 5, 709--728 (2006; Zbl 1113.03003) Full Text: DOI
Gaifman, Haim (ed.) 2005–06 Winter meeting of the Association for Symbolic Logic, The Hilton New York Hotel, New York, NY, December 27–29, 2005. (English) Zbl 1100.03500 Bull. Symb. Log. 12, No. 3, 503-516 (2006). MSC: 03-06 00B05 PDFBibTeX XMLCite \textit{H. Gaifman} (ed.), Bull. Symb. Log. 12, No. 3, 503--516 (2006; Zbl 1100.03500) Full Text: DOI
Gaifman, Haim Some thoughts and a proposal in the philosophy of mathematics. (English) Zbl 1197.00018 Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 351-372 (2005). MSC: 00A30 PDFBibTeX XMLCite \textit{H. Gaifman}, in: Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King's College Publications. 351--372 (2005; Zbl 1197.00018)
Gaifman, Haim Non-standard models in a broader perspective. (English) Zbl 1068.03007 Enayat, Ali (ed.) et al., Nonstandard models of arithmetic and set theory. Proceedings of the AMS special session, Baltimore, MD, USA, January 15–16, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3535-1/pbk). Contemporary Mathematics 361, 1-22 (2004). Reviewer: Roman Kossak (New York) MSC: 03A05 00A30 03H05 03H15 PDFBibTeX XMLCite \textit{H. Gaifman}, Contemp. Math. 361, 1--22 (2004; Zbl 1068.03007)
Gaifman, Haim Self-reference and the acyclicity of rational choice. (English) Zbl 0939.91027 Ann. Pure Appl. Logic 96, No. 1-3, 117-140 (1999). MSC: 91B06 91A05 PDFBibTeX XMLCite \textit{H. Gaifman}, Ann. Pure Appl. Logic 96, No. 1--3, 117--140 (1999; Zbl 0939.91027) Full Text: DOI
Gaifman, Haim; Mairson, Harry; Sagiv, Yehoshua; Vardi, Moshe Y. Undecidable optimization problems for database logic programs. (English) Zbl 0785.68021 J. Assoc. Comput. Mach. 40, No. 3, 683-713 (1993). MSC: 68P15 68N17 68Q25 PDFBibTeX XMLCite \textit{H. Gaifman} et al., J. Assoc. Comput. Mach. 40, No. 3, 683--713 (1993; Zbl 0785.68021) Full Text: DOI
Gaifman, Haim; Maher, Michael J.; Shapiro, Ehud Replay, recovery, replication, and snapshots of nondeterministic concurrent programs. (English) Zbl 1314.68183 Proceedings of the tenth annual ACM symposium on principles of distributed computing, PODC ’91, Montreal, QC, Canada, August 19–21, 1991. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-439-2). 241-255 (1991). MSC: 68Q60 68N17 68N19 68Q10 68Q85 PDFBibTeX XMLCite \textit{H. Gaifman} et al., in: Proceedings of the tenth annual ACM symposium on principles of distributed computing, PODC '91, Montreal, QC, Canada, August 19--21, 1991. New York, NY: Association for Computing Machinery (ACM). 241--255 (1991; Zbl 1314.68183) Full Text: DOI
Gaifman, Haim; Shapiro, Ehud Proof theory and semantics of logic programs. (English) Zbl 0724.68018 Logic in computer science, Proc. 4th Annual Symp., Pacific Grove/CA (USA) 1989, 50-62 (1989). Reviewer: A.Pettorossi (Roma) MSC: 68N17 03B35 03F03 PDFBibTeX XML
Gaifman, H. Modeling concurrency by partial orders and nonlinear transition systems. (Technical contribution). (English) Zbl 0683.68020 Linear time, branching time and partial order in logics and models for concurrency, Proc. Workshop, Noordwijkerhout/NL 1988, Lect. Notes Comput. Sci. 354, 467-488 (1989). Reviewer: N.Curteanu MSC: 68N25 68Q85 06A06 68Q60 68Q65 03B99 PDFBibTeX XML
Gaifman, Haim Operational pointer semantics: Solution to self-referential puzzles. I. (English) Zbl 0705.03005 Theoretical aspects of reasoning about knowledge, Proc. 2nd Conf., Pacific Grove/CA (USA) 1988, 43-59 (1988). Reviewer: G.Priest MSC: 03A05 03B60 PDFBibTeX XML
Gaifman, Haim Towards a unified concept of probability. (English) Zbl 0604.60003 Logic, methodology and philosophy of science VII, Proc. 7th Int. Congr., Salzburg 1983, Stud. Logic Found. Math. 114, 319-350 (1986). Reviewer: H.E.Kyburg jun MSC: 60A05 03E72 PDFBibTeX XML
Dahlhaus, E.; Gaifman, H. Concerning two-adjacent context-free languages. (English) Zbl 0608.68061 Theor. Comput. Sci. 41, 169-184 (1985). Reviewer: R.Andonie MSC: 68Q45 PDFBibTeX XMLCite \textit{E. Dahlhaus} and \textit{H. Gaifman}, Theor. Comput. Sci. 41, 169--184 (1985; Zbl 0608.68061) Full Text: DOI
Gaifman, Haim On local and non-local properties. (English) Zbl 0518.03008 Logic colloquium ’81, Proc. Herbrand Symp., Marseille 1981, Stud. Logic Found. Math. 107, 105-135 (1982). MSC: 03C10 03C80 68P20 03E99 PDFBibTeX XML
Gaifman, Haim; Snir, Marc Probabilities over rich languages, testing and randomness. (English) Zbl 0501.60006 J. Symb. Log. 47, 495-548 (1982). MSC: 60A99 62A01 03B25 PDFBibTeX XMLCite \textit{H. Gaifman} and \textit{M. Snir}, J. Symb. Log. 47, 495--548 (1982; Zbl 0501.60006) Full Text: DOI
Gaifman, Haim; Dimitracopoulos, Constantine Fragments of Peano’s arithmetic and the MRDP theorem. (English) Zbl 0498.03045 Logic and algorithmic, int. Symp., Zürich 1980, Monogr. L’Enseign. Math. 30, 187-206 (1982). MSC: 03F30 03C62 PDFBibTeX XML
Gaifman, H.; Shamir, E. Roots of the hardest context free language and other constructs. (English) Zbl 0453.68049 SIGACT News 12, No. 3, 45-51 (1980). MSC: 68Q45 PDFBibTeX XML
Gaifman, Haim Global and local choice functions. (English) Zbl 0347.02043 Isr. J. Math. 22(1975), 257-265 (1976). MSC: 03E25 PDFBibTeX XMLCite \textit{H. Gaifman}, Isr. J. Math. 22, 257--265 (1976; Zbl 0347.02043) Full Text: DOI
Gaifman, Haim Models and types of Peano’s arithmetic. (English) Zbl 0332.02058 Ann. Math. Logic 9, 223-306 (1976). MSC: 03C60 03C68 PDFBibTeX XMLCite \textit{H. Gaifman}, Ann. Math. Logic 9, 223--306 (1976; Zbl 0332.02058) Full Text: DOI
Gaifman, H. Finiteness is not a \(\Sigma_0\)-property. (English) Zbl 0307.02052 Isr. J. Math. 19(1974), 359-368 (1975). MSC: 03E99 03C99 PDFBibTeX XMLCite \textit{H. Gaifman}, Isr. J. Math. 19, 359--368 (1975; Zbl 0307.02052) Full Text: DOI
Gaifman, Haim Elementary embeddings of models of set-theory and certain subtheories. (English) Zbl 0342.02042 Axiom. Set Theor., Proc. Symp. Los Angeles 1967, 33-101 (1974). MSC: 03C30 03E30 03E55 03E35 PDFBibTeX XML
Gaifman, Haim Operations on relational structures, functors and classes. I. (English) Zbl 0319.02048 Proc. Tarski Symp., internat. Symp. Honor Alfred Tarski, Berkeley 1971, Proc. Symp. Pure Math. 25, 21-39 (1974). MSC: 03C60 03C68 08A05 08B20 PDFBibTeX XML
Gaifman, Haim A not e on models and submodels of arithmetic. (English) Zbl 0255.02058 Conf. Math. Logic, London 1970, Lect. Notes Math. 255, 128-144 (1972). MSC: 03C60 03H99 11U10 PDFBibTeX XML
Carnap, Rudolf (ed.); Jeffrey, Richard C. (ed.) [Humburg, Jürgen; Gaifman, Haim] Studies in inductive logic and probability. Vol. I. Contributions by Jürgen Humburg and Haim Gaifman. (English) Zbl 0246.02024 Berkeley-Los Angeles-London: University of California Press. VI, 264 p. $ 11.00 (1971). MSC: 03B99 60A05 03-02 60-02 PDFBibTeX XML
Gaifman, Haim On local arithmetical functions and their application for constructing types of Peano’s arithmetic. (English) Zbl 0209.30801 Math. Logic Found. Set Theory, Proc. Int. Colloqu., Jerusalem 1968, 105-121 (1970). MSC: 03D20 03F30 PDFBibTeX XML
Gaifman, H. A generalization of Mahlo’s method for obtaining large cardinal numbers. (English) Zbl 0207.30301 Isr. J. Math. 5, 188-200 (1967). MSC: 03E55 PDFBibTeX XMLCite \textit{H. Gaifman}, Isr. J. Math. 5, 188--200 (1967; Zbl 0207.30301) Full Text: DOI
Gaifman, H. Uniform extension operators for models and their applications. (English) Zbl 0174.01502 Sets, Models, Recursion Theory, Proc. Summer School Math. Logic, Xth Logic Colloquium Leicester 1965, Stud. Logic Found. Math. 46, 122-155 (1967). MSC: 03-XX PDFBibTeX XML
Gaifman, H. Remarks on complementation in the lattice of all topologies. (English) Zbl 0134.18205 Can. J. Math. 18, 83-88 (1966). PDFBibTeX XMLCite \textit{H. Gaifman}, Can. J. Math. 18, 83--88 (1966; Zbl 0134.18205) Full Text: DOI
Gaifman, H. Dependency systems and phrase-structure systems. (English) Zbl 0132.24902 Inf. Control 8, 304-337 (1965). PDFBibTeX XMLCite \textit{H. Gaifman}, Inf. Control 8, 304--337 (1965; Zbl 0132.24902) Full Text: DOI
Gaifman, H. Infinite Boolean polynomials. I. (English) Zbl 0126.26404 Fundam. Math. 54, 229-250 (1964); Errata. Ibid. 57, 117 (1965). PDFBibTeX XMLCite \textit{H. Gaifman}, Fundam. Math. 54, 229--250 (1965; Zbl 0126.26404) Full Text: DOI EuDML
Gaifman, H. Concerning measures in first order calculi. (English) Zbl 0192.03302 Isr. J. Math. 2, 1-18 (1964). PDFBibTeX XMLCite \textit{H. Gaifman}, Isr. J. Math. 2, 1--18 (1964; Zbl 0192.03302) Full Text: DOI
Gaifman, H. Concerning measures on Boolean algebras. (English) Zbl 0127.02306 Pac. J. Math. 14, 61-73 (1964). PDFBibTeX XMLCite \textit{H. Gaifman}, Pac. J. Math. 14, 61--73 (1964; Zbl 0127.02306) Full Text: DOI
Gaifman, Haim; Specker, E. P. Isomorphism types of trees. (English) Zbl 0125.01203 Proc. Am. Math. Soc. 15, 1-7 (1964). Reviewer: José Morgado MSC: 06A05 PDFBibTeX XMLCite \textit{H. Gaifman} and \textit{E. P. Specker}, Proc. Am. Math. Soc. 15, 1--7 (1964; Zbl 0125.01203) Full Text: DOI