Local Constructive Set Theory and Inductive Definitions

Aczel, Peter

diva-portal.org

Digitala Vetenskapliga Arkivet

Enkel sökning

Avancerad sökning -
Forskningspublikationer Avancerad sökning -
Studentuppsatser Statistik

English Svenska Norsk

Ändra sökning

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

Begränsa sökningen ytterligare

Välj organisation

Blekinge Tekniska Högskola
Enskilda Högskolan Stockholm
Försvarets materielverk
Försvarshögskolan
Gymnastik- och idrottshögskolan, GIH
Havs- och vattenmyndigheten
Högskolan Dalarna
Högskolan i Borås
Högskolan i Gävle
Högskolan i Halmstad
Högskolan i Skövde
Högskolan Kristianstad
Högskolan Väst
Institutet för språk och folkminnen
IVL Svenska Miljöinstitutet
Jönköping University
Karlstads universitet
Konstfack
KTH
Kungl. Konsthögskolan
Kungl. Musikhögskolan
Kungl. Vitterhets Historie och Antikvitets Akademien
Linköpings universitet
Linnéuniversitetet
Luleå tekniska universitet
Malmö universitet
Marie Cederschiöld högskola
Mittuniversitetet
Mälardalens universitet
Nationalmuseum
Naturhistoriska riksmuseet
Naturvårdsverket
Nordiska Afrikainstitutet
Nordiska ministerrådet
Nordiska museet
Polarforskningssekretariatet
Region Örebro län
Region Östergötland
Riksantikvarieämbetet
Riksarkivet
RISE Research Institutes of Sweden
Röda Korsets Högskola
SMHI
Sophiahemmet Högskola
Statens geotekniska institut
Statens väg- och transportforskningsinstitut
Stockholms konstnärliga högskola
Stockholms universitet
Svenska ortnamnsarkivet (SOA)
Södertörns högskola
Trafikverket
Umeå universitet
Uppsala landsmålsarkiv (ULMA)
Uppsala universitet
Utförare miljöbevakning
Utförare miljöövervakning
Världskulturmuseerna
Örebro universitet

Välj ämneskategori

Visa även upphörda ämneskategorier

Humaniora och konst
- Annan humaniora
  - Antikvetenskap
  - Etnologi
  - Kulturstudier
  - Övrig annan humaniora
- Filosofi, etik och religion
  - Etik
  - Filosofi
  - Idé- och lärdomshistoria
  - Religionshistoria
  - Religionsvetenskap
- Historia och arkeologi
  - Arkeologi
  - Historia
  - Teknikhistoria
- Konst
  - Arkitektur
  - Bildkonst
  - Design
  - Filmvetenskap
  - Konstvetenskap
  - Litterär gestaltning
  - Musik
  - Musikvetenskap
  - Scenkonst
  - Teatervetenskap
- Språk och litteratur
  - Jämförande språkvetenskap och allmän lingvistik
  - Litteraturstudier
  - Litteraturvetenskap
  - Studier av enskilda språk
Lantbruksvetenskap och veterinärmedicin
- Annan lantbruksvetenskap
  - Förnyelsebar bioenergi
  - Lantbrukets arbetsmiljö och säkerhet
  - Miljö- och naturvårdsvetenskap
  - Vilt- och fiskeförvaltning
  - Övrig annan lantbruksvetenskap
- Bioteknologi med applikationer på växter och djur
  - Genetik och förädling inom lantbruksvetenskap
  - Växtbioteknologi
- Husdjursvetenskap
- Lantbruksvetenskap, skogsbruk och fiske
  - Fisk- och akvakulturforskning
  - Jordbruksvetenskap
  - Landskapsarkitektur
  - Livsmedelsvetenskap
  - Markvetenskap
  - Skogsvetenskap
  - Trädgårdsvetenskap/hortikultur
  - Trävetenskap
- Veterinärmedicin
  - Annan veterinärmedicin
  - Klinisk vetenskap
  - Medicinsk biovetenskap
  - Patobiologi
Medicin och hälsovetenskap
- Annan medicin och hälsovetenskap
  - Gerontologi, medicinsk/hälsovetenskaplig inriktning
  - Rättsmedicin
  - Övrig annan medicin och hälsovetenskap
- Hälsovetenskaper
  - Annan hälsovetenskap
  - Arbetsmedicin och miljömedicin
  - Arbetsterapi
  - Beroendelära
  - Folkhälsovetenskap, global hälsa, socialmedicin och epidemiologi
  - Hälso- och sjukvårdsorganisation, hälsopolitik och hälsoekonomi
  - Idrottsvetenskap
  - Medicinsk etik
  - Näringslära
  - Omvårdnad
  - Sjukgymnastik
- Klinisk medicin
  - Allmänmedicin
  - Anestesi och intensivvård
  - Annan klinisk medicin
  - Cancer och onkologi
  - Dermatologi och venereologi
  - Endokrinologi och diabetes
  - Gastroenterologi
  - Geriatrik
  - Hematologi
  - Infektionsmedicin
  - Kardiologi
  - Kirurgi
  - Klinisk laboratoriemedicin
  - Lungmedicin och allergi
  - Neurologi
  - Odontologi
  - Oftalmologi
  - Ortopedi
  - Oto-rino-laryngologi
  - Pediatrik
  - Psykiatri
  - Radiologi och bildbehandling
  - Reproduktionsmedicin och gynekologi
  - Reumatologi och inflammation
  - Urologi och njurmedicin
- Medicinsk bioteknologi
  - Annan medicinsk bioteknologi
  - Biomaterialvetenskap
  - Biomedicinsk laboratorievetenskap/teknologi
  - Medicinsk bioteknologi (med inriktning mot cellbiologi (inklusive stamcellsbiologi), molekylärbiologi, mikrobiologi, biokemi eller biofarmaci)
- Medicinska och farmaceutiska grundvetenskaper
  - Annan medicinsk grundvetenskap
  - Cell- och molekylärbiologi
  - Farmaceutiska vetenskaper
  - Farmakologi och toxikologi
  - Fysiologi
  - Immunologi inom det medicinska området
  - Läkemedelskemi
  - Medicinsk genetik
  - Mikrobiologi inom det medicinska området
  - Neurovetenskaper
  - Samhällsfarmaci och klinisk farmaci
Naturvetenskap
- Annan naturvetenskap
- Biologiska vetenskaper
  - Annan biologi
  - Biofysik
  - Bioinformatik och systembiologi
  - Biokemi och molekylärbiologi
  - Biologisk systematik
  - Botanik
  - Cellbiologi
  - Ekologi
  - Etologi
  - Evolutionsbiologi
  - Genetik
  - Immunologi
  - Mikrobiologi
  - Strukturbiologi
  - Utvecklingsbiologi
  - Zoologi
- Data- och informationsvetenskap
  - Annan data- och informationsvetenskap
  - Bioinformatik (beräkningsbiologi)
  - Datavetenskap (datalogi)
  - Datorseende och robotik (autonoma system)
  - Datorteknik
  - Medieteknik
  - Människa-datorinteraktion (interaktionsdesign)
  - Programvaruteknik
  - Språkteknologi (språkvetenskaplig databehandling)
  - Systemvetenskap, informationssystem och informatik
- Fysik
  - Acceleratorfysik och instrumentering
  - Annan fysik
  - Astronomi, astrofysik och kosmologi
  - Atom- och molekylfysik och optik
  - Den kondenserade materiens fysik
  - Fusion, plasma och rymdfysik
  - Subatomär fysik
- Geovetenskap och miljövetenskap
  - Annan geovetenskap och miljövetenskap
  - Geofysik
  - Geokemi
  - Geologi
  - Klimatforskning
  - Meteorologi och atmosfärforskning
  - Miljövetenskap
  - Multidisciplinär geovetenskap
  - Naturgeografi
  - Oceanografi, hydrologi och vattenresurser
- Kemi
  - Analytisk kemi
  - Annan kemi
  - Fysikalisk kemi
  - Materialkemi
  - Oorganisk kemi
  - Organisk kemi
  - Polymerkemi
  - Teoretisk kemi
- Matematik
  - Algebra och logik
  - Annan matematik
  - Beräkningsmatematik
  - Diskret matematik
  - Geometri
  - Matematisk analys
  - Sannolikhetsteori och statistik
Samhällsvetenskap
- Annan samhällsvetenskap
  - Arbetslivsstudier
  - Genusstudier
  - Internationell Migration och Etniska Relationer (IMER)
  - Tvärvetenskapliga studier inom samhällsvetenskap
  - Övrig annan samhällsvetenskap
- Ekonomi och näringsliv
  - Ekonomisk historia
  - Företagsekonomi
  - Nationalekonomi
- Juridik
  - Juridik (exklusive juridik och samhälle)
  - Juridik och samhälle
- Medie- och kommunikationsvetenskap
  - Biblioteks- och informationsvetenskap
  - Kommunikationsvetenskap
  - Medievetenskap
  - Mänsklig interaktion med IKT
  - Systemvetenskap, informationssystem och informatik med samhällsvetenskaplig inriktning
- Psykologi
  - Psykologi (exklusive tillämpad psykologi)
  - Tillämpad psykologi
- Social och ekonomisk geografi
  - Ekonomisk geografi
  - Kulturgeografi
- Sociologi
  - Socialantropologi
  - Socialpsykologi
  - Socialt arbete
  - Sociologi (exklusive socialt arbete, socialpsykologi och socialantropologi)
- Statsvetenskap
  - Globaliseringsstudier
  - Statsvetenskap (exklusive studier av offentlig förvaltning och globaliseringsstudier)
  - Studier av offentlig förvaltning
- Utbildningsvetenskap
  - Didaktik
  - Lärande
  - Pedagogik
  - Pedagogiskt arbete
Teknik och teknologier
- Annan teknik
  - Interaktionsteknik
  - Livsmedelsteknik
  - Mediateknik
  - Övrig annan teknik
- Elektroteknik och elektronik
  - Annan elektroteknik och elektronik
  - Datorsystem
  - Inbäddad systemteknik
  - Kommunikationssystem
  - Reglerteknik
  - Robotteknik och automation
  - Signalbehandling
  - Telekommunikation
- Industriell bioteknik
  - Annan industriell bioteknik
  - Bioenergi
  - Biokatalys och enzymteknik
  - Biokemikalier
  - Biomaterial
  - Bioprocessteknik
  - Bioteknisk apparatteknik
  - Läkemedelsbioteknik
  - Medicinsk bioteknik
- Kemiteknik
  - Annan kemiteknik
  - Farmaceutisk synteskemi
  - Kemiska processer
  - Korrosionsteknik
  - Polymerteknologi
- Maskinteknik
  - Annan maskinteknik
  - Energiteknik
  - Farkostteknik
  - Produktionsteknik, arbetsvetenskap och ergonomi
  - Rymd- och flygteknik
  - Strömningsmekanik och akustik
  - Teknisk mekanik
  - Tillförlitlighets- och kvalitetsteknik
  - Tribologi (ytteknik omfattande friktion, nötning och smörjning)
- Materialteknik
  - Annan materialteknik
  - Bearbetnings-, yt- och fogningsteknik
  - Keramteknik
  - Kompositmaterial och -teknik
  - Metallurgi och metalliska material
  - Pappers-, massa- och fiberteknik
  - Textil-, gummi- och polymermaterial
- Medicinteknik
  - Annan medicinteknik
  - Medicinsk apparatteknik
  - Medicinsk bildbehandling
  - Medicinsk ergonomi
  - Medicinsk laboratorie- och mätteknik
  - Medicinska material och protesteknik
- Miljöbioteknik
  - Annan miljöbioteknik
  - Biosanering
  - Bioteknisk etik
  - Diagnostisk bioteknologi
  - Vattenbehandling
- Nanoteknik
- Naturresursteknik
  - Annan naturresursteknik
  - Energisystem
  - Fjärranalysteknik
  - Geofysisk teknik
  - Havs- och vattendragsteknik
  - Marin teknik
  - Miljöledning
  - Mineral- och gruvteknik
- Samhällsbyggnadsteknik
  - Annan samhällsbyggnadsteknik
  - Arkitekturteknik
  - Byggproduktion
  - Geoteknik
  - Husbyggnad
  - Infrastrukturteknik
  - Miljöanalys och bygginformationsteknik
  - Transportteknik och logistik
  - Vattenteknik

Välj forskningsämne

Visa även upphörda forskningsämnen

Välj utbildningsprogram

Visa även upphörda utbildningsprogram

Referera ExporteraLänk till posten

Permanent länk

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

Direktlänk

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

Referera

Referensformat

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

Fler format

Språk

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat 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 (Engelska)Ingår i: Foundational Theories of Classical and Constructive Mathematics. Vol. 76 / [ed] Giovanni Sommaruga, Dordrecht: Springer Netherlands, 2011, s. 189-207Kapitel i bok, del av antologi (Refereegranskat)

Ort, förlag, år, upplaga, sidor

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

Nationell ämneskategori

Historia

Identifikatorer

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

Tillgänglig från: 2020-08-12 Skapad: 2020-08-12 Senast uppdaterad: 2021-02-17Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Av organisationen

Kollegiet för avancerade studier (SCAS)

I ämnet

Historia

Sök vidare utanför DiVA

Google Google Scholar

isbn

urn-nbn

Totalt: 112 träffar