Large Cardinals and Determinacy Peter Koellner September 12, 2011 The developments of set theory in 1960’s led to an era of independence in which many of the central questions were shown to be unresolvable on the basis

Source URL: logic.harvard.edu

Physical Determinacy and Mathematical Determinacy Sharon Berry The Polonsky Academy for Advanced Study in the Humanities and Social Sciences

Source URL: www.seberry.org

Dynamic Determinacy Analysis Max Schäfer ∗ Nanyang Technological University Manu Sridharan

Source URL: manu.sridharan.net

Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1

Source URL: cliplab.org

REASONING-BASED STRATEGIES FOR PROCESSING COMPLEX SPATIAL QUERIES Ilya Zaslavsky, Assistant Professor, Department of Geography, Western Michigan University, U.S.A. ABSTRACT

Source URL: mapcontext.com

• Logic
• Epistemology
• Cognition
• Reasoning
• Determinacy
• Geographic information system
• Inference
• Spatialtemporal reasoning
• Uncertainty
• Reasoning system
• Probabilistic logic
• Reason

CONSENSUS GAME ACCEPTORS AND ITERATED TRANSDUCTIONS DIETMAR BERWANGER AND MARIE VAN DEN BOGAARD LSV, CNRS and Universit´e Paris-Saclay, France Abstract. We study a game for recognising formal languages, in which

Source URL: www.lsv.fr

• Formal languages
• Symbol
• Context-sensitive grammar
• Determinacy
• Generalised Whitehead product

Introduction Descriptive Set Theory in SOA Collapsing a model of ZFC Sharps # Collapsing a model of ZFC

Source URL: www.math.uni-bonn.de

• Mathematics
• Mathematical logic
• Logic
• Foundations of mathematics
• Z notation
• ZermeloFraenkel set theory
• Determinacy
• Set theory
• Second-order arithmetic
• Constructible universe
• Model theory
• Descriptive set theory

A Retraction Theorem for Distributed Synthesis Dietmar Berwanger1 , Anup Basil Mathew1,2 , and R. Ramanujam2 1 2 LSV, CNRS & Université Paris-Saclay, France

Source URL: www.lsv.fr

• Game theory
• Finite model theory
• Parity game
• Determinacy
• Retract
• Strategy

C:/Research/Mixing/kcolourtree/RANDOM/wb-random.dvi

Source URL: www.cs.toronto.edu

• Differential forms
• Set theory
• Determinacy
• Tree
• Closed and exact differential forms
• Generalised Whitehead product
• Symbol

Coalitional Bargaining with Agent Type Uncertainty Georgios Chalkiadakis and Craig Boutilier Department of Computer Science University of Toronto, Toronto, Canada { gehalk, cebly }@cs.toronto.edu

Source URL: www.intelligence.tuc.gr

• Game theory
• Cooperative game
• Bayesian game
• Core
• Extensive-form game
• Bargaining
• Solution concept
• Bayesian inference
• Determinacy