-
1Acto académico Facultad de Teología. Homenaje a dos de sus profesoresCiencia Tomista 139 (449): 635-642. 2012.
-
16On uncountable cardinal sequences for superatomic Boolean algebrasArchive for Mathematical Logic 34 (4): 257-261. 1995.The countable sequences of cardinals which arise as cardinal sequences of superatomic Boolean algebras were characterized by La Grange on the basis of ZFC set theory. However, no similar characterization is available for uncountable cardinal sequences. In this paper we prove the following two consistency results:Ifθ = 〈κ α :α
-
Pedro Laín Entralgo: hombre cabal, maestro en sabiduría y ejemplo de bondadPaideia 22 (58): 615-622. 2001.
-
27Dupont, Jacques, O.S.B., Les sources du Livre des Actes. État de la question (review)Augustinianum 2 (3): 557-558. 1962.
-
10Behler, G.-M., O. P., Les paroles d’adieux du Seigneur (review)Augustinianum 2 (1): 165-166. 1962.
-
20Kerygma und Mythos, Band V: Die Theologie Bultmanns und die Entmythologisierung in der Kritik der katholischen Theologie. Herausgegebenvon Dr. theol. H.-W. Bartsch – Theunis, Franz, C. P., Offenbarung und Glaube bei Rudolf Bultmann. Ergänzung zur Kerygma und Mythos V. Ibidem (review)Augustinianum 1 (3): 558-559. 1961.
-
12Enchiridion Biblicum. Documenta ecclesiastica Sacram Scripturam spectantia (review)Augustinianum 2 (1): 179-179. 1962.
-
291Dupont, Jacques, O.S.B., Gnosis. La connaissance religieuse dans les Épitres de saint Paul (review)Augustinianum 2 (3): 559-559. 1962.
-
12Blinzer, J., Der Prozess Jesu. Das jüdische und das römische Gerichtsverfahren gegen Jesus Christus auf Grund der ältesten Zeugnisse dargestellt und beurteilt (review)Augustinianum 2 (3): 555-557. 1962.
-
2Zerwick, Max, S. J., Der Brief an die Epheser (Geistliche Schriftlesung 10) (review)Augustinianum 2 (3): 560-560. 1962.
-
47Decision procedure for a class of $(L{\omega_1\omega})_t$-types of $T3$ spacesNotre Dame Journal of Formal Logic 28 (2): 284-290. 1987.
-
46Superatomic Boolean algebras constructed from morassesJournal of Symbolic Logic 60 (3): 940-951. 1995.By using the notion of a simplified (κ,1)-morass, we construct κ-thin-tall, κ-thin-thick and, in a forcing extension, κ-very thin-thick superatomic Boolean algebras for every infinite regular cardinal κ
-
54Satisfiability testing for Boolean formulas using δ-treesStudia Logica 72 (1). 2002.The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size…Read more
-
López Medel, J., El derecho, forma dinámica de la vida social (review)Anales de la Cátedra Francisco Suárez 4 (2). 1964.
-
17Satisfiability Testing for Boolean Formulas Using Δ-TreesStudia Logica 72 (1). 2002.The tree-based data structure of △-tree for propositional formulas is introduced in an improved and optimised form. The △-trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the si…Read more
-
24A consistency result on cardinal sequences of scattered Boolean spacesMathematical Logic Quarterly 51 (6): 586-590. 2005.We prove that if GCH holds and τ = 〈κα : α < η 〉 is a sequence of infinite cardinals such that κα ≥ |η | for each α < η, then there is a cardinal-preserving partial order that forces the existence of a scattered Boolean space whose cardinal sequence is τ
-
Diez años de investigación interdiciplinar : trabajos de la "Fondation Archives J. Piaget"Pensamiento 47 (187): 367-380. 1991.
Areas of Interest
17th/18th Century Philosophy |