Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Logical properties of morphisms between models of set theory
KTH, School of Engineering Sciences (SCI).
2017 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

The developments of algebraic set theory have given its models of settheory good closure properties under certain algebraic operations on thecategories which constitute the models. However, there does not yet seemto exist an established notion of morphism between such models. In thispaper, we develop a suggestion for such a notion by drawing on inspirationfrom the logical properties of the morphisms naturally arising from forcingin material set theory.

Place, publisher, year, edition, pages
2017. , 22 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:kth:diva-210839OAI: oai:DiVA.org:kth-210839DiVA: diva2:1120406
Supervisors
Examiners
Available from: 2017-07-06 Created: 2017-07-06 Last updated: 2017-07-06Bibliographically approved

Open Access in DiVA

fulltext(329 kB)24 downloads
File information
File name FULLTEXT01.pdfFile size 329 kBChecksum SHA-512
3321d9ebf1466e97cd439ace3cc9e0da00e1f8ed4542226d1f8457f57d77bb4068abbaa79b0dcbc122f4b2d9e19f112cf701149fb4bd83d1149029399433a0f2
Type fulltextMimetype application/pdf

By organisation
School of Engineering Sciences (SCI)
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 24 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 42 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf