Haim Gaifman

Available identifiers

zbMath Open gaifman.haimWikidataQ5639292 ScholiaQ5639292MaRDI QIDQ383020

List of research outcomes

Publication	Date of Publication	Type
A simpler and more realistic subjective decision theory	2021-01-18	Paper
A Theory of Higher Order Probabilities	2017-04-07	Paper
Context-Dependent Utilities	2015-12-17	Paper
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs	2015-06-19	Paper
The sure thing principle, dilations, and objective probabilities	2014-04-17	Paper
Deceptive updating and minimal information methods	2013-11-25	Paper
ON ONTOLOGY AND REALISM IN MATHEMATICS	2012-10-23	Paper
Erratum to: ``Vagueness, tolerance and contextual logic	2011-06-08	Paper
Vagueness, tolerance and contextual logic	2010-08-13	Paper
CONTEXTUAL LOGIC WITH MODALITIES FOR TIME AND SPACE	2010-08-13	Paper
Naming and Diagonalization, from Cantor to Godel to Kleene	2007-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q5483311	2006-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4656798	2005-03-14	Paper
Self-reference and the acyclicity of rational choice	2000-07-10	Paper
Undecidable optimization problems for database logic programs	1993-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q3212265	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4733390	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3484809	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3740714	1986-01-01	Paper
Concerning two-adjacent context-free languages	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3666827	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3962995	1982-01-01	Paper
Probabilities over rich languages, testing and randomness	1982-01-01	Paper
Global and local choice functions	1976-01-01	Paper
Models and types of Peano's arithmetic	1976-01-01	Paper
Finiteness is not a \(\Sigma_0\)-property	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4081239	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4109673	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5668470	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5611004	1970-01-01	Paper
A generalization of Mahlo's method for obtaining large cardinal numbers	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5561944	1967-01-01	Paper
Remarks on Complementation in the Lattice of all Topologies	1966-01-01	Paper
Infinite Boolean polynomials I	1965-01-01	Paper
Dependency systems and phrase-structure systems	1965-01-01	Paper
Concerning measures on Boolean algebras	1964-01-01	Paper
Concerning measures in first order calculi	1964-01-01	Paper
Isomorphism Types of Trees	1964-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Haim Gaifman