Volltextsuche nach Gödel OR Escher
Zeige Ergebnisse 21 - 40 von 60
2019
Soukup DT, Szeptycki P. A 0-dimensional, Lindelöf space that is not strongly D. Topology and Its Applications: a journal devoted to general, geometric, set-theoretic and algebraic topology. 2019 Sep 15;265:106832. doi: 10.1016/j.topol.2019.106832
Eskew M. More rigid ideals. Israel Journal of Mathematics. 2019 Aug;233(1):225–247. doi: 10.1007/s11856-019-1905-3
Friedman SD, Gitman V, Kanovei V. A model of second-order arithmetic satisfying AC but not DC. Journal of Mathematical Logic. 2019 Jun;19(1):1850013. doi: 10.1142/S0219061318500137
Gerstl MP, Müller S, Regensburger G, Zanghellini J. Flux tope analysis: studying the coordination of reaction directions in metabolic networks. Bioinformatics. 2019 Jan 15;35(2):266 - 273. bty550. doi: 10.1093/bioinformatics/bty550
Friedman SD, Hoffelner S. A Σ
1
4 WELLORDER of the REALS with NS
ω1 SATURATED. Journal of Symbolic Logic. 2019;84(4):1466-1483. doi: 10.1017/jsl.2019.43
Fischer V, Brendle J, Khomskii Y. Definable maximal independent families. Proceedings of the American Mathematical Society. 2019;147(8):3547-3557 . doi: 10.1090/proc/14497
Carroy R, Pequignot Y, Vidnyánszky Z. Embeddability on functions: order and chaos. Transactions of the American Mathematical Society. 2019;371(9):6711-6738. doi: 10.1090/tran/7739
Beckmann A, Buss S, Friedman SD, Müller M. Feasible set functions have small circuits. Computability: The journal of the Association Computability in Europe. 2019;8(1):67-98. doi: 10.3233/COM-180096
Barton N, Friedman SD. Set Theory and Structures. in Centrone S, Kant D, Sarikaya D, Hrsg., Synthese Library: Univalent foundations, set theory, and general thoughts. Springer. 2019. S. 223-253. (Synthese Library, Band 407). doi: 10.1007/978-3-030-15655-8_10
Eskew M, Cox S. Strongly proper forcing and some problems of Foreman. Trans. Amer. Math. Soc. 2019;371(7):5039-5068. doi: 10.1090/tran/7725
2018
Ebner C, Escher B, Gammer C, Eckert J, Pauly S, Rentenberger C. Structural and mechanical characterization of heterogeneities in a CuZr-based bulk metallic glass processed by high pressure torsion. Acta Materialia. 2018 Nov 1;160:147-157. doi: 10.1016/j.actamat.2018.08.032
Levine MS. Stationary Sets Added When Forcing Squares. Archive for Mathematical Logic. 2018 Nov;57(7-8):909-916. doi: 10.1007/s00153-018-0613-8
Levine MS. Weak Squares and Very Good Scales. Journal of Symbolic Logic. 2018 Mär;83(1):1-12. doi: 10.1017/jsl.2017.23
Klamt S, Müller S, Regensburger G, Zanghellini J. A mathematical framework for yield (vs. rate) optimization in constraint-based modeling and applications in metabolic engineering. Metabolic engineering. 2018;47:153-169. doi: 10.1016/j.ymben.2018.02.001
Eskew M, Hayut Y. On the consistency of local and global versions of Chang's conjecture. Trans. Amer. Math. Soc. 2018;370(4):2879-2905 . doi: 10.1090/tran/7260
2017
Sabaté-Gilarte M, Praena J, Porras I, Quesada JM, Aberle O, Andrzejewski J et al. The 33S(n,α)30Si cross section measurement at n-TOF-EAR2 (CERN): From 0.01 eV to the resonance region. in Plompen A, Hambsch FJ, Schillebeeckx P, Mondelaers W, Heyse J, Kopecky S, Siegler P, Oberstedt S, Hrsg., ND 2016: International Conference on Nuclear Data for Science and Technology. EDP Sciences. 2017. 08004. (EPJ Web of Conferences, Band 146). doi: 10.1051/epjconf/201714608004
Gammer C, Escher B, Ebner C, Minor AM, Karnthaler HP, Eckert J et al. Influence of the Ag concentration on the medium-range order in a CuZrAlAg bulk metallic glass. Scientific Reports. 2017 Mär 21;7:44903. doi: 10.1038/srep44903
Brooke-Taylor A, Fischer V, Friedman SD, Montoya Amaya DC. Cardinal characteristics at kappa in a small u(kappa) model. Annals of Pure and Applied Logic. 2017 Jan;168(1):37-49. doi: 10.1016/j.apal.2016.08.004
Medini A, Repovs D, Zdomskyy L. Non-meager free sets and independent families. Proceedings of the American Mathematical Society. 2017;145(9):4061-4073. doi: 10.1090/proc/13513
2016
Gabriyelyan S, Grebík J, Kakol J, Zdomskyy L. The Ascoli property for function spaces. Topology and Its Applications: a journal devoted to general, geometric, set-theoretic and algebraic topology. 2016 Dez 1;214:35-50. doi: 10.1016/j.topol.2016.08.026
Zeige Ergebnisse 21 - 40 von 60