• Alumni
    As a member of our Alumni Network, you are always part of the University of Central Lancashire.
  • Business and Enterprise
    We have a strong reputation for applied business research, entrepreneurship and innovation, offering a wide range of specialist business support.
  • News
    Read the the latest news and updates from across the University.
  • Work here
    Discover more about working at one of England’s largest universities in the heart of the North West. Find out more about working at UCLan and browse our latest job opportunities.
  • Events at UCLan and beyond
    We host a wide variety of events open to the public. These include performances and exhibitions, public lectures, festivals and more...
  • Visit us
    Find out more about great ways to visit our campus from Open Days to Academic conferences. There's something for everyone.
  • Research
    We have a growing and vibrant community of academics producing high quality research.
  • Research Services
    We provide a professional, effective and holistic offering for researchers, from ideas and training to funding, dissemination and governance.
  • Research Themes
    Our research fits under six broad themes, ranging from arts and culture to transformative science and technology.
  • Research Centres
    Our interdisciplinary Research Centres are the home of world-class research that brings together expertise from across the University enabling us to provide real-world solutions and opportunities that have an impact on society.
  • Postgraduate research degrees
    We offer a vibrant and world-class research environment, matched by excellent facilities, comprehensive research support and award-winning training opportunities.
  • Business and Enterprise
    We have a strong reputation for applied business research, entrepreneurship and innovation, offering a wide range of specialist business support.
  • Training and development
    We work in partnership with organisations from all sectors to develop and deliver tailored training programmes.
  • Recruit our Students
    Are you looking for someone to bring new ideas and a fresh approach to your business? A UCLan student or graduate could be just what you need.
  • Support for SMEs
    Support and funding for small and medium sized businesses
  • Apprenticeships
    Looking to sponsor or employ a degree apprentice? We offer a wide range of higher and degree apprenticeships.
  • International students
    If you’re looking to study at a great university in the North West, the University of Central Lancashire is a great choice to start or continue your studies in the UK.
  • International
    We are an international, multi-campus university leading the way in modern learning.
  • Welcome and arrival information
    Everything you need to know about starting university
  • Student experience
    For everything about University life, from sports clubs to join, to student support.
  • Campuses and partners
    We have a large and diverse campus network, with campus locations in Preston, Burnley, Westlakes and Cyprus.
  • Student support
    We're here for you, no matter what. We offer expert advice and support in key areas such as health and inclusion to financial matters, visas and more.
  • Accommodation
    Our student accommodation options offer great value for money in a safe, vibrant and inclusive halls community.
  • Undergraduate study
    As an undergraduate student, you’ll benefit from the perfect mix of academic study and a range of opportunities that will set you up for a lifetime of success.
  • Postgraduate study
    Whether you’re looking to develop your knowledge, enhance your career or change direction completely, our postgraduate courses can support your goals.
  • Postgraduate research degrees
    We offer a vibrant and world-class research environment, matched by excellent facilities, comprehensive research support and award-winning training opportunities.
  • Degree Apprenticeships
    Earn your qualification in a paid position within a company or organisation.
  • Professional Development & Short Courses
    We offer professional development for you or your team to help plug a skills gap, offer continuing professional development or support career progression.
Advanced search

The definable (p, q)-theorem for distal theories

Lists
Tools

Boxall, Gareth and Kestner, Charlotte orcid iconORCID: 0000-0001-8976-2981 (2017) The definable (p, q)-theorem for distal theories. The Journal of Symbolic Logic, 83 (12). pp. 123-127.

[thumbnail of Version of Record]
Preview
 PDF (Version of Record) - Published Version
Available under License Creative Commons Attribution.
100kB

Official URL: https://doi.org/10.1017/jsl.2016.72

Abstract

Answering a special case of a question of Chernikov and Simon, we show that any non-dividing formula over a model M in a distal NIP theory is a member of a consistent definable family, definable over M.


Repository Staff Only: item control page

Altmetric
Summary Table
CORE (COnnecting REpositories)
UCLan Logo
Preston,
Lancashire, UK
PR1 2HE
+44 1772 201 201

Follow Us

© 2022 The University of Central Lancashire | Copyright Notice