1 resultado para Beth
em Boston University Digital Common
Filtro por publicador
- Aberdeen University (10)
- Aberystwyth University Repository - Reino Unido (2)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (1)
- Applied Math and Science Education Repository - Washington - USA (13)
- Aquatic Commons (3)
- Aston University Research Archive (2)
- Biblioteca Digital da Câmara dos Deputados (26)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (7)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (3)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (1)
- Bibloteca do Senado Federal do Brasil (46)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (19)
- Boston University Digital Common (1)
- Brock University, Canada (5)
- Bucknell University Digital Commons - Pensilvania - USA (10)
- CaltechTHESIS (2)
- CentAUR: Central Archive University of Reading - UK (15)
- Center for Jewish History Digital Collections (17)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (2)
- Cochin University of Science & Technology (CUSAT), India (1)
- Collection Of Biostatistics Research Archive (7)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (2)
- CUNY Academic Works (7)
- Dalarna University College Electronic Archive (1)
- Deakin Research Online - Australia (354)
- Department of Computer Science E-Repository - King's College London, Strand, London (3)
- Digital Archives@Colby (2)
- Digital Commons - Michigan Tech (1)
- Digital Commons @ DU | University of Denver Research (4)
- Digital Commons at Florida International University (4)
- Digital Peer Publishing (1)
- Digital Repository at Iowa State University (1)
- DigitalCommons@The Texas Medical Center (8)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (34)
- DRUM (Digital Repository at the University of Maryland) (2)
- Duke University (10)
- Ecology and Society (1)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (2)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (1)
- Harvard University (5)
- Helda - Digital Repository of University of Helsinki (2)
- Indian Institute of Science - Bangalore - Índia (2)
- Massachusetts Institute of Technology (2)
- Memorial University Research Repository (6)
- Ministerio de Cultura, Spain (2)
- National Center for Biotechnology Information - NCBI (18)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (1)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- Publishing Network for Geoscientific & Environmental Data (78)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (15)
- Queensland University of Technology - ePrints Archive (96)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (8)
- School of Medicine, Washington University, United States (6)
- Universidad Autónoma de Nuevo León, Mexico (1)
- Universidad del Rosario, Colombia (7)
- Universidad Politécnica de Madrid (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (1)
- Universidade Metodista de São Paulo (3)
- Université de Montréal, Canada (1)
- University of Connecticut - USA (2)
- University of Michigan (64)
- University of Queensland eSpace - Australia (12)
- University of Washington (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.