المؤلفون: Passmann, R.

المصدر: Passmann , R 2024 , ' The First-Order Logic of CZF is Intuitionistic First-Order Logic ' , Journal of Symbolic Logic , vol. 89 , no. 1 , pp. 308-330 . https://doi.org/10.1017/jsl.2022.51

وصف الملف: application/pdf

Relation: https://dare.uva.nl/personal/pure/en/publications/the-firstorder-logic-of-czf-is-intuitionistic-firstorder-logic(181ade77-af43-4789-b332-363cd0d7d760).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/the-firstorder-logic-of-czf-is-intuitionistic-firstorder-logic(181ade77-af43-4789-b332-363cd0d7d760).html
https://doi.org/10.1017/jsl.2022.51
https://hdl.handle.net/11245.1/181ade77-af43-4789-b332-363cd0d7d760
https://pure.uva.nl/ws/files/181213454/the-first-order-logic-of-czf-is-intuitionistic-first-order-logic.pdf
http://www.scopus.com/inward/record.url?scp=85133952119&partnerID=8YFLogxK

المؤلفون: Passmann, R.

المصدر: Passmann , R 2023 , ' Logical structure of constructive set theories ' , Doctor of Philosophy , Universiteit van Amsterdam .

وصف الملف: application/pdf; image/jpeg

Relation: https://dare.uva.nl/personal/pure/en/publications/logical-structure-of-constructive-set-theories(a44a2e08-ad0d-4451-ae6d-769a2afba78f).html; urn:ISBN:9789464730937

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/logical-structure-of-constructive-set-theories(a44a2e08-ad0d-4451-ae6d-769a2afba78f).html
https://hdl.handle.net/11245.1/a44a2e08-ad0d-4451-ae6d-769a2afba78f
https://pure.uva.nl/ws/files/123784889/Thesis.pdf
https://pure.uva.nl/ws/files/123784891/cover.jpg

المؤلفون: Carl, M., Galeotti, L., Passmann, R.

المصدر: Carl , M , Galeotti , L & Passmann , R 2023 , ' Realisability for infinitary intuitionistic set theory ' , Annals of Pure and Applied Logic , vol. 174 , no. 6 , 103259 . https://doi.org/10.1016/j.apal.2023.103259

وصف الملف: application/pdf

Relation: https://dare.uva.nl/personal/pure/en/publications/realisability-for-infinitary-intuitionistic-set-theory(f17d75f4-9af9-4b01-b0a7-ec90a2650a62).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/realisability-for-infinitary-intuitionistic-set-theory(f17d75f4-9af9-4b01-b0a7-ec90a2650a62).html
https://doi.org/10.1016/j.apal.2023.103259
https://hdl.handle.net/11245.1/f17d75f4-9af9-4b01-b0a7-ec90a2650a62
https://pure.uva.nl/ws/files/162792375/1-s2.0-S0168007223000167-main.pdf

المؤلفون: van den Berg, B., Passmann, R.

المصدر: van den Berg , B & Passmann , R 2022 , ' Converse extensionality and apartness ' , Logical Methods in Computer Science , vol. 18 , no. 4 , 13 . https://doi.org/10.46298/LMCS-18(4:13)2022 , https://doi.org/10.48550/arXiv.2103.14482

وصف الملف: application/pdf

Relation: https://dare.uva.nl/personal/pure/en/publications/converse-extensionality-and-apartness(9ba61a68-2dc7-4b4e-a5bd-e2607d0ee665).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/converse-extensionality-and-apartness(9ba61a68-2dc7-4b4e-a5bd-e2607d0ee665).html
https://doi.org/10.46298/LMCS-18(4:13)2022
https://hdl.handle.net/11245.1/9ba61a68-2dc7-4b4e-a5bd-e2607d0ee665
https://pure.uva.nl/ws/files/119834791/2103.14482.pdf

المؤلفون: Iemhoff, R., Passmann, R.

المصدر: Iemhoff , R & Passmann , R 2021 , ' Logics of intuitionistic Kripke-Platek set theory ' , Annals of Pure and Applied Logic , vol. 172 , no. 10 , 103014 . https://doi.org/10.1016/j.apal.2021.103014

وصف الملف: application/pdf

Relation: https://dare.uva.nl/personal/pure/en/publications/logics-of-intuitionistic-kripkeplatek-set-theory(afb8fb81-90ec-4837-8d2b-81d9c0105109).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/logics-of-intuitionistic-kripkeplatek-set-theory(afb8fb81-90ec-4837-8d2b-81d9c0105109).html
https://doi.org/10.1016/j.apal.2021.103014
https://hdl.handle.net/11245.1/afb8fb81-90ec-4837-8d2b-81d9c0105109
https://pure.uva.nl/ws/files/67526034/1_s2.0_S0168007221000725_main.pdf
http://www.scopus.com/inward/record.url?scp=85110062074&partnerID=8YFLogxK

المؤلفون: Passmann, R.

المصدر: Passmann , R 2021 , ' Should pluralists be pluralists about pluralism? ' , Synthese , vol. 199 , no. 5-6 , pp. 12663-12682 . https://doi.org/10.1007/s11229-021-03348-5

وصف الملف: application/pdf

Relation: https://dare.uva.nl/personal/pure/en/publications/should-pluralists-be-pluralists-about-pluralism(df1b52ea-26af-4f76-b99c-d86a20ba6576).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/should-pluralists-be-pluralists-about-pluralism(df1b52ea-26af-4f76-b99c-d86a20ba6576).html
https://doi.org/10.1007/s11229-021-03348-5
https://hdl.handle.net/11245.1/df1b52ea-26af-4f76-b99c-d86a20ba6576
https://pure.uva.nl/ws/files/67526158/Passmann2021_Article_ShouldPluralistsBePluralistsAb.pdf
http://www.scopus.com/inward/record.url?scp=85112206971&partnerID=8YFLogxK

المؤلفون: Löwe, B., Paßmann, R., Tarafder, S.

المصدر: Löwe , B , Paßmann , R & Tarafder , S 2021 , ' Constructing illoyal algebra-valued models of set theory ' , Algebra Universalis , vol. 82 , no. 3 , 46 . https://doi.org/10.1007/s00012-021-00735-4

وصف الملف: application/pdf

Relation: https://dare.uva.nl/personal/pure/en/publications/constructing-illoyal-algebravalued-models-of-set-theory(88a1aa5c-05b5-4cc4-b232-daf9cd88f72c).html

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/constructing-illoyal-algebravalued-models-of-set-theory(88a1aa5c-05b5-4cc4-b232-daf9cd88f72c).html
https://doi.org/10.1007/s00012-021-00735-4
https://hdl.handle.net/11245.1/88a1aa5c-05b5-4cc4-b232-daf9cd88f72c
https://pure.uva.nl/ws/files/67542182/L_we2021_Article_ConstructingIlloyalAlgebra_val.pdf

المؤلفون: Passmann, R.

المساهمون: Fernández, M., Muscholl, A.

المصدر: Passmann , R 2020 , De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory . in M Fernández & A Muscholl (eds) , 28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain . , 33 , Leibniz International Proceedings in Informatics , vol. 152 , Saarbrücken/Wadern , 28th EACSL Annual Conference on Computer Science Logic , Barcelona , Spain , 13/01/20 . https://doi.org/10.4230/LIPIcs.CSL.2020.33

وصف الملف: application/pdf

Relation: https://dare.uva.nl/personal/pure/en/publications/de-jonghs-theorem-for-intuitionistic-zermelofraenkel-set-theory(f21d7628-823e-4895-b31d-e5d3c5d255e6).html; urn:ISBN:9783959771320

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/de-jonghs-theorem-for-intuitionistic-zermelofraenkel-set-theory(f21d7628-823e-4895-b31d-e5d3c5d255e6).html
https://doi.org/10.4230/LIPIcs.CSL.2020.33
https://hdl.handle.net/11245.1/f21d7628-823e-4895-b31d-e5d3c5d255e6
https://pure.uva.nl/ws/files/50062855/LIPIcs_CSL_2020_33.pdf
https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16134
https://arxiv.org/abs/1905.04972

المؤلفون: Carl, M., Galeotti, L., Passmann, R.

المساهمون: De Mol, L., Weiermann, A., Manea, F., Fernández-Duque, D.

المصدر: Carl , M , Galeotti , L & Passmann , R 2021 , Randomising Realizability . in L De Mol , A Weiermann , F Manea & D Fernández-Duque (eds) , Connecting with Computability : 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5–9, 2021 : proceedings . Lecture Notes in Computer Science , vol. 12813 , Cham , pp. 82-93 , 17th Conference on Computability in Europe, CiE 2021 , Virtual, Online , 5/07/21 . https://doi.org/10.1007/978-3-030-80049-9_8

Relation: https://dare.uva.nl/personal/pure/en/publications/randomising-realizability(b4916e18-c6ef-4a0e-972d-6fa1db3422b7).html; urn:ISBN:9783030800482

الاتاحة: https://dare.uva.nl/personal/pure/en/publications/randomising-realizability(b4916e18-c6ef-4a0e-972d-6fa1db3422b7).html
https://doi.org/10.1007/978-3-030-80049-9_8
https://hdl.handle.net/11245.1/b4916e18-c6ef-4a0e-972d-6fa1db3422b7
http://www.scopus.com/inward/record.url?scp=85112217462&partnerID=8YFLogxK

المؤلفون: Passmann, R, Kropp, M, Bruhn, T, Fimland, BO, Bloom, FL, Gossard, AC, Esser, N, Vogt, P., RICHTER, WOLFGANG

المساهمون: Passmann, R, Kropp, M, Bruhn, T, Fimland, B, Bloom, F, Gossard, A, Richter, W, Esser, N, Vogt, P

مصطلحات موضوعية: Adsorption, Interfaces (materials), Olefin, Optical anisotropy, Surface reconstruction, Organic molecule, Semiconductor surface, Structural change, Semiconducting gallium arsenide, Settore FIS/03 - FISICA DELLA MATERIA

Relation: volume:87; issue:3; firstpage:469; lastpage:473; journal:APPLIED PHYSICS. A, MATERIALS SCIENCE & PROCESSING; http://hdl.handle.net/2108/58207

الاتاحة: http://hdl.handle.net/2108/58207
https://doi.org/10.1007/s00339-007-3911-2

المؤلفون: Bruhn, T., Passmann, R., Fimland, B. O., Kneissl, M., Esser, N., Vogt, P.

المصدر: physica status solidi (b) ; volume 247, issue 8, page 1941-1945 ; ISSN 0370-1972 1521-3951

الاتاحة: http://dx.doi.org/10.1002/pssb.200983953
https://api.wiley.com/onlinelibrary/tdm/v1/articles/10.1002%2Fpssb.200983953
https://onlinelibrary.wiley.com/doi/pdf/10.1002/pssb.200983953

المؤلفون: Passmann, R., Favero, P., Schmidt, W.G., Miotto, R., Braun, W., Richter, W., Kneissl, M., Esser, N., Vogt, P.

مصطلحات موضوعية: Large scale facilities for research with photons neutrons and ions

Relation: http://www.helmholtz-berlin.de/pubbin/oai_publication?VT=1&ID=52625

الاتاحة: http://www.helmholtz-berlin.de/pubbin/oai_publication?VT=1&ID=52625

المؤلفون: Passmann, R., Bruhn, T., Nilsen, T. A., Fimland, B. O., Kneissl, M., Esser, N., Vogt, P.

المصدر: physica status solidi (b) ; volume 246, issue 7, page 1504-1509 ; ISSN 0370-1972 1521-3951

الاتاحة: http://dx.doi.org/10.1002/pssb.200945178
https://api.wiley.com/onlinelibrary/tdm/v1/articles/10.1002%2Fpssb.200945178
https://onlinelibrary.wiley.com/doi/pdf/10.1002/pssb.200945178

المؤلفون: Passmann, R, Favero, P, Schmidt, W, Miotto, R, Braun, W, Richter, W, Kneissl, M, Esser, N, Vogt, P

مصطلحات موضوعية: ORGANIC MONOLAYERS, ANISOTROPY, ELECTRONIC-STRUCTURE, SPECTROSCOPY, ATOMIC-STRUCTURE, TEMPERATURE-DEPENDENCE, SI(001) SURFACE, AUGMENTED-WAVE METHOD, GAAS(001) SURFACES, SEMICONDUCTORS, Settore FIS/03 - Fisica della Materia

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3667::f5f19f1d32b0ef6564241aacec8c32b2
http://hdl.handle.net/2108/57487

المؤلفون: Schmidt, W G, Fuchs, F, Hermann, A, Seino, K, Bechstedt, F, Paßmann, R, Wahl, M, Gensch, M, Hinrichs, K, Esser, N, Wang, S, Lu, W, Bernholc, J

المصدر: Journal of Physics: Condensed Matter ; volume 16, issue 39, page S4323-S4334 ; ISSN 0953-8984 1361-648X

الاتاحة: http://dx.doi.org/10.1088/0953-8984/16/39/007
http://stacks.iop.org/0953-8984/16/i=39/a=007/pdf

المؤلفون: PASSMANN, R., BRUHN, T., FIMLAND, B. O., RICHTER, W., KNEISSL, M., ESSER, N., VOGT, P.

المصدر: Synchrotron Radiation & Nanostructures: Papers in Honour of Paolo Perfetti - Proceedings of the Workshop; 2009, p1-11, 11p

مصطلحات موضوعية: CYCLOPENTENES, SYNCHROTRON radiation, CORE levels (Surface states), CHEMICAL bonds, SEMICONDUCTORS, ADSORPTION (Chemistry)

المؤلفون: Passmann, R., Kropp, M., Bruhn, T., Fimland, B.O., Bloom, F.L., Gossard, A.C., Richter, W., Esser, N., Vogt, P.

المصدر: Applied Physics A: Materials Science & Processing; Jun2007, Vol. 87 Issue 3, p469-473, 5p, 4 Graphs

مصطلحات موضوعية: SEMICONDUCTORS, ANISOTROPY, CRYSTALLOGRAPHY, SPECTRUM analysis, ADSORPTION (Chemistry), SURFACE chemistry

المؤلفون: Schmidt, W. G., Fuchs, F., Hermann, A., Seino, K., Bechstedt, F., Paßmann, R., Wahl, M., Gensch, M., Hinrichs, K., Esser, N., Wang, S., Lu, W., Bernholc, J.

المصدر: Journal of Physics: Condensed Matter; 10/6/2004, Vol. 16 Issue 39, p1-1, 1p