Xavier Caicedo

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	EL TEOREMA DE HAHN-BANACH COMO PRINCIPIO DE ELECCIÓN ́	2023	Xavier Caicedo Germán Enciso
+ PDF Chat	Metastable convergence and logical compactness	2023	Xavier Caicedo Eduardo Duéñez José Iovino
+	Frame definability in finitely valued modal logics	2023	Guillermo Badía Xavier Caicedo Carles Noguera
+ PDF Chat	MAXIMALITY OF LOGIC WITHOUT IDENTITY	2023	Guillermo Badía Xavier Caicedo Carles Noguera
+	Restricted analytic valued fields with partial exponentiation	2023	Leonardo Ángel Xavier Caicedo
+	Asymptotic truth-value laws in many-valued logics	2023	Guillermo Badía Xavier Caicedo Carles Noguera
+	Frame definability in finitely-valued modal logics	2022	Guillermo Badía Xavier Caicedo Carles Noguera
+	Maximality of logic without identity	2022	Guillermo Badía Xavier Caicedo Carles Noguera
+	Every minimal dual discriminator variety is minimal as a quasivariety	2021	Xavier Caicedo Miguel Campercholi Keith A. Kearnes Pedro Sánchez Terraf Ágnes Szendrei Diego Vaggione
+ PDF Chat	On a characterization of path connected topological fields	2019	Xavier Caicedo Guillermo Mantilla-Soler
+	Metastable convergence and logical compactness	2019	Xavier Caicedo Eduardo Duéñez José Iovino
+	Lindström’s Theorem for Positive Logics, a Topological View	2015	Xavier Caicedo
+	Omitting uncountable types and the strength of<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mo stretchy="false">[</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">]</mml:mo></mml:math>-valued logics	2014	Xavier Caicedo José Iovino
+	Bi-modal Godel logic over [0,1]-valued Kripke frames	2012	Xavier Caicedo R.O. Rodríguez
+	Omitting uncountable types, and the strength of $[0,1]$-valued logics	2012	Xavier Caicedo José Iovino
+	Omitting uncountable types, and the strength of $[0,1]$-valued logics	2012	Xavier Caicedo José Iovino
+	Bi-modal G\"odel logic over [0,1]-valued Kripke frames	2011	Xavier Caicedo Ricardo Óscar Rodríguez
+	Bi-modal Gödel logic over [0,1]-valued Kripke frames	2011	Xavier Caicedo Ricardo Óscar Rodríguez
+	A Godel Modal Logic	2009	Xavier Caicedo Ricardo Óscar Rodríguez
+	A Godel Modal Logic	2009	Xavier Caicedo Ricardo Óscar Rodríguez
+	Completud de dos cálculos logicos de Leibniz (Completencss of Two Logical Systems of Leibniz)	2001	Xavier Caicedo Alejandro Martín
+	Completud de dos cálculos lógicos de Leibniz	2001	Alejandro Martín Xavier Caicedo
+	The Abstract Compactness Theorem Revisited	1999	Xavier Caicedo
+	Syntactical Content of Finite Approximations of Partial Algebras	1998	Wiktor Bartol Xavier Caicedo Francesc Rosselló
+	El teorema de Tichonoff para formas débiles de compacidad	1998	Xavier Caicedo
+	Hilbert’s ε-Symbol in the Presence of Generalized Quantifiers	1995	Xavier Caicedo
+	Continuous Operations on Spaces of Structures	1995	Xavier Caicedo
+	Compactness and normality in abstract logics	1993	Xavier Caicedo
+	Definability properties and the congruence closure	1990	Xavier Caicedo
+ PDF Chat	On extensions of $L_{\omega \omega }(Q_1)$.	1981	Xavier Caicedo
+ PDF Chat	The subdirect decomposition theorem for classes of structures closed under direct limits	1980	Xavier Caicedo
+	Conjuntos secuencialmente cerrados	1980	Xavier Caicedo
+	Back-and-Forth Systems for Arbitrary Quantifiers	1980	Xavier Caicedo
+	Isomorphism theorems in categories.	1972	Xavier Caicedo

Common Coauthors

Coauthor	Papers Together
Carles Noguera	5
Guillermo Badía	5
José Iovino	5
Ricardo Óscar Rodríguez	4
Eduardo Duéñez	2
Alejandro Martín	2
Wiktor Bartol	1
Francesc Rosselló	1
Keith A. Kearnes	1
Diego Vaggione	1
Miguel Campercholi	1
R.O. Rodríguez	1
Germán Enciso	1
Pedro Sánchez Terraf	1
Leonardo Ángel	1
Ágnes Szendrei	1
Guillermo Mantilla-Soler	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Rings of Continuous Functions.	1961	E. R. Lorch Leonard Gillman Meyer Jerison	4
+	Definability properties and the congruence closure	1990	Xavier Caicedo	3
+	Rings of Continuous Functions	1960	Leonard Gillman Meyer Jerison	3
+	Continuous Operations on Spaces of Structures	1995	Xavier Caicedo	3
+	Compactness and normality in abstract logics	1993	Xavier Caicedo	3
+	On the maximality of logics with approximations	2001	José Iovino	2
+	Regularity of ultrafilters and the core model	1988	Hans-Dieter Donder	2
+	The theorems of beth and Craig in abstract model theory II. Compact logics	1981	Johann A. Makowsky Saharon Shelah	2
+ PDF Chat	Products with closed projections. II	1971	N. Noble	2
+	Remarks in abstract model theory	1985	Saharon Shelah	2
+ PDF Chat	Ultrafilter invariants in topological spaces	1978	Victor Saks	2
+ PDF Chat	A new kind of compactness for topological spaces	1970	Allen R. Bernstein	2
+	Countably Compact and Sequentially Compact Spaces	1984	Jerry E. Vaughan	2
+ PDF Chat	An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications	1977	Lee Badger	2
+	Ehrenfeucht games for generalized quantifiers	1976	A. Krawczyk M. Krynicki	2
+ PDF Chat	Products of nearly compact spaces	1966	C. T. Scarborough A. H. Stone	2
+ PDF Chat	Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures	1974	Solomon Feferman	2
+ PDF Chat	Some applications of ultrafilters in topology	1975	John Ginsburg Victor Saks	2
+ PDF Chat	Categoricity without equality	2001	H. Jerome Keisler Arnold W. Miller	2
+ PDF Chat	Products of initially 𝑚-compact spaces	1974	R. M. Stephenson Jerry E. Vaughan	2
+	Limit ultrapowers and abstract logics	1987	Paolo Lipparini	2
+	The Abstract Compactness Theorem Revisited	1999	Xavier Caicedo	2
+	Convergence in topology	1950	John L. Kelley	2
+ PDF Chat	Model theory for metric structures	2008	Itaï Ben Yaacov Alexander Berenstein C. Ward Henson Alexander Usvyatsov	2
+ PDF Chat	On Elementary Equivalence for Equality-free Logic	1996	Enrique Casanovas Pilar Dellunde Ramón Jansana	1
+	The Fregean Axiom and Polish mathematical logic in the 1920s	1977	Roman Suszko	1
+ PDF Chat	Locally compact division rings	1958	Edwin Weiss Neal Zierler	1
+	On a Generalized Notion of Compactness. II	1957	I. S. Gál	1
+	Topological Vector Spaces.	1967	M. S. Ramanujan Helmut Schaefer	1
+ PDF Chat	Vector spaces and binary quantifiers.	1984	Michał Krynicki A. H. Lachlan Jouko Väänánen	1
+	A topological characterization of (λ, μ)*-compactness	1983	Heikki Mannila	1
+ PDF Chat	The Stone-Weierstrass theorem for valuable fields	1968	Paul R. Chernoff Richard Rasala William C. Waterhouse	1
+	Some model theory for monotone quantifiers	1977	Johann A. Makowsky S. Tulipani	1
+	Compact extensions of L(Q) (part 1a)	1977	Menachem Magidor Jerome Malitz	1
+ PDF Chat	The product of two countably compact topological groups	1980	Eric K. van Douwen	1
+	The Banach-Tarski paradox	1985	Stanley Wagon	1
+	Definability hierarchies of generalized quantifiers	1989	Lauri Hella	1
+	Rings of continuous functions with values in a topological division ring	1996	Е. М. Вечтомов	1
+	The Härtig quantifier: a survey	1991	Heinrich Herre Michał Krynicki A. G. Pinus Jouko Väänánen	1
+	Positive results in abstract model theory: a theory of compact logics	1983	Johann A. Makowsky Saharon Shelah	1
+	On descendingly complete ultrafilters	1973	Kenneth Kunen Karel Prikry	1
+ PDF Chat	Modal Definability Based on Łukasiewicz Validity Relations	2016	Bruno Teheux	1
+ PDF Chat	Towards a Proof Theory of G\"odel Modal Logics	2011	George Metcalfe Nicola Olivetti	1
+ PDF Chat	Categoricity in power	1965	Michael Morley	1
+	Bi-modal Godel logic over [0,1]-valued Kripke frames	2012	Xavier Caicedo R.O. Rodríguez	1
+	Hanf numbers for fragments of ℶ h (A)	1971	Jon Barwise Kenneth Kunen	1
+	Some recent results in the theory of [a,b]-compactness	1974	Jerry E. Vaughan	1
+	Categories of local functors	1975	Paul C. Eklof	1
+	Totally Disconnected Locally Compact Rings	1936	Nathan Jacobson	1
+	Lindström’s Theorem for Positive Logics, a Topological View	2015	Xavier Caicedo	1