1 resultado para Slavic languages.
em CaltechTHESIS
Filtro por publicador
- Aberdeen University (1)
- Abertay Research Collections - Abertay University’s repository (1)
- Aberystwyth University Repository - Reino Unido (1)
- Academic Archive On-line (Stockholm University; Sweden) (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (5)
- Adam Mickiewicz University Repository (2)
- AMS Campus - Alm@DL - Università di Bologna (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (7)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (4)
- Aquatic Commons (2)
- Archive of European Integration (16)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (6)
- Aston University Research Archive (15)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (46)
- Boston University Digital Common (2)
- Brock University, Canada (1)
- Bucknell University Digital Commons - Pensilvania - USA (8)
- Bulgarian Digital Mathematics Library at IMI-BAS (5)
- CaltechTHESIS (1)
- Cambridge University Engineering Department Publications Database (3)
- CentAUR: Central Archive University of Reading - UK (40)
- Central European University - Research Support Scheme (3)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (5)
- Cochin University of Science & Technology (CUSAT), India (2)
- Coffee Science - Universidade Federal de Lavras (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (1)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (1)
- Dalarna University College Electronic Archive (3)
- Deakin Research Online - Australia (21)
- Department of Computer Science E-Repository - King's College London, Strand, London (5)
- Digital Commons @ DU | University of Denver Research (1)
- Digital Commons at Florida International University (3)
- DigitalCommons@The Texas Medical Center (1)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (1)
- Duke University (1)
- FUNDAJ - Fundação Joaquim Nabuco (1)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (1)
- Glasgow Theses Service (2)
- Harvard University (5)
- Helda - Digital Repository of University of Helsinki (78)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (2)
- Indian Institute of Science - Bangalore - Índia (12)
- Instituto Politécnico do Porto, Portugal (1)
- Massachusetts Institute of Technology (2)
- Ministerio de Cultura, Spain (8)
- National Center for Biotechnology Information - NCBI (2)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (29)
- Queensland University of Technology - ePrints Archive (303)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório Digital da Universidade Municipal de São Caetano do Sul - USCS (3)
- Repositório Institucional da Universidade de Aveiro - Portugal (1)
- Repositorio Institucional de la Universidad de El Salvador (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (8)
- Repositorio Institucional UNISALLE - Colombia (1)
- Royal College of Art Research Repository - Uninet Kingdom (1)
- Universidad Autónoma de Nuevo León, Mexico (2)
- Universidad de Alicante (1)
- Universidad Politécnica de Madrid (12)
- Universidade Federal do Rio Grande do Norte (UFRN) (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Lausanne, Switzerland (1)
- Université de Montréal, Canada (3)
- University of Canberra Research Repository - Australia (1)
- University of Michigan (240)
- University of Queensland eSpace - Australia (6)
- University of Southampton, United Kingdom (1)
- University of Washington (5)
- WestminsterResearch - UK (2)
Resumo:
A general definition of interpreted formal language is presented. The notion “is a part of" is formally developed and models of the resulting part theory are used as universes of discourse of the formal languages. It is shown that certain Boolean algebras are models of part theory.
With this development, the structure imposed upon the universe of discourse by a formal language is characterized by a group of automorphisms of the model of part theory. If the model of part theory is thought of as a static world, the automorphisms become the changes which take place in the world. Using this formalism, we discuss a notion of abstraction and the concept of definability. A Galois connection between the groups characterizing formal languages and a language-like closure over the groups is determined.
It is shown that a set theory can be developed within models of part theory such that certain strong formal languages can be said to determine their own set theory. This development is such that for a given formal language whose universe of discourse is a model of part theory, a set theory can be imbedded as a submodel of part theory so that the formal language has parts which are sets as its discursive entities.