×

zbMATH — the first resource for mathematics

Gaifman, Haim

Compute Distance To:
Author ID: gaifman.haim Recent zbMATH articles by "Gaifman, Haim"
Published as: Gaifman, H.; Gaifman, Haim
External Links: MGP · Wikidata · GND
Documents Indexed: 40 Publications since 1964

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 364 times in 336 Documents Cited by Year
Concerning measures in first order calculi. Zbl 0192.03302
Gaifman, H.
76
1964
Probabilities over rich languages, testing and randomness. Zbl 0501.60006
Gaifman, Haim; Snir, Marc
38
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
31
1982
On local and non-local properties. Zbl 0518.03008
Gaifman, Haim
27
1982
Undecidable optimization problems for database logic programs. Zbl 0785.68021
Gaifman, Haim; Mairson, Harry; Sagiv, Yehoshua; Vardi, Moshe Y.
23
1993
Concerning measures on Boolean algebras. Zbl 0127.02306
Gaifman, H.
23
1964
Infinite Boolean polynomials. I. Zbl 0126.26404
Gaifman, H.
11
1965
Elementary embeddings of models of set-theory and certain subtheories. Zbl 0342.02042
Gaifman, Haim
9
1974
Vagueness, tolerance and contextual logic. Zbl 1205.03006
Gaifman, Haim
8
2010
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
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
Operations on relational structures, functors and classes. I. Zbl 0319.02048
Gaifman, Haim
6
1974
Dependency systems and phrase-structure systems. Zbl 0132.24902
Gaifman, H.
6
1965
Isomorphism types of trees. Zbl 0125.01203
Gaifman, Haim; Specker, E. P.
6
1964
Proof theory and semantics of logic programs. Zbl 0724.68018
Gaifman, Haim; Shapiro, Ehud
5
1989
Towards a unified concept of probability. Zbl 0604.60003
Gaifman, Haim
5
1986
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 theory of higher order probabilities. Zbl 1384.03113
Gaifman, Haim
3
2016
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
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
Self-reference and the acyclicity of rational choice. Zbl 0939.91027
Gaifman, Haim
2
1999
Modeling concurrency by partial orders and nonlinear transition systems. (Technical contribution). Zbl 0683.68020
Gaifman, H.
2
1989
Context-dependent utilities. A solution to the problem of constant acts in savage. Zbl 06521570
Gaifman, Haim; Liu, Yang
1
2015
The sure thing principle, dilations, and objective probabilities. Zbl 1284.03159
Gaifman, Haim
1
2013
Erratum to: “Vagueness, tolerance and contextual logic”. Zbl 1267.03011
Gaifman, Haim
1
2011
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
1
2006
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
3
2016
Context-dependent utilities. A solution to the problem of constant acts in savage. Zbl 06521570
Gaifman, Haim; Liu, Yang
1
2015
The sure thing principle, dilations, and objective probabilities. Zbl 1284.03159
Gaifman, Haim
1
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
1
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.
23
1993
Proof theory and semantics of logic programs. Zbl 0724.68018
Gaifman, Haim; Shapiro, Ehud
5
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
5
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
38
1982
Fragments of Peano’s arithmetic and the MRDP theorem. Zbl 0498.03045
Gaifman, Haim; Dimitracopoulos, Constantine
31
1982
On local and non-local properties. Zbl 0518.03008
Gaifman, Haim
27
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
9
1974
Operations on relational structures, functors and classes. I. Zbl 0319.02048
Gaifman, Haim
6
1974
A not e on models and submodels of arithmetic. Zbl 0255.02058
Gaifman, Haim
3
1972
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.
11
1965
Dependency systems and phrase-structure systems. Zbl 0132.24902
Gaifman, H.
6
1965
Concerning measures in first order calculi. Zbl 0192.03302
Gaifman, H.
76
1964
Concerning measures on Boolean algebras. Zbl 0127.02306
Gaifman, H.
23
1964
Isomorphism types of trees. Zbl 0125.01203
Gaifman, Haim; Specker, E. P.
6
1964
all top 5

Cited by 377 Authors

23 Paris, Jeffrey Bruce
13 Vencovská, Alena
8 Landes, Jürgen
7 Schmerl, James H.
7 Shelah, Saharon
6 Enayat, Ali
6 Gaifman, Haim
6 Kaye, Richard W.
6 Kossak, Roman
6 Libkin, Leonid O.
5 Howson, Colin
5 Kolaitis, Phokion G.
5 Vardi, Moshe Y.
4 D’Aquino, Paola
4 Fagin, Ronald
4 Kotlarski, Henryk
3 Barceló, Pablo
3 Brössel, Peter
3 Dimitracopoulos, Costas
3 Douven, Igor
3 Džamonja, Mirna
3 Égré, Paul
3 Flaminio, Tommaso
3 Gitman, Victoria
3 Hailperin, Theodore
3 Halpern, Joseph Yehuda
3 Howarth, Elizabeth
3 Kaufmann, Matt
3 Kirby, Laurence
3 Ng, Raymond T.
3 Rad, Soroush Rafiee
3 Salomaa, Kai T.
3 Williamson, Jon
2 Arenas, Marcelo
2 Bahrami, Saeideh
2 Berarducci, Alessandro
2 Bossi, Annalisa
2 Chaudhuri, Surajit
2 Ciungu, Lavinia Corina
2 Decock, Lieven
2 Dikovsky, Alexander Yakovlevich
2 Dong, Guozhu
2 Ferenczi, Miklós
2 Fuchs, Gunter
2 Gagliardi Cozman, Fabio
2 Georgescu, George
2 Gonczarowski, Jakob
2 Hamkins, Joel David
2 Hodges, Wilfrid
2 Hosni, Hykel
2 Jäger, Manfred
2 Jech, Thomas J.
2 Kanamori, Akihiro
2 Kołodziejczyk, Leszek Aleksander
2 Krajíček, Jan
2 Laver, Richard Joseph
2 Levi, Giorgio
2 Lukasiewicz, Thomas
2 Lynch, James F.
2 Malliaris, Maryanthe Elizabeth
2 McLaughlin, Thomas G.
2 Megiddo, Nimrod
2 Meo, Maria Chiara
2 Montagna, Franco
2 Nix, C. J.
2 Nurkhaidarov, Ermek S.
2 Pinna, G. Michele
2 Plebanek, Grzegorz
2 Quintana, Ignacio Ojea
2 Ramakrishnan, Raghu
2 Rosenthal, Haskell P.
2 Samet, Dov
2 Sprenger, Jan Michael
2 Stavi, Jonathan
2 Steiner, Anne K.
2 Stewart, Rush T.
2 Subrahmanian, V. S.
2 Terwijn, Sebastiaan A.
2 van Rooy, Robert
2 Walicki, Michał
2 Warmuth, Manfred K.
2 Wilmers, G. M.
2 Woleński, Jan
2 Wong, Limsoon
2 Yli-Jyrä, Anssi
1 Abiteboul, Serge
1 Abraham, Uri
1 Ackerman, Nathanael Leedom
1 Adamowicz, Zofia
1 Afrati, Foto N.
1 Aisbett, Janet E.
1 Ajtai, Miklós
1 Aleksjuk, V. N.
1 Ardeshir, Mohammad
1 Arlo Costa, Horacio L.
1 Atserias, Albert
1 Avraham, Uri
1 Bailey, James M.
1 Balzer, Wolfgang
1 Bancilhon, Francois
...and 277 more Authors
all top 5

Cited in 79 Serials

34 Annals of Pure and Applied Logic
20 Theoretical Computer Science
18 Synthese
18 Archive for Mathematical Logic
16 The Journal of Symbolic Logic
16 Journal of Applied Logic
14 Journal of Philosophical Logic
13 Journal of Computer and System Sciences
12 Studia Logica
11 Information and Computation
9 Notre Dame Journal of Formal Logic
9 Proceedings of the American Mathematical Society
9 Erkenntnis
8 Israel Journal of Mathematics
6 Artificial Intelligence
6 Topology and its Applications
6 The Review of Symbolic Logic
5 Mathematical Logic Quarterly (MLQ)
4 Transactions of the American Mathematical Society
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 Advances in Mathematics
3 Games and Economic Behavior
3 The Bulletin of Symbolic Logic
3 Annals of Mathematics and Artificial Intelligence
2 Information Processing Letters
2 Journal of Mathematical Analysis and Applications
2 Periodica Mathematica Hungarica
2 Commentationes Mathematicae Universitatis Carolinae
2 Journal of Automated Reasoning
2 Journal of the American Mathematical Society
2 International Journal of Computer Mathematics
2 Theory of Computing Systems
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Acta Informatica
1 Discrete Mathematics
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 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 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 Theory and Practice of Logic Programming
1 ACM Transactions on Computational Logic
1 Logical Methods in Computer Science
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

Wikidata Timeline

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