The following pages link to Haim Gaifman (Q383020):
Displaying 39 items.
- Deceptive updating and minimal information methods (Q383022) (← links)
- Erratum to: ``Vagueness, tolerance and contextual logic'' (Q542133) (← links)
- Vagueness, tolerance and contextual logic (Q987469) (← links)
- (Q1085984) (redirect page) (← links)
- Concerning two-adjacent context-free languages (Q1085985) (← links)
- Finiteness is not a \(\Sigma_0\)-property (Q1217707) (← links)
- Global and local choice functions (Q1233872) (← links)
- Self-reference and the acyclicity of rational choice (Q1295432) (← links)
- A simpler and more realistic subjective decision theory (Q2218702) (← links)
- Concerning measures on Boolean algebras (Q2394148) (← links)
- The sure thing principle, dilations, and objective probabilities (Q2446671) (← links)
- Concerning measures in first order calculi (Q2538114) (← links)
- A generalization of Mahlo's method for obtaining large cardinal numbers (Q2543186) (← links)
- ON ONTOLOGY AND REALISM IN MATHEMATICS (Q2919947) (← links)
- A Theory of Higher Order Probabilities (Q2971672) (← links)
- Undecidable optimization problems for database logic programs (Q3140022) (← links)
- (Q3212265) (← links)
- Naming and Diagonalization, from Cantor to Godel to Kleene (Q3424118) (← links)
- Context-Dependent Utilities (Q3457692) (← links)
- (Q3484809) (← links)
- CONTEXTUAL LOGIC WITH MODALITIES FOR TIME AND SPACE (Q3580681) (← links)
- (Q3666827) (← links)
- (Q3740714) (← links)
- (Q3962995) (← links)
- Probabilities over rich languages, testing and randomness (Q3966829) (← links)
- (Q4081239) (← links)
- Models and types of Peano's arithmetic (Q4096940) (← links)
- (Q4109673) (← links)
- (Q4656798) (← links)
- (Q4733390) (← links)
- Replay, recovery, replication, and snapshots of nondeterministic concurrent programs (Q5255824) (← links)
- Isomorphism Types of Trees (Q5329167) (← links)
- Infinite Boolean polynomials I (Q5333412) (← links)
- Dependency systems and phrase-structure systems (Q5341759) (← links)
- Remarks on Complementation in the Lattice of all Topologies (Q5344720) (← links)
- (Q5483311) (← links)
- (Q5561944) (← links)
- (Q5611004) (← links)
- (Q5668470) (← links)