You are here: MIMS > EPrints
MIMS EPrints

Subject: 03 Mathematical logic and foundations


Number of items: 88.

2014.11: Martin Adamcik (2014) Collective Reasoning under Uncertainty and Inconsistency. PhD thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

2013.42: Martin Adamcik and George Wilmers (2013) The Irrelevant Information Principle for Collective Probabilistic Reasoning. Kybernetika.

2013.41: Martin Adamcik and George Wilmers (2013) Probabilistic Merging Operators. Logique et Analyse.

2013.7: Amit Kuber (2013) Grothendieck Rings of Theories of Modules.

2012.86: A J Wilkie (2012) Some results and problems on complex germs with definable Mittag-Leffler stars.

2012.5: A J Wilkie (2008) Some local definability theory for holomorphic functions. In: Model Theory with Applications to Algebra and Analysis. London Mathematical Society Lecture Note Series, 1 (349). Cambridge University Press, Cambridge, pp. 197-213. ISBN 978-0-521-70908-8

2012.4: A J Wilkie and G O Jones (2008) Locally polynomially bounded structures. Bulletin of the London Mathematical Society, 40 (2). pp. 239-248.

2012.3: A J Wilkie (2009) O-minimal structures. In: Seminaire Bourbaki No 985, 14 Nov 2007, Paris, France.

2012.2: A J Wilkie, Jonathan Kirby and Martin Bays (2010) A Schanuel property for exponentially transcendental powers. Bulletin of the London Mathematical Society, 42 (5). pp. 917-922.

2012.1: A J Wilkie, G O Jones and M E M Thomas (2012) Integer-valued definable functions.

2011.79: Tommaso Flaminio and Hykel Hosni (2011) A note on the algebraic structure of conditionals.

2011.56: G. O. Jones and M. E. M. Thomas (2011) The density of algebraic points on certain Pfaffian surfaces. The Quarterly Journal of Mathematics.

2011.55: Gareth Jones and Tamara Servi (2010) On the decidability of the real field with a generic power function. Journal of Symbolic Logic.

2011.54: G. O. Jones, D. J. Miller and M. E. M. Thomas (2011) Mildness and the density of rational points on certain transcendental curves. Notre Dame Journal of Formal Logic, 52 (1). pp. 67-74.

2011.53: Gareth Jones and Patrick Speissegger (2011) Generating the Pfaffian closure with total Pfaffian functions.

2011.12: Marcus Tressl (2011) Non-axiomatizability of real spectra in L<sub>&infin;&lambda;</sub>.

2011.11: Marcus Tressl (2011) Bounded super real closed rings.

2010.101: Martina Fedel, Hykel Hosni and Franco Montagna (2010) A logical characterization of coherence for imprecise probabilities.

2010.41: Margarita Korovina and Nicolai Vorobjov (2010) Computing combinatorial types of trajectories in Pfaffian Dynamics. Journal of Logic and Algebraic Programming, 79 (1). pp. 32-37. ISSN 1567-8326

2010.40: Margarita Korovina and Oleg Kudinov (2010) Σ_K–constraints for Hybrid Systems. Lecture Notes in Computer Science, 5947. pp. 230-241. ISSN 0302-9743

2010.13: George Wilmers (2010) The Social Entropy Process: Axiomatising the Aggregation of Probabilistic Beliefs.

2010.12: George Wilmers (2010) Collective Choice as Information Theory: Towards a Theory of Gravitas.

2010.8: Andrei Morozov and Margarita Korovina (2008) On $\Sigma$-definability without equality over the real numbers. Mathematical Logic Quarterly, 54 (5). pp. 535-544. ISSN 0942-5616

2010.7: Margarita Korovina and Oleg Kudinov (2008) Towards Computability over Effectively Enumerable Topological Spaces. Electronic Notes in Theoretical Computer Science, 221. pp. 115-125. ISSN 1571-0661

2010.6: Andrei Morozov and Margarita Korovina (2008) Remarks on $\Sigma$-definability without the equality test over the Reals. Electronic Notes in Theoretical Computer Science, 202. pp. 305-313. ISSN 1571-0661

2010.5: Andrei Morozov and Margarita Korovina (2008) On $\Sigma$-representability of countable structures over real numbers, complex numbers and quaternions. Algebra and Logic, 47 (3). pp. 335-363. ISSN 0002-5232

2010.4: Margarita Korovina and Vorobjov Nicolai (2008) Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. Theory of Computing Systems, 43 (3-4). pp. 498-515. ISSN 1432-4350

2010.3: Korovina Margarita and Kudinov Oleg (2009) Uniformity principle for $\Sigma$-definability. Journal of Logic and Computation, 19 (1). pp. 159-174. ISSN 0955-792X

2009.59: Martin Bays, Jonathan Kirby and A.J. Wilkie (2009) A Schanuel Property for Exponetially Transcendental Powers.

2009.58: A.J. Wilkie (2007) O-Minimal Structures. Séminaire BOURBAKI, 60 (985). pp. 1-11. ISSN 0036-8075

2009.54: J. B. Paris and S. R. Rad (2009) A note on the least informative model of a theory.

2009.53: Peter Hawes (2007) Investigation of Properties of Some Inference Processes. PhD thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

2009.19: Marius Bujorianu, Manuela Bujorianu and Howard Barringer (2009) A Formal Framework for User-centric Control of Multi-Agent Cyber-physical Systems. In: Michael Fisher, Fariba Sadri and Michael Thielscher, (eds). Proceeding of the 9th CLIMA workshop. Lecture Notes in Computer Science. Springer Verlag, Berlin, Germany.

2008.112: Mike Prest and Ravi Rajani (2008) Structure sheaves of definable additive categories.

2008.110: J. B. Paris (2008) On filling-in missing conditional probabilities in causal networks.

2008.109: C. J. Nix and J. B. Paris (2008) A Continuum of Inductive Methods arising from a Generalized Principle of Instantial Relevance.

2008.108: J. B. Paris and N. Pathmanathan (2008) A Note on Priest’s Finite Inconsistent Arithmetics.

2008.107: Juergen Landes, Jeff Paris and Alena Vencovská (2008) Language Invariance and Spectrum Exchangeability in Inductive Logic.

2008.106: C. J. Nix and J. B. Paris (2008) A Note on Binary Inductive Logic.

2008.104: O. W. Barnett and J. B. Paris (2008) Maximum Entropy Inference with Quantified Knowledge.

2008.100: J. B. Paris and A. Sirokofskich (2008) On LP-models of arithmetic. The Journal of Symbolic Logic, 73 (1). pp. 212-226. ISSN 0022-4812

2008.87: Marcus Tressl (2008) Heirs of box types in polynomially bounded structures.

2008.86: Marcus Tressl (2008) Bounded super real closed rings.

2008.84: Mike Prest (2008) Definable Additive Categories (conference talk).

2008.83: Mike Prest (2008) Pure-injective modules.

2008.82: Ravi Rajani and Mike Prest (2008) Pure-injectivity and model theory for G-sets.

2008.34: Alexandre Borovik (2008) Ubiquity and uniqueness: everyday mathematics from a model-theoretic perspective. In: Seminaire ``Des Mathematiques", 16 January 2008, Ecole Normale Superieure, Paris.

2007.204: Marcus Tressl (2007) Super real closed rings. Fundamenta Mathematicae, 194 (2). pp. 121-177. ISSN 1730-6329

2007.200: A.J. Wilkie and Gareth Jones (2007) Locally polynomially bounded structures. Bulletin of the London Mathematical Society.

2007.199: A.J. Wilkie (2007) Some local definability theory for holomorphic functions. Modnet.

2007.198: J. Pila and A. J. Wilkie (2006) The rational points of a definable set. Duke Mathematical Journal, 133 (3). pp. 591-616. ISSN 0012-7094

2007.189: J.-P. Rolin, P. Speissegger and A. J. Wilkie (2003) Quasianalytic Denjoy-Carleman classes and o-minimality. Journal of the American Mathematical Society, 16 (4). pp. 751-777. ISSN 1088-6834

2007.187: Marcus Tressl (2006) Pseudo completions and completions in stages of o-minimal structures. Archive for Mathematical Logic, 45 (8). pp. 983-1009. ISSN 1432-0665

2007.186: Marcus Tressl (2005) The uniform companion for large differential fields of characteristic 0. Transactions of the American Mathematical Society, 357 (10). pp. 3933-3951. ISSN 1088-6850

2007.185: Marcus Tressl (2005) Model completeness of o-minimal structures expanded by Dedekind cuts. Journal of Symbolic Logic, 70 (1). pp. 29-60. ISSN 0022-4812

2007.177: Alexandre Borovik, Jeffrey Burdges and Gregory Cherlin (2007) Involutions in groups of finite Morley rank degenerate type. Selecta Mathematica, 13 (1). pp. 1-22. ISSN 1420-9020

2007.174: Jeffrey Burdges (2007) The Bender method in groups of finite Morley rank. Journal of Algebra, 312 (1). pp. 33-55. ISSN 0021-8693

2007.98: C. J. Nix and J. B. Paris (2007) A Note on Binary Inductive Logic. Journal of Philosophical Logic. xxx-xxx. ISSN 1573-0433

2007.65: Jeffrey Burdges (2006) Sylow theory for p=0 in solvable groups of finite Morley rank. Journal of Group Theory, 9 (4). pp. 467-481. ISSN 1435-4446

2007.63: Jeffrey Burdges and Gregory Cherlin (2002) Borovik-Poizat rank and stability. Journal of Symbolic Logic, 67 (4). pp. 1570-1578. ISSN 0022-4812

2007.62: Jeffrey Burdges (2004) A signalizer functor theorem for groups of finite Morley rank. Journal of Algebra, 274 (1). pp. 215-229. ISSN 0021-8669

2007.36: Jeff Paris (2004) Deriving information from inconsistent knowledge bases: A completeness proof for $^\eta\rhd_\eta$". Logic Journal of IGPL, 12 (5). pp. 345-353. ISSN 1367-0751

2006.416: Grigory Garkusha and Mike Prest (2006) Torsion classes of finite type and spectra.

2006.410: Ravi Rajani and Mike Prest (2008) Model-theoretic imaginaries and coherent sheaves.

2006.370: Peter Aczel (2006) Equalisers of frames in constructive set theory.

2006.314: M.J. Hill, J. B. Paris and G. M. Wilmers (2002) Some observations on induction in predicate probabilistic reasoning. Journal of Philosophical Logic, 31 (1). pp. 43-75. ISSN 1573-0433

2006.292: Kevin Burke and Mike Prest (2002) The Ziegler and Zariski spectra of some domestic string algebras. Algebras and Representation Theory, 5 (3). pp. 211-234. ISSN 1572-9079

2006.291: Mike Prest and Gennadi Puninski (2002) Pure injective envelopes of finite length modules over a generalized Weyl algebra. Journal of Algebra, 251 (1). pp. 150-177. ISSN 0021-8669

2006.266: Ayse Berkman and Alexandre V. Borovik (2004) A generic identification theorem for groups of finite Morley rank. Journal of the London Mathematical Society, 69 (1). pp. 14-26. ISSN 0024-6107

2006.218: Mike Prest (2008) Definable additive categories: purity and model theory.

2006.214: Michael R. Thomas (2004) A NON-CLASSICAL APPROACH TO MAXIMUM ENTROPY IN UNCERTAIN REASONING. PhD thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

2006.124: Mike Prest and Gena Puninski (2002) Krull-Gabriel dimension of 1-domestic string algebras. Algebras and Representation Theory. ISSN 1386-923X

2006.123: Septimiu Crivei, Mike Prest and Geert Reynders (2004) Model theory of comodules. J. Symbolic Logic, 69 (1). pp. 137-142. ISSN 0022-4812

2006.122: Grigory Garkusha and Mike Prest (2005) Triangulated categories and the Ziegler spectrum. Algebras and Representation Theory, 8 (4). pp. 499-523. ISSN 1386-923X

2006.121: Prest Mike and Puninski Gena (2004) One-sided indecomposable pure-injective modules over string algebras. Colloq. Math., 101 (1). pp. 89-112. ISSN 0010-1354

2006.115: Grigory Garkusha and Mike Prest (2006) Classifying Serre subcategories of finitely presented modules.

2006.113: Mike Prest (2003) Model theory for algebra. In: M Hazewinkel, (eds). Handbook of Algebra. Elsevier, pp. 199-226. ISBN 0-444-51264-0

2006.112: Mike Prest (2003) Model theory and modules. In: M Hazewinkel, (eds). Handbook of Algebra. Elsevier, pp. 227-253. ISBN 0-444-51264-0

2006.111: Mike Prest, Vera Puninskaya and Alexandra Ralph (2004) Some model theory of sheaves of modules. Journal of Symbolic Logic, 69 (4). 1187-1200. ISSN 0022-4812

2006.107: Mike Prest (2008) The Zariski spectrum of the category of finitely presented modules.

2006.92: L.C. Hill and J.B. Paris (2003) When maximising entropy gives the rational closure. Journal of Logic and Computation, 13 (1). pp. 51-68. ISSN 0955-792X

2006.91: J.B. Paris and A. Vencovská (2003) The emergence of reasons conjecture. Journal of Applied Logic, 1 (3-4). pp. 167-195. ISSN 1570-8683

2006.90: Sonia l'Innocente and Mike Prest (2006) Rings of definable scalars of Verma modules.

2006.86: C.J. Nix and J.B. Paris (2006) A continuum of inductive methods arising from a generalized principle of instantial relevance. Journal of Philosophical Logic, 35 (1). pp. 83-115. ISSN 0022-3611

2006.71: Hykel Hosni (2006) Review of Bridges from Classical to Nonmonotonic Logic by David Makinson. Bulletin of Symbolic Logic, 12 (03). ISSN 1079-8986

2005.38: Hykel Hosni (2005) Rationality as conformity. PhD thesis, University of Manchester.

2005.32: Hykel Hosni (2005) Interpretation, coordination and conformity. In: Ahti-Veikko Pietarinen, Ondrej Majer and Tero Tulenheimo, (eds). Logic and Games: Foundational Perspectives. Springer.

2005.31: Hykel Hosni and Jeff Paris (2005) Rationality as conformity. Knowledge Rationality and Action (Synthese), 144 (2). pp. 249-285. ISSN 0039-7857

This list was generated on Fri Oct 17 14:52:32 BST 2014.