DiVA
diva-portal.org
Digitala Vetenskapliga Arkivet
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-22608
Direct link
http://www.diva-portal.org/smash/record.jsf?pid=diva2:50381
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other 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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Binary refinement implies discrete exponentiation
Aczel, Peter
Crosilla, Laura
Ishihara, Hajime
Palmgren, Erik
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Mathematics. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Mathematics, Mathematical Logic.
(matematisk logik)
Schuster, Peter
Show others and affiliations
2006 (English)
In:
Studia Logica, Vol. 84, p. 361-368
Article in journal (Refereed) Published
Place, publisher, year, edition, pages
2006. Vol. 84, p. 361-368
National Category
Algebra and Logic
Identifiers
URN:
urn:nbn:se:uu:diva-22608
OAI: oai:DiVA.org:uu-22608
DiVA, id:
diva2:50381
Available from:
2007-01-23
Created:
2007-01-23
Last updated:
2011-01-11
Open Access in DiVA
No full text in DiVA
By organisation
Department of Mathematics
Mathematical Logic
On the subject
Algebra and Logic
Search outside of DiVA
Google
Google Scholar
urn-nbn
Altmetric score
urn-nbn
Total: 982 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-22608
Direct link
http://www.diva-portal.org/smash/record.jsf?pid=diva2:50381
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other 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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.41.0
|
WCAG
|
About DiVA Portal
|
About the DiVA Consortium
DiVA
Logotyp