1 resultado para Mantenimiento Productivo Total
em Boston University Digital Common
Filtro por publicador
- Repository Napier (1)
- Aberystwyth University Repository - Reino Unido (3)
- Andina Digital - Repositorio UASB-Digital - Universidade Andina Simón Bolívar (10)
- Aquatic Commons (30)
- Archive of European Integration (2)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (9)
- Biblioteca Digital da Câmara dos Deputados (4)
- Biblioteca Digital de Artesanías de Colombia (8)
- Biblioteca Digital de la Universidad Católica Argentina (5)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (12)
- Boston University Digital Common (1)
- Brock University, Canada (18)
- CaltechTHESIS (13)
- Cámara de Comercio de Bogotá, Colombia (8)
- Cambridge University Engineering Department Publications Database (16)
- CentAUR: Central Archive University of Reading - UK (21)
- Center for Jewish History Digital Collections (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (76)
- Cochin University of Science & Technology (CUSAT), India (3)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (2)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Duke University (11)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (5)
- FAUBA DIGITAL: Repositorio institucional científico y académico de la Facultad de Agronomia de la Universidad de Buenos Aires (7)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (1)
- Greenwich Academic Literature Archive - UK (4)
- Helda - Digital Repository of University of Helsinki (7)
- Indian Institute of Science - Bangalore - Índia (142)
- Infoteca EMBRAPA (2)
- Instituto Politécnico do Porto, Portugal (4)
- Ministerio de Cultura, Spain (148)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (16)
- Portal de Revistas Científicas Complutenses - Espanha (7)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (101)
- Queensland University of Technology - ePrints Archive (98)
- Repositorio Académico de la Universidad Nacional de Costa Rica (1)
- Repositorio Academico Digital UANL (1)
- Repositorio de la Ciencia y Cultura de El Salvador REDICCES (1)
- REPOSITORIO DIGITAL IMARPE - INSTITUTO DEL MAR DEL PERÚ, Peru (5)
- Repositório Institucional da Universidade de Aveiro - Portugal (1)
- Repositorio Institucional de la Universidad de El Salvador (1)
- Repositorio Institucional de la Universidad Nacional Agraria (44)
- Repositorio Institucional de la Universidad Pública de Navarra - Espanha (1)
- Repositorio Institucional UNISALLE - Colombia (1)
- Repositorio Institucional Universidad Católica de Colombia (1)
- Repositorio Institucional Universidad EAFIT - Medelin - Colombia (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (1)
- School of Medicine, Washington University, United States (2)
- Universidad Autónoma de Nuevo León, Mexico (48)
- Universidad del Rosario, Colombia (45)
- Universidad Politécnica de Madrid (2)
- Universitat de Girona, Spain (2)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (3)
- Université de Lausanne, Switzerland (8)
- Université de Montréal, Canada (10)
- WestminsterResearch - UK (2)
- Worcester Research and Publications - Worcester Research and Publications - UK (1)
Resumo:
We give an explicit and easy-to-verify characterization for subsets in finite total orders (infinitely many of them in general) to be uniformly definable by a first-order formula. From this characterization we derive immediately that Beth's definability theorem does not hold in any class of finite total orders, as well as that McColm's first conjecture is true for all classes of finite total orders. Another consequence is a natural 0-1 law for definable subsets on finite total orders expressed as a statement about the possible densities of first-order definable subsets.