Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Eleftherios Tachtsis |
Properties of the real line and weak forms of the Axiom of Choice. |
Math. Log. Q. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Bin He |
A high dimensional Open Coloring Axiom. |
Math. Log. Q. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Yuxi Fu |
A schematic axiom for open congruence. |
Sci. China Ser. F Inf. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | M. Josune Albizuri, Javier Arin, Juan F. Rubio-Ramirez |
An Axiom System for a Value for Games in Partition Function Form. |
IGTR |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Robert Bonnet, Matatyahu Rubin |
A note on well-generated Boolean algebras in models satisfying Martin's axiom. |
Discret. Math. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Francis Hsu |
Software architecture axiom 1: No moving parts. |
Ubiquity |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Soifer |
Axiom of choice and chromatic number of Rn. |
J. Comb. Theory, Ser. A |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Changsung Kang, Jin Tian 0001 |
Local Markov Property for Models Satisfying Composition Axiom. |
UAI |
2005 |
DBLP BibTeX RDF |
|
16 | Timothy L. Hinrichs, Michael R. Genesereth |
Axiom Schemata as Metalevel Axioms: Model Theory. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
16 | Xiao-Ping Yang |
The Minimization of Axiom Sets Characterizing Generalized Fuzzy Rough Approximation Operators. |
FSKD (1) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Youming Xia, Hongli Yin, Lihong Zhao |
Multi-Agent System Formal Model Based on Negotiation Axiom System of Temporal Logic. |
ICEIS (2) |
2005 |
DBLP BibTeX RDF |
|
16 | Juan Dubra, Fabio Maccheroni, Efe A. Ok |
Expected utility theory without the completeness axiom. |
J. Econ. Theory |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Shi-Zhong Bai |
The semi-precompactness axiom. |
Inf. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Ji-Huan He |
Zu-Geng's axiom vs Cavalieri's theory. |
Appl. Math. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis |
Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces. |
Math. Log. Q. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | S. K. Acharyya, K. C. Chattopadhyay, Partha Pratim Ghosh |
Constructing Banaschewski compactification without Dedekind completeness axiom. |
Int. J. Math. Math. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Sheng-Gang Li, Shi-Zhong Bai, Ni Liu |
The near SR-compactness axiom in L-topological spaces. |
Fuzzy Sets Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Saharon Shelah |
Forcing axiom failure for any lambda > aleph1. |
Arch. Math. Log. |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Soifer, Saharon Shelah |
Axiom of choice and chromatic number: examples on the plane. |
J. Comb. Theory, Ser. A |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Balbiani |
Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection. |
Fundam. Informaticae |
2003 |
DBLP BibTeX RDF |
|
16 | Lamberto Rondoni, Gary P. Morriss |
Large Fluctuations and Axiom-C Structures in Deterministically Thermostatted Systems. |
Open Syst. Inf. Dyn. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Juha Honkala |
On D0L systems with finite axiom sets. |
Acta Cybern. |
2003 |
DBLP BibTeX RDF |
|
16 | Lawrence C. Paulson |
The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf. |
LMS J. Comput. Math. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Andrea Cantini |
The axiom of choice and combinatory logic. |
J. Symb. Log. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Bernadette Charron-Bost, Robert Cori |
A Note on Linearizability and the Global Time Axiom. |
Parallel Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin |
Products of compact spaces and the axiom of choice II. |
Math. Log. Q. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Michael Rathjen, Robert S. Lubarsky |
On the regular extension axiom and its variants. |
Math. Log. Q. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Gonçalo Gutierres |
Sequential topological conditions in in the absence of the axiom of choice. |
Math. Log. Q. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis |
The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces. |
Math. Log. Q. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Olivier Esser |
On the axiom of extensionality in the positive set theory. |
Math. Log. Q. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin |
Metric spaces and the axiom of choice. |
Math. Log. Q. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Horst Herrlich |
The axiom of choice holds iff maximal closed filters exist. |
Math. Log. Q. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis, Eleftherios Tachtsis |
On Sequentially Compact Subspaces of ℝ without the Axiom of Choice. |
Notre Dame J. Formal Log. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Jinming Fang |
H([lambda])-completely Hausdorff axiom on L-topological spaces. |
Fuzzy Sets Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Saharon Shelah, Alexander Soifer |
Axiom of choice and chromatic number of the plane. |
J. Comb. Theory, Ser. A |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Geoff Sutcliffe, Alexander Dvorský |
Proving Harder Theorems by Axiom Reduction. |
FLAIRS |
2003 |
DBLP BibTeX RDF |
|
16 | Taradas Bandyopadhyay, Bandyopadhyay Bandyopadhyay, Prasanta K. Pattanaik |
Demand Aggregation and the Weak Axiom of Stochastic Revealed Preference. |
J. Econ. Theory |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Omar De la Cruz, Eric J. Hall, Paul E. Howard, Jean E. Rubin, Adrienne Stanley |
Definitions of Compactness and The Axiom of Choice. |
J. Symb. Log. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | David Asperó |
A Maximal Bounded Forcing Axiom. |
J. Symb. Log. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | J. M. E. Hyland |
Variations on Realizability: Realizing the Propositional Axiom of Choice. |
Math. Struct. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Nejat Anbarci |
A simple two-axiom characterization of the Nash solution. |
OR Spectr. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin |
Products of Compact Spaces and the Axiom of Choice. |
Math. Log. Q. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Tarek Sayed Ahmed |
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic. |
Stud Logica |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Samir Chopra, Aditya Ghose, Thomas Andreas Meyer |
Iterated revision and the axiom of recovery: a unified treatment via epistemic states |
CoRR |
2002 |
DBLP BibTeX RDF |
|
16 | Larry Wos, Dolph Ulrich, Branden Fitelson |
Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus |
CoRR |
2002 |
DBLP BibTeX RDF |
|
16 | Leonard Gillman |
Two Classical Surprises Concerning the Axiom of Choice and the Continuum Hypothesis. |
Am. Math. Mon. |
2002 |
DBLP BibTeX RDF |
|
16 | Larry Wos, Dolph Ulrich, Branden Fitelson |
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. |
J. Autom. Reason. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | John K. Slaney |
More Proofs of an Axiom of Lukasiewicz. |
J. Autom. Reason. |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Jochen Wickel, Pablo Alvarado, Peter Dörfler, Thomas Krüger, Karl-Friedrich Kraiss |
Axiom - A Modular Visual Object Retrieval System. |
KI |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Samir Chopra, Aditya Ghose, Thomas Andreas Meyer |
Iterated revision and the axiom of recovery: a unified treatment via epistemic states. |
NMR |
2002 |
DBLP BibTeX RDF |
|
16 | Samir Chopra, Aditya Ghose, Thomas Andreas Meyer |
Iterated revision and the axiom of recovery: A unified treatment via epistemic states. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
16 | Tomoko Ninomiya, Masao Mukaidono |
Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra. |
ISMVL |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Wilfrid S. Kendall |
Symbolic Itô calculus in AXIOM: An ongoing story. |
Stat. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Dan E. Willard |
Self-Verifying Axiom Systems, The Incompleteness Theorem and Related Reflection Principles. |
J. Symb. Log. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Lorenz Halbeisen, Saharon Shelah |
Relations between some cardinals in the absence of the Axiom of Choice. |
Bull. Symb. Log. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Michael Rathjen |
Kripke-Platek Set Theory and the Anti-Foundation Axiom. |
Math. Log. Q. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Degen |
Rigid Unary Functions and the Axiom of Choice. |
Math. Log. Q. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis, Eleftherios Tachtsis |
Compact Metric Spaces and Weak Forms of the Axiom of Choice. |
Math. Log. Q. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis |
The Vector Space Kinna-Wagner Principle is Equivalent to the Axiom of Choice. |
Math. Log. Q. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis, Eleftherios Tachtsis |
Some Weak Forms of the Axiom of Choice Restricted to the Real Line. |
Math. Log. Q. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Dorella Bellè, Franco Parlamento |
The Decidability of the ∀*∃ Class and the Axiom of Foundation. |
Notre Dame J. Formal Log. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Larry Wos |
Conquering the Meredith Single Axiom. |
J. Autom. Reason. |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Olivier Esser |
Inconsistency of The Axiom of Choice with The Positive Theory GPK+infinite. |
J. Symb. Log. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Brendle |
Martin's Axiom and the Dual Distributivity Number. |
Math. Log. Q. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Norbert Brunner, H. Reiju Mihara |
Arrow's Theorem, Weglorz' Models and the Axiom of Choice. |
Math. Log. Q. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley |
Paracompactness of Metric Spaces and the Axiom of Multiple Choice. |
Math. Log. Q. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis, Eleftherios Tachtsis |
On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice. |
Math. Log. Q. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis |
The Compactness of 2R and the Axiom of Choice. |
Math. Log. Q. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Karl-Heinz Diener |
On kappa-hereditary Sets and Consequences of the Axiom of Choice. |
Math. Log. Q. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | David Bennett |
A Single Axiom for Set Theory. |
Notre Dame J. Formal Log. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Irek Ulidowski |
Finite axiom systems for testing preorder and De Simone process languages. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Paul Corazza |
The wholeness axiom and Laver sequences. |
Ann. Pure Appl. Log. |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Eugene W. Stark, Scott A. Smolka |
A complete axiom system for finite-state probabilistic processes. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
16 | Martin Dunstan |
Larch/Aldor: a Larch BISL for AXIOM and Aldor. |
|
2000 |
RDF |
|
16 | Grigori Mints |
Cut-Elimination for Simple Type Theory with An Axiom of Choice. |
J. Symb. Log. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Xudong Luo, Chengqi Zhang |
An Axiom Foundation for Uncertain Reasonings in Rule-Based Expert Systems: NT-Algebra. |
Knowl. Inf. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | J. Dodu, Marianne Morillon |
The Hahn-Banach Property and the Axiom of Choice. |
Math. Log. Q. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Vladimir Kanovei, Michael Reeken |
Special Model Axiom in Nonstandard Set Theory. |
Math. Log. Q. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Herbert A. Colle, Gary B. Reid |
Double Trade-off Curves with Different Cognitive Processing Combinations: Testing the Cancellation Axiom of Mental Workload Measurement Theory. |
Hum. Factors |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Szepietowski |
There is no complete axiom system for shuffle expressions. |
RAIRO Theor. Informatics Appl. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Angelo Gargantini, Dino Mandrioli, Angelo Morzenti |
Dealing with Zero-Time Transitions in Axiom Systems. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Stefano Berardi, Marc Bezem, Thierry Coquand |
On the Computational Content of the Axiom of Choice. |
J. Symb. Log. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Paul E. Howard, Kyriakos Keremedis, Herman Rubin, Jean E. Rubin |
Versions of Normality and Some Weak Forms of the Axiom of Choice. |
Math. Log. Q. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis |
Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice. |
Math. Log. Q. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis |
Extending Independent Sets to Bases and the Axiom of Choice. |
Math. Log. Q. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Teodor Rus, James S. Jones |
Phrase Parsers from Multi-Axiom Grammars. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Ian E. Pratt, Dominik J. Schoop |
A Complete Axiom System for Polygonal Mereotopology of the Real Plane. |
J. Philos. Log. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Newton C. A. da Costa, Francisco A. Doria |
On the existence of certain total recursive functions in nontrivial axiom systems, I |
CoRR |
1998 |
DBLP BibTeX RDF |
|
16 | Melinda Lombard, Richard Vesley |
A Common Axiom Set for Classical and Intuitionistic Plane Geometry. |
Ann. Pure Appl. Log. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Joan Bagaria |
A Characterization of Martin's Axiom in Terms of Absoluteness. |
J. Symb. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej S. Nowak |
On an axiomatization of the banzhaf value without the additivity axiom. |
Int. J. Game Theory |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Dan E. Willard |
The Tangibility Reflection Principle for Self-Verifying Axiom Systems. |
Kurt Gödel Colloquium |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Horst Herrlich |
Compactness and the axiom of choice. |
Appl. Categorical Struct. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Baaz, Norbert Brunner, Karl Svozil |
The Axiom of Choice in Quantum Theory. |
Math. Log. Q. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Joaquín Borrego-Díaz, Alejandro Fernández-Margarit, Mario J. Pérez-Jiménez |
On Overspill Principles and Axiom Schemes for Bounded Formulas. |
Math. Log. Q. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Dolph Ulrich |
The shortest possible length of the longest implicational axiom. |
J. Philos. Log. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Lawrence C. Paulson, Krzysztof Grabczewski |
Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice. |
CoRR |
1996 |
DBLP BibTeX RDF |
|
16 | Hubert Frank |
A new axiom system of fuzzy logic. |
Fuzzy Sets Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Uri Abraham, Saharon Shelah |
Martin's axiom and D21 well-ordering of the reals. |
Arch. Math. Log. |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Timothy Williamson |
Some Admissible Rules in Modal Systems with the Brouwerian Axiom. |
Log. J. IGPL |
1996 |
DBLP DOI BibTeX RDF |
|