Filozofická Fakulta

Department of logic

Aktuality

There are not any news
Export 61 results:
Sort by: Author Title Type [ Year  (Desc)]
2016
Brian, W., and J. L. Verner, "$G_\delta$ semifilters and $\omega^*$", Fundamenta Mathematicae, vol. accepted, 2016.  Download: pdf preprint (267.44 KB)
Honzík, R., and J. L. Verner, "A lifting argument for the generalized Grigorieff forcing", Notre Dame Journal of Formal Logic, vol. 57, no. 2, pp. 221--231, 2016.  Download: pdf preprint (210.54 KB)
2015
2014
2013
Verner, J. L., "Filter convergence in $\beta\omega$", AUC Philosophica et Historica, Miscellanea Logica IX, vol. 2, 2013.  Download: pdf preprint (495.87 KB)
Friedman, S. D., R. Honzík, and L. Zdomskyy, "Fusion and large cardinal preservation", Annals of Pure and Applied Logic, vol. 164, pp. 1247--1273, 2013.  Download: pdf preprint (554.09 KB)
Honzík, R., "Large cardinals and the Continuum Hypothesis", AUC Philosophica et Historica, Miscellanea Logica IX, vol. 2, 2013.  Download: pdf preprint (348.69 KB)
Verner, J. L., "Lonely points revisited", Commentationes Mathematicae Universitatis Carolinae, vol. 54, no. 1: Charles University in Prague, Faculty of Mathematics and Physics, pp. 105–110, 2013.  Download: pdf preprint (191.43 KB)
Blass, A., M. Hrušák, and J. Verner, "On strong $P$-points", Proc. Amer. Math. Soc., vol. 141, no. 8, pp. 2875–2883, 2013.  Download: pdf preprint (295.67 KB)
Arazim, P., "Pluralism in Geometry", Acta Universitatis Carolinae Philosophica et Historica 2010, vol. 2, 2013. Abstract  Download: pdf preprint (119.88 KB)
Douchová, V., and J. Nešetřil, "S. Zeki and Neuroaesthetics – A possible framework to objectify aesthetics", Acta Universitatis Carolinae Philosophica et Historica 2010, vol. 2, 2013. Abstract  Download: pdf preprint (519.49 KB)
Peliš, M., "Set of Answers Methodology in Erotetic Epistemic Logic", Acta Universitatis Carolinae – Philosophica et Historica, vol. 2/2010, pp. 61–74, 2013.  Download: pdf preprint (566.46 KB)
Švarný, P., "Wally Axiomatics", Acta Universitatis Carolinae Philosophica et Historica 2010, Miscellanea Logica 9, vol. 2: Charles University, pp. 75–86, 2013.  Download: pdf preprint (455.09 KB)
2012
Švarný, P., "Bohr a jazyk fyziky", Niels Bohr jako vědec, filosof a občan, Pardubice, 2012.  Download: Svarny:2012:BohrJazyk.pdf (44.67 KB)
Friedman, S. - D., and R. Honzík, "A definable failure of the Singular Cardinal Hypothesis", Israel Journal of Mathematics, vol. 192, no. 2, pp. 719–762, 2012.  Download: pdf preprint (315.57 KB)
Švarný, P., "Does branching explain flow of time or the other way around?", Proceedings of the First International Conference on Logic and Relativity 2012, 2012. Abstract
Friedman, S. - D., and R. Honzík, "Eastonʼs theorem and large cardinals from the optimal hypothesis", Annals of Pure and Applied Logic, vol. 163, no. 12, pp. 1738–1747, 2012.  Download: pdf preprint (316.64 KB)
Friedman, S. - D., and R. Honzík, "Supercompactness and failures of GCH", Fundamenta Mathematicae, vol. 219, no. 1, pp. 15–36, 2012.  Download: pdf preprint (373.74 KB)
2011
Hrušák, M., and J. L. Verner, "Adding ultrafilters by definable quotients", Rend. Circ. Mat. Palermo (2), vol. 60, no. 3, pp. 445–454, 2011.  Download: pdf preprint (216.04 KB)
Peliš, M., Logic of Questions, : Faculty of Arts, Charles University in Prague, 2011.
Peliš, M., and O. Majer, "Logic of Questions and Public Announcements", Eighth International Tbilisi Symposium on Logic, Language and Computation 2009: Springer, pp. 145–157, 2011.  Download: pdf preprint (305.34 KB)
Bílková, M., J. Velebil, and Y. Venema, "On monotone modalities and adjointness", Mathematical Structures in Computer Science, vol. 21, no. 02: Cambridge Univ Press, pp. 383–416, 2011.
Bílková, M., A. Kurz, D. Petrisan, and J. Velebil, "Relation Liftings on Preorders and Posets", CALCO 2011, vol. LNCS 6859 , pp. 115-129, 2011.
Verner, J. L., Ultrafilters and independent systems, : Faculty of Mathematics and Physics, Charles University in Prague, 2011.  Download: pdf (2.45 MB)
2010
Honzík, R., "A characterization of lifting generics for Sacks-like forcings", Acta Universitatis Carolinae, Mathematica et Physica, vol. 51, pp. 49–55, 2010.  Download: pdf preprint (131.79 KB)
Honzík, R., "Global singularization and the failure of SCH", Annals of Pure and Applied Logic, vol. 161, no. 7, pp. 895-915, 2010.  Download: pdf preprint (337.43 KB)
Peliš, M., and O. Majer, "Logic of Questions from the Viewpoint of Dynamic Epistemic Logic", The Logica Yearbook 2009: College Publications, pp. 157–172, 2010.  Download: pdf preprint (183.89 KB)
Bílková, M., O. Majer, M. Peliš, and G. Restall, "Relevant Agents", Advances in Modal Logic: College Publications, pp. 22–38, 2010.  Download: pdf preprint (236.85 KB)
2009
Majer, O., and M. Peliš, "Epistemic Logic with Relevant Agents", The Logica Yearbook 2008: College Publications, pp. 123–135, 2009.  Download: pdf preprint (198.44 KB)
Bílková, M., D. de Jongh, and J. J. Joosten, "Interpretability in PRA", Annals of Pure and Applied Logic, vol. 161, no. 2: Elsevier, pp. 128–138, 2009.  Download: pdf preprint (228.88 KB)
Bílková, M., "Normal forms, Distributive laws, and Uniform interpolants", Consequence, Inference, Structure, vol. VII, Prague, FF UK, pp. 35-45, 2009.
Švejdar, V., "On interpretability in the theory of concatenation", Notre Dame Journal of Formal Logic, vol. 50, no. 1: University of Notre Dame, pp. 87–95, 2009. Abstract  Download: pdf preprint (182.3 KB)
Honzík, R., "Quick guide to independence results in set theory", Miscellanea Logica, vol. 7, pp. 89–131, 2009.  Download: pdf (432.54 KB)
2008
Peliš, M., "Consequence Relations in Inferential Erotetic Logic", Consequence, Inference, Structure: Faculty of Arts, Charles University, pp. 53–88, 2008.  Download: pdf preprint (261.61 KB)