×
Compute Distance To:
Author ID: gaifman.haim Recent zbMATH articles by "Gaifman, Haim"
Published as: Gaifman, Haim; Gaifman, H.
External Links: MGP · Wikidata · GND

Publications by Year

Citations contained in zbMATH Open

35 Publications have been cited 366 times in 327 Documents Cited by Year
Concerning measures in first order calculi. Zbl 0192.03302
Gaifman, H.
79
1964
Probabilities over rich languages, testing and randomness. Zbl 0501.60006
Gaifman, Haim; Snir, Marc
41
1982
Models and types of Peano’s arithmetic. Zbl 0332.02058
Gaifman, Haim
35
1976
Fragments of Peano’s arithmetic and the MRDP theorem. Zbl 0498.03045
Gaifman, Haim; Dimitracopoulos, Constantine
25
1982
Concerning measures on Boolean algebras. Zbl 0127.02306
Gaifman, H.
24
1964
Undecidable optimization problems for database logic programs. Zbl 0785.68021
Gaifman, Haim; Mairson, Harry; Sagiv, Yehoshua; Vardi, Moshe Y.
22
1993
Studies in inductive logic and probability. Vol. I. Contributions by Jürgen Humburg and Haim Gaifman. Zbl 0246.02024
18
1971
On local and non-local properties. Zbl 0518.03008
Gaifman, Haim
15
1982
Infinite Boolean polynomials. I. Zbl 0126.26404
Gaifman, H.
13
1965
Elementary embeddings of models of set-theory and certain subtheories. Zbl 0342.02042
Gaifman, Haim
8
1974
Vagueness, tolerance and contextual logic. Zbl 1205.03006
Gaifman, Haim
8
2010
Isomorphism types of trees. Zbl 0125.01203
Gaifman, Haim; Specker, E. P.
7
1964
Dependency systems and phrase-structure systems. Zbl 0132.24902
Gaifman, H.
7
1965
Concerning two-adjacent context-free languages. Zbl 0608.68061
Dahlhaus, E.; Gaifman, H.
6
1985
Global and local choice functions. Zbl 0347.02043
Gaifman, Haim
6
1976
Non-standard models in a broader perspective. Zbl 1068.03007
Gaifman, Haim
6
2004
Operational pointer semantics: Solution to self-referential puzzles. I. Zbl 0705.03005
Gaifman, Haim
6
1988
Operations on relational structures, functors and classes. I. Zbl 0319.02048
Gaifman, Haim
5
1974
On local arithmetical functions and their application for constructing types of Peano’s arithmetic. Zbl 0209.30801
Gaifman, H.
4
1970
Remarks on complementation in the lattice of all topologies. Zbl 0134.18205
Gaifman, H.
4
1966
A not e on models and submodels of arithmetic. Zbl 0255.02058
Gaifman, Haim
3
1972
A generalization of Mahlo’s method for obtaining large cardinal numbers. Zbl 0207.30301
Gaifman, H.
3
1967
A theory of higher order probabilities. Zbl 1384.03113
Gaifman, Haim
2
2016
The sure thing principle, dilations, and objective probabilities. Zbl 1284.03159
Gaifman, Haim
2
2013
Self-reference and the acyclicity of rational choice. Zbl 0939.91027
Gaifman, Haim
2
1999
Deceptive updating and minimal information methods. Zbl 1275.03095
Gaifman, Haim; Vasudevan, Anubav
2
2012
Naming and diagonalization, from Cantor to Gödel to Kleene. Zbl 1113.03003
Gaifman, Haim
2
2006
On ontology and realism in mathematics. Zbl 1273.03020
Gaifman, Haim
2
2012
Proof theory and semantics of logic programs. Zbl 0724.68018
Gaifman, Haim; Shapiro, Ehud
2
1989
Modeling concurrency by partial orders and nonlinear transition systems. (Technical contribution). Zbl 0683.68020
Gaifman, H.
2
1989
Erratum to: “Vagueness, tolerance and contextual logic”. Zbl 1267.03011
Gaifman, Haim
1
2011
Towards a unified concept of probability. Zbl 0604.60003
Gaifman, Haim
1
1986
Context-dependent utilities. A solution to the problem of constant acts in Savage. Zbl 1471.91151
Gaifman, Haim; Liu, Yang
1
2015
Contextual logic with modalities for time and space. Zbl 1204.03036
Gaifman, Haim
1
2008
Uniform extension operators for models and their applications. Zbl 0174.01502
Gaifman, H.
1
1967
A theory of higher order probabilities. Zbl 1384.03113
Gaifman, Haim
2
2016
Context-dependent utilities. A solution to the problem of constant acts in Savage. Zbl 1471.91151
Gaifman, Haim; Liu, Yang
1
2015
The sure thing principle, dilations, and objective probabilities. Zbl 1284.03159
Gaifman, Haim
2
2013
Deceptive updating and minimal information methods. Zbl 1275.03095
Gaifman, Haim; Vasudevan, Anubav
2
2012
On ontology and realism in mathematics. Zbl 1273.03020
Gaifman, Haim
2
2012
Erratum to: “Vagueness, tolerance and contextual logic”. Zbl 1267.03011
Gaifman, Haim
1
2011
Vagueness, tolerance and contextual logic. Zbl 1205.03006
Gaifman, Haim
8
2010
Contextual logic with modalities for time and space. Zbl 1204.03036
Gaifman, Haim
1
2008
Naming and diagonalization, from Cantor to Gödel to Kleene. Zbl 1113.03003
Gaifman, Haim
2
2006
Non-standard models in a broader perspective. Zbl 1068.03007
Gaifman, Haim
6
2004
Self-reference and the acyclicity of rational choice. Zbl 0939.91027
Gaifman, Haim
2
1999
Undecidable optimization problems for database logic programs. Zbl 0785.68021
Gaifman, Haim; Mairson, Harry; Sagiv, Yehoshua; Vardi, Moshe Y.
22
1993
Proof theory and semantics of logic programs. Zbl 0724.68018
Gaifman, Haim; Shapiro, Ehud
2
1989
Modeling concurrency by partial orders and nonlinear transition systems. (Technical contribution). Zbl 0683.68020
Gaifman, H.
2
1989
Operational pointer semantics: Solution to self-referential puzzles. I. Zbl 0705.03005
Gaifman, Haim
6
1988
Towards a unified concept of probability. Zbl 0604.60003
Gaifman, Haim
1
1986
Concerning two-adjacent context-free languages. Zbl 0608.68061
Dahlhaus, E.; Gaifman, H.
6
1985
Probabilities over rich languages, testing and randomness. Zbl 0501.60006
Gaifman, Haim; Snir, Marc
41
1982
Fragments of Peano’s arithmetic and the MRDP theorem. Zbl 0498.03045
Gaifman, Haim; Dimitracopoulos, Constantine
25
1982
On local and non-local properties. Zbl 0518.03008
Gaifman, Haim
15
1982
Models and types of Peano’s arithmetic. Zbl 0332.02058
Gaifman, Haim
35
1976
Global and local choice functions. Zbl 0347.02043
Gaifman, Haim
6
1976
Elementary embeddings of models of set-theory and certain subtheories. Zbl 0342.02042
Gaifman, Haim
8
1974
Operations on relational structures, functors and classes. I. Zbl 0319.02048
Gaifman, Haim
5
1974
A not e on models and submodels of arithmetic. Zbl 0255.02058
Gaifman, Haim
3
1972
Studies in inductive logic and probability. Vol. I. Contributions by Jürgen Humburg and Haim Gaifman. Zbl 0246.02024
18
1971
On local arithmetical functions and their application for constructing types of Peano’s arithmetic. Zbl 0209.30801
Gaifman, H.
4
1970
A generalization of Mahlo’s method for obtaining large cardinal numbers. Zbl 0207.30301
Gaifman, H.
3
1967
Uniform extension operators for models and their applications. Zbl 0174.01502
Gaifman, H.
1
1967
Remarks on complementation in the lattice of all topologies. Zbl 0134.18205
Gaifman, H.
4
1966
Infinite Boolean polynomials. I. Zbl 0126.26404
Gaifman, H.
13
1965
Dependency systems and phrase-structure systems. Zbl 0132.24902
Gaifman, H.
7
1965
Concerning measures in first order calculi. Zbl 0192.03302
Gaifman, H.
79
1964
Concerning measures on Boolean algebras. Zbl 0127.02306
Gaifman, H.
24
1964
Isomorphism types of trees. Zbl 0125.01203
Gaifman, Haim; Specker, E. P.
7
1964
all top 5

Cited by 359 Authors

23 Paris, Jeffrey Bruce
13 Vencovská, Alena
9 Landes, Jürgen
8 Shelah, Saharon
7 Schmerl, James H.
6 Enayat, Ali
6 Gaifman, Haim
6 Kaye, Richard W.
6 Kossak, Roman
5 Howson, Colin
5 Kolaitis, Phokion G.
5 Libkin, Leonid O.
5 Vardi, Moshe Ya’akov
4 Barceló, Pablo
4 D’Aquino, Paola
4 Fagin, Ronald
4 Gitman, Victoria
4 Kotlarski, Henryk
4 Rad, Soroush Rafiee
3 Brössel, Peter
3 Douven, Igor
3 Džamonja, Mirna
3 Égré, Paul
3 Flaminio, Tommaso
3 Hailperin, Theodore
3 Halpern, Joseph Yehuda
3 Howarth, Elizabeth
3 Kaufmann, Matt
3 Ng, Raymond T.
3 Salomaa, Kai T.
3 Williamson, Jon
3 Yli-Jyrä, Anssi
2 Arenas, Marcelo
2 Bahrami, Saeideh
2 Chaudhuri, Surajit
2 Ciungu, Lavinia Corina
2 Decock, Lieven
2 Dikovsky, Alexander Yakovlevich
2 Dimitracopoulos, Costas
2 Dong, Guozhu
2 Ferenczi, Miklós
2 Fuchs, Gunter
2 Gagliardi Cozman, Fabio
2 Georgescu, George
2 Gonczarowski, Jakob
2 Gottlob, Georg
2 Hosni, Hykel
2 Ilić Stepić, Angelina
2 Jäger, Manfred
2 Jech, Thomas J.
2 Kanamori, Akihiro
2 Kirby, Laurence
2 Krajíček, Jan
2 Lukasiewicz, Thomas
2 Lynch, James F.
2 Malliaris, Maryanthe Elizabeth
2 McLaughlin, Thomas G.
2 Megiddo, Nimrod
2 Montagna, Franco
2 Nederhof, Mark-Jan
2 Nešetřil, Jaroslav
2 Nix, C. J.
2 Nurkhaidarov, Ermek S.
2 Ognjanović, Zoran
2 Ossona de Mendez, Patrice
2 Pieris, Andreas
2 Pinna, G. Michele
2 Plebanek, Grzegorz
2 Quintana, Ignacio Ojea
2 Ramakrishnan, Raghu
2 Rosenthal, Haskell P.
2 Stavi, Jonathan
2 Steiner, Anne K.
2 Stewart, Rush T.
2 Subrahmanian, V. S.
2 Terwijn, Sebastiaan A.
2 van Rooy, Robert
2 Vasudevan, Anubav
2 Walicki, Michał
2 Warmuth, Manfred K.
2 Wilmers, G. M.
2 Woleński, Jan
2 Wong, Limsoon
1 Abraham, Uri
1 Ackerman, Nathanael Leedom
1 Afrati, Foto N.
1 Aisbett, Janet E.
1 Ajtai, Miklós
1 Amarilli, Antoine
1 Ardeshir, Mohammad
1 Avraham, Uri
1 Baltag, Alexandru
1 Balzer, Wolfgang
1 Bancilhon, Francois
1 Barr, Michael
1 Beeri, Catriel
1 Bélanger, David R.
1 Belle, Vaishak
1 Bendall, Kent
1 Benson-Tilsen, Tsvi
...and 259 more Authors
all top 5

Cited in 81 Serials

26 Annals of Pure and Applied Logic
20 Synthese
18 Archive for Mathematical Logic
17 The Journal of Symbolic Logic
14 Journal of Philosophical Logic
14 Journal of Applied Logic
12 Studia Logica
12 Theoretical Computer Science
10 Journal of Computer and System Sciences
10 Notre Dame Journal of Formal Logic
9 Israel Journal of Mathematics
9 Proceedings of the American Mathematical Society
8 Information and Computation
8 Erkenntnis
7 The Review of Symbolic Logic
6 Artificial Intelligence
6 Topology and its Applications
5 Transactions of the American Mathematical Society
5 Mathematical Logic Quarterly (MLQ)
4 History and Philosophy of Logic
4 International Journal of Approximate Reasoning
4 Bulletin of the American Mathematical Society
3 Archiv für Mathematische Logik und Grundlagenforschung
3 Journal of Mathematical Analysis and Applications
3 The Bulletin of Symbolic Logic
3 Annals of Mathematics and Artificial Intelligence
3 Logical Methods in Computer Science
2 Periodica Mathematica Hungarica
2 Advances in Mathematics
2 Commentationes Mathematicae Universitatis Carolinae
2 Journal of Automated Reasoning
2 Journal of the American Mathematical Society
2 Games and Economic Behavior
2 International Journal of Computer Mathematics
2 Theory of Computing Systems
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 Theory and Practice of Logic Programming
1 Acta Informatica
1 Discrete Mathematics
1 Information Processing Letters
1 Mathematical Notes
1 Arkiv för Matematik
1 Acta Mathematica
1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Compositio Mathematica
1 Fuzzy Sets and Systems
1 Information Sciences
1 Journal of Algebra
1 Journal of Economic Theory
1 Journal of Functional Analysis
1 Journal of Optimization Theory and Applications
1 Journal of Soviet Mathematics
1 Mathematische Zeitschrift
1 European Journal of Combinatorics
1 Mathematical Social Sciences
1 Acta Mathematica Hungarica
1 Acta Applicandae Mathematicae
1 Order
1 Machine Learning
1 Random Structures & Algorithms
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Economics Letters
1 International Journal of Foundations of Computer Science
1 Formal Methods in System Design
1 Journal of Logic, Language and Information
1 Topology Proceedings
1 Journal of Mathematical Sciences (New York)
1 The Electronic Journal of Combinatorics
1 Science in China. Series E
1 Topoi
1 Soft Computing
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Matematicheskie Trudy
1 ACM Transactions on Computational Logic
1 European Journal for Philosophy of Science
1 Axiomathes
1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
1 Forum of Mathematics, Sigma
1 Computer Science Review
1 Nôus

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.