Local Constructive Set Theory and Inductive Definitions

Aczel, Peter

diva-portal.org

Digitala Vetenskapliga Arkivet

Enkelt søk

Avansert søk -
Forskningspublikasjoner Avansert søk -
Studentoppgaver Statistikk

English Svenska Norsk

Endre søk

Läs mer om att söka i DiVA här: Söka i DiVA

Limit the search further

Velg organisasjon

Norges teknisk-naturvitenskapelige universitet

Velg kategori

Vis også opphørte emnekategori

Humanities and the Arts
- Other Humanities
  - Classical Archaeology and Ancient History
  - Ethnology
  - Cultural Studies
  - Other Humanities not elsewhere specified
- Philosophy, Ethics and Religion
  - Ethics
  - Philosophy
  - History of Ideas
  - History of Religions
  - Religious Studies
- History and Archaeology
  - Archaeology
  - History
  - History of Technology
- Arts
  - Architecture
  - Visual Arts
  - Design
  - Studies on Film
  - Art History
  - Literary Composition
  - Music
  - Musicology
  - Performing Arts
  - Performing Art Studies
- Languages and Literature
  - General Language Studies and Linguistics
  - Specific Literatures
  - General Literature Studies
  - Specific Languages
Agricultural and Veterinary sciences
- Other Agricultural Sciences
  - Renewable Bioenergy Research
  - Agricultural Occupational Health and Safety
  - Environmental Sciences related to Agriculture and Land-use
  - Fish and Wildlife Management
  - Other Agricultural Sciences not elsewhere specified
- Agricultural Biotechnology
  - Genetics and Breeding in Agricultural Sciences
  - Plant Biotechnology
- Animal and Dairy Science
- Agricultural Science, Forestry and Fisheries
  - Fish and Aquacultural Science
  - Agricultural Science
  - Landscape Architecture
  - Food Science
  - Soil Science
  - Forest Science
  - Horticulture
  - Wood Science
- Veterinary Science
  - Other Veterinary Science
  - Clinical Science
  - Medical Bioscience
  - Pathobiology
Medical and Health Sciences
- Other Medical Sciences
  - Gerontology, specialising in Medical and Health Sciences
  - Forensic Science
  - Other Medical Sciences not elsewhere specified
- Health Sciences
  - Other Health Sciences
  - Occupational Health and Environmental Health
  - Occupational Therapy
  - Substance Abuse
  - Public Health, Global Health, Social Medicine and Epidemiology
  - Health Care Service and Management, Health Policy and Services and Health Economy
  - Sport and Fitness Sciences
  - Medical Ethics
  - Nutrition and Dietetics
  - Nursing
  - Physiotherapy
- Clinical Medicine
  - General Practice
  - Anesthesiology and Intensive Care
  - Other Clinical Medicine
  - Cancer and Oncology
  - Dermatology and Venereal Diseases
  - Endocrinology and Diabetes
  - Gastroenterology and Hepatology
  - Geriatrics
  - Hematology
  - Infectious Medicine
  - Cardiac and Cardiovascular Systems
  - Surgery
  - Clinical Laboratory Medicine
  - Respiratory Medicine and Allergy
  - Neurology
  - Dentistry
  - Ophthalmology
  - Orthopaedics
  - Otorhinolaryngology
  - Pediatrics
  - Psychiatry
  - Radiology, Nuclear Medicine and Medical Imaging
  - Obstetrics, Gynecology and Reproductive Medicine
  - Rheumatology and Autoimmunity
  - Urology and Nephrology
- Medical Biotechnology
  - Other Medical Biotechnology
  - Biomaterials Science
  - Biomedical Laboratory Science/Technology
  - Medical Biotechnology (with a focus on Cell Biology (including Stem Cell Biology), Molecular Biology, Microbiology, Biochemistry or Biopharmacy)
- Basic Medicine
  - Other Basic Medicine
  - Cell and Molecular Biology
  - Pharmaceutical Sciences
  - Pharmacology and Toxicology
  - Physiology
  - Immunology in the medical area
  - Medicinal Chemistry
  - Medical Genetics
  - Microbiology in the medical area
  - Neurosciences
  - Social and Clinical Pharmacy
Natural Sciences
- Other Natural Sciences
- Biological Sciences
  - Other Biological Topics
  - Biophysics
  - Bioinformatics and Systems Biology
  - Biochemistry and Molecular Biology
  - Biological Systematics
  - Botany
  - Cell Biology
  - Ecology
  - Behavioral Sciences Biology
  - Evolutionary Biology
  - Genetics
  - Immunology
  - Microbiology
  - Structural Biology
  - Developmental Biology
  - Zoology
- Computer and Information Sciences
  - Other Computer and Information Science
  - Bioinformatics (Computational Biology)
  - Computer Sciences
  - Computer Vision and Robotics (Autonomous Systems)
  - Computer Engineering
  - Media and Communication Technology
  - Human Computer Interaction
  - Software Engineering
  - Language Technology (Computational Linguistics)
  - Information Systems
- Physical Sciences
  - Accelerator Physics and Instrumentation
  - Other Physics Topics
  - Astronomy, Astrophysics and Cosmology
  - Atom and Molecular Physics and Optics
  - Condensed Matter Physics
  - Fusion, Plasma and Space Physics
  - Subatomic Physics
- Earth and Related Environmental Sciences
  - Other Earth and Related Environmental Sciences
  - Geophysics
  - Geochemistry
  - Geology
  - Climate Research
  - Meteorology and Atmospheric Sciences
  - Environmental Sciences
  - Geosciences, Multidisciplinary
  - Physical Geography
  - Oceanography, Hydrology and Water Resources
- Chemical Sciences
  - Analytical Chemistry
  - Other Chemistry Topics
  - Physical Chemistry
  - Materials Chemistry
  - Inorganic Chemistry
  - Organic Chemistry
  - Polymer Chemistry
  - Theoretical Chemistry
- Mathematics
  - Algebra and Logic
  - Other Mathematics
  - Computational Mathematics
  - Discrete Mathematics
  - Geometry
  - Mathematical Analysis
  - Probability Theory and Statistics
Social Sciences
- Other Social Sciences
  - Work Sciences
  - Gender Studies
  - International Migration and Ethnic Relations
  - Social Sciences Interdisciplinary
  - Other Social Sciences not elsewhere specified
- Economics and Business
  - Economic History
  - Business Administration
  - Economics
- Law
  - Law (excluding Law and Society)
  - Law and Society
- Media and Communications
  - Information Studies
  - Communication Studies
  - Media Studies
  - Human Aspects of ICT
  - Information Systems, Social aspects
- Psychology
  - Psychology (excluding Applied Psychology)
  - Applied Psychology
- Social and Economic Geography
  - Economic Geography
  - Human Geography
- Sociology
  - Social Anthropology
  - Social Psychology
  - Social Work
  - Sociology (excluding Social Work, Social Psychology and Social Anthropology)
- Political Science
  - Globalisation Studies
  - Political Science (excluding Public Administration Studies and Globalisation Studies)
  - Public Administration Studies
- Educational Sciences
  - Didactics
  - Learning
  - Pedagogy
  - Pedagogical Work
Engineering and Technology
- Other Engineering and Technologies
  - Interaction Technologies
  - Food Engineering
  - Media Engineering
  - Other Engineering and Technologies not elsewhere specified
- Electrical Engineering, Electronic Engineering, Information Engineering
  - Other Electrical Engineering, Electronic Engineering, Information Engineering
  - Computer Systems
  - Embedded Systems
  - Communication Systems
  - Control Engineering
  - Robotics
  - Signal Processing
  - Telecommunications
- Industrial Biotechnology
  - Other Industrial Biotechnology
  - Bioenergy
  - Biocatalysis and Enzyme Technology
  - Biochemicals
  - Bio Materials
  - Bioprocess Technology
  - Bioengineering Equipment
  - Pharmaceutical Biotechnology
  - Medical Biotechnology
- Chemical Engineering
  - Other Chemical Engineering
  - Pharmaceutical Chemistry
  - Chemical Process Engineering
  - Corrosion Engineering
  - Polymer Technologies
- Mechanical Engineering
  - Other Mechanical Engineering
  - Energy Engineering
  - Vehicle Engineering
  - Production Engineering, Human Work Science and Ergonomics
  - Aerospace Engineering
  - Fluid Mechanics and Acoustics
  - Applied Mechanics
  - Reliability and Maintenance
  - Tribology (Interacting Surfaces including Friction, Lubrication and Wear)
- Materials Engineering
  - Other Materials Engineering
  - Manufacturing, Surface and Joining Technology
  - Ceramics
  - Composite Science and Engineering
  - Metallurgy and Metallic Materials
  - Paper, Pulp and Fiber Technology
  - Textile, Rubber and Polymeric Materials
- Medical Engineering
  - Other Medical Engineering
  - Medical Equipment Engineering
  - Medical Image Processing
  - Medical Ergonomics
  - Medical Laboratory and Measurements Technologies
  - Medical Materials
- Environmental Biotechnology
  - Other Environmental Biotechnology
  - Bioremediation
  - Bioethics
  - Diagnostic Biotechnology
  - Water Treatment
- Nano Technology
- Environmental Engineering
  - Other Environmental Engineering
  - Energy Systems
  - Remote Sensing
  - Geophysical Engineering
  - Ocean and River Engineering
  - Marine Engineering
  - Environmental Management
  - Mineral and Mine Engineering
- Civil Engineering
  - Other Civil Engineering
  - Architectural Engineering
  - Construction Management
  - Geotechnical Engineering
  - Building Technologies
  - Infrastructure Engineering
  - Environmental Analysis and Construction Information Technology
  - Transport Systems and Logistics
  - Water Engineering

Velg forskningsprogram

Vis også opphørte forskningsprogram

Select educational program

Show educational programs that no longer are in use

Referera ExporteraLink to record

Permanent link

https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-417079

Direct link

http://www.diva-portal.se/smash/record.jsf?pid=diva2:1457755

Referera

Referensformat

apa
ieee
modern-language-association-8th-edition
vancouver
Annet format

Fler format

Språk

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk

Fler språk

Utmatningsformat

html
text
asciidoc
rtf

Local Constructive Set Theory and Inductive Definitions

Aczel, Peter

Uppsala universitet, Kollegiet för avancerade studier (SCAS).

2011 (engelsk)Inngår i: Foundational Theories of Classical and Constructive Mathematics. Vol. 76 / [ed] Giovanni Sommaruga, Dordrecht: Springer Netherlands, 2011, s. 189-207Kapittel i bok, del av antologi (Fagfellevurdert)

sted, utgiver, år, opplag, sider

Dordrecht: Springer Netherlands, 2011. s. 189-207

HSV kategori

Identifikatorer

URN: urn:nbn:se:uu:diva-417079Libris ID: 12213334ISBN: 9789400704312 (digital)OAI: oai:DiVA.org:uu-417079DiVA, id: diva2:1457755

Tilgjengelig fra: 2020-08-12 Laget: 2020-08-12 Sist oppdatert: 2021-02-17bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Av organisasjonen

Om emnet

Søk utenfor DiVA

Google Google Scholar

isbn

urn-nbn

Totalt: 112 treff