1 resultado para total hip prostheses
em Boston University Digital Common
Filtro por publicador
- Repository Napier (1)
- Aberystwyth University Repository - Reino Unido (3)
- Academic Archive On-line (Jönköping University; Sweden) (1)
- Adam Mickiewicz University Repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (5)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (5)
- Aquatic Commons (29)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (6)
- Aston University Research Archive (3)
- B-Digital - Universidade Fernando Pessoa - Portugal (1)
- Biblioteca Digital da Câmara dos Deputados (4)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (4)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (30)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (96)
- Boston University Digital Common (1)
- Brock University, Canada (1)
- CaltechTHESIS (13)
- Cambridge University Engineering Department Publications Database (30)
- CentAUR: Central Archive University of Reading - UK (1)
- Center for Jewish History Digital Collections (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (77)
- Coffee Science - Universidade Federal de Lavras (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (2)
- Deakin Research Online - Australia (36)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (2)
- Digital Commons at Florida International University (2)
- DigitalCommons@The Texas Medical Center (2)
- Duke University (15)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (8)
- FAUBA DIGITAL: Repositorio institucional científico y académico de la Facultad de Agronomia de la Universidad de Buenos Aires (2)
- Glasgow Theses Service (1)
- Greenwich Academic Literature Archive - UK (4)
- Helda - Digital Repository of University of Helsinki (20)
- Indian Institute of Science - Bangalore - Índia (143)
- Infoteca EMBRAPA (2)
- Institutional Repository of Leibniz University Hannover (5)
- Instituto Politécnico de Bragança (1)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (2)
- Ministerio de Cultura, Spain (1)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (16)
- Portal de Revistas Científicas Complutenses - Espanha (2)
- Publishing Network for Geoscientific & Environmental Data (1)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (87)
- Queensland University of Technology - ePrints Archive (189)
- RCAAP - Repositório Científico de Acesso Aberto de Portugal (1)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (2)
- Repositorio Institucional de la Universidad Nacional Agraria (4)
- Repositorio Institucional de la Universidad Pública de Navarra - Espanha (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (30)
- Universidad del Rosario, Colombia (14)
- Universidad Politécnica de Madrid (1)
- Universidade de Lisboa - Repositório Aberto (1)
- Universidade Federal de Uberlândia (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (3)
- Université de Lausanne, Switzerland (4)
- Université de Montréal (1)
- Université de Montréal, Canada (6)
- University of Queensland eSpace - Australia (9)
- 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.