THE CALKIN ALGEBRA IS NOT COUNTABLY HOMOGENEOUS ILIJAS FARAH AND ILAN HIRSHBERG Abstract. We show that the Calkin algebra is not countably homogeneous, in the sense of continuous model theory. We furthermore show that th

Source URL: www.math.yorku.ca

A PRESENTATION THEOREM FOR CONTINUOUS LOGIC AND METRIC ABSTRACT ELEMENTARY CLASSES WILL BONEY Abstract. In recent years, model theory has widened its scope to include metric structures by considering real-valued models w

Source URL: math.harvard.edu

A model-based theory of omissive causation Paul F. Bello and Sangeet S. Khemlani {paul.bello, sangeet.khemlani}@nrl.navy.mil U.S. Naval Research Laboratory Washington, DCUSA Abstract

Source URL: mentalmodels.princeton.edu

Theory of mind in the Mod game: An agent-based model of strategic reasoning Harmen de Weerd, Rineke Verbrugge, Bart Verheij Institute of Artificial Intelligence, University of Groningen Abstract. When people engage in s

Source URL: www.harmendeweerd.nl

How well can HMM model load signals Lukas Mauch, Karim Said Barsim and Bin Yang {lukas.mauch,karim.barsim,bin.yang}@iss.uni-stuttgart.de Institute of Signal Processing and System Theory, University of Stuttgart Abstract

Source URL: nilmworkshop.org

When it’s Good to Feel Bad: an Evolutionary Model of Guilt and Apology Sarita Rosenstock and Cailin O’Connor Abstract We use techniques from evolutionary game theory to analyze the conditions under which guilt can

Source URL: cailinoconnor.com

What a model with data says about theta D.A.S. Fraser, N. Reid and A. Wong November 29, 2006 Abstract Recent likelihood theory gives complete inference for scalar parameters in continuous statistical models; the methodol

Source URL: fisher.utstat.toronto.edu

THE ALGEBRA AND MODEL THEORY OF TAME VALUED FIELDS FRANZ–VIKTOR KUHLMANN Abstract. A henselian valued field K is called a tame field if its algebraic closure ˜ is a tame extension, that is, the ramification field of t

Source URL: math.usask.ca

THE MODEL THEORY OF SEPARABLY TAME VALUED FIELDS FRANZ–VIKTOR KUHLMANN AND KOUSHIK PAL Abstract. A henselian valued field K is called separably tame if its separable-algebraic closure K sep is a tame extension, that is

Source URL: math.usask.ca

In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract

Source URL: www2.lingfil.uu.se

• Logic
• Mathematical logic
• Theoretical computer science
• Natural language processing
• Formal methods
• Computability theory
• Artificial intelligence
• Decidability
• First-order logic
• Natural language understanding
• Natural language user interface
• Entityrelationship model