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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 51(6), pp. 598-609, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Bin He |
A high dimensional Open Coloring Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 51(5), pp. 462-469, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Yuxi Fu |
A schematic axiom for open congruence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 48(1), pp. 67-77, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGTR ![In: IGTR 7(1), pp. 63-72, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Robert Bonnet, Matatyahu Rubin |
A note on well-generated Boolean algebras in models satisfying Martin's axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 291(1-3), pp. 7-18, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Francis Hsu |
Software architecture axiom 1: No moving parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ubiquity ![In: Ubiquity 2005(July), pp. 1, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Soifer |
Axiom of choice and chromatic number of Rn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 110(1), pp. 169-173, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Changsung Kang, Jin Tian 0001 |
Local Markov Property for Models Satisfying Composition Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI '05, Proceedings of the 21st Conference in Uncertainty in Artificial Intelligence, Edinburgh, Scotland, July 26-29, 2005, pp. 284-291, 2005, AUAI Press, 0-9749039-1-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Timothy L. Hinrichs, Michael R. Genesereth |
Axiom Schemata as Metalevel Axioms: Model Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, pp. 294-299, 2005, AAAI Press / The MIT Press, 1-57735-236-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Xiao-Ping Yang |
The Minimization of Axiom Sets Characterizing Generalized Fuzzy Rough Approximation Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fuzzy Systems and Knowledge Discovery, Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I, pp. 1303-1308, 2005, Springer, 3-540-28312-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2005, Proceedings of the Seventh International Conference on Enterprise Information Systems, Miami, USA, May 25-28, 2005, pp. 362-365, 2005, 972-8865-19-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
16 | Juan Dubra, Fabio Maccheroni, Efe A. Ok |
Expected utility theory without the completeness axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Econ. Theory ![In: J. Econ. Theory 115(1), pp. 118-133, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Shi-Zhong Bai |
The semi-precompactness axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 165(1-2), pp. 139-148, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Ji-Huan He |
Zu-Geng's axiom vs Cavalieri's theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 152(1), pp. 9-15, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 50(2), pp. 141-151, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | S. K. Acharyya, K. C. Chattopadhyay, Partha Pratim Ghosh |
Constructing Banaschewski compactification without Dedekind completeness axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2004(69), pp. 3799-3816, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Sheng-Gang Li, Shi-Zhong Bai, Ni Liu |
The near SR-compactness axiom in L-topological spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 147(2), pp. 307-316, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Saharon Shelah |
Forcing axiom failure for any lambda > aleph1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(3), pp. 285-296, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Soifer, Saharon Shelah |
Axiom of choice and chromatic number: examples on the plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 105(2), pp. 359-364, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Balbiani |
Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 56(3), pp. 211-242, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
16 | Lamberto Rondoni, Gary P. Morriss |
Large Fluctuations and Axiom-C Structures in Deterministically Thermostatted Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open Syst. Inf. Dyn. ![In: Open Syst. Inf. Dyn. 10(2), pp. 105-134, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Juha Honkala |
On D0L systems with finite axiom sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 16(1), pp. 29-35, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
16 | Lawrence C. Paulson |
The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 6, pp. 198-248, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Andrea Cantini |
The axiom of choice and combinatory logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 68(4), pp. 1091-1108, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Bernadette Charron-Bost, Robert Cori |
A Note on Linearizability and the Global Time Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 13(1), pp. 19-24, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 49(1), pp. 57-71, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Michael Rathjen, Robert S. Lubarsky |
On the regular extension axiom and its variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 49(5), pp. 511-518, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Gonçalo Gutierres |
Sequential topological conditions in in the absence of the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 49(3), pp. 293-298, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 49(2), pp. 179-186, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Olivier Esser |
On the axiom of extensionality in the positive set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 49(1), pp. 97-100, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 49(5), pp. 455-466, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Horst Herrlich |
The axiom of choice holds iff maximal closed filters exist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 49(3), pp. 323-324, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis, Eleftherios Tachtsis |
On Sequentially Compact Subspaces of ℝ without the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 44(3), pp. 175-184, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Jinming Fang |
H([lambda])-completely Hausdorff axiom on L-topological spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 140(3), pp. 457-469, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Saharon Shelah, Alexander Soifer |
Axiom of choice and chromatic number of the plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 103(2), pp. 387-391, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Geoff Sutcliffe, Alexander Dvorský |
Proving Harder Theorems by Axiom Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, May 12-14, 2003, St. Augustine, Florida, USA, pp. 108-113, 2003, AAAI Press, 1-57735-177-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
16 | Taradas Bandyopadhyay, Bandyopadhyay Bandyopadhyay, Prasanta K. Pattanaik |
Demand Aggregation and the Weak Axiom of Stochastic Revealed Preference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Econ. Theory ![In: J. Econ. Theory 107(2), pp. 483-489, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 67(1), pp. 143-161, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | David Asperó |
A Maximal Bounded Forcing Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 67(1), pp. 130-142, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | J. M. E. Hyland |
Variations on Realizability: Realizing the Propositional Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 12(3), pp. 295-317, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Nejat Anbarci |
A simple two-axiom characterization of the Nash solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OR Spectr. ![In: OR Spectr. 24(2), pp. 215-218, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 48(4), pp. 508-516, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Tarek Sayed Ahmed |
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 72(2), pp. 285-309, 2002. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.AI/0207038, 2002. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0211014, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
16 | Leonard Gillman |
Two Classical Surprises Concerning the Axiom of Choice and the Continuum Hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 109(6), pp. 544-553, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 29(2), pp. 107-124, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | John K. Slaney |
More Proofs of an Axiom of Lukasiewicz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 29(1), pp. 59-66, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings, pp. 253-267, 2002, Springer, 3-540-44185-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 117-123, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 15th European Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002, pp. 541-545, 2002, IOS Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), May 15-18, 2002, Boston, Massachusetts, USA, pp. 185-191, 2002, IEEE Computer Society, 0-7695-1462-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Wilfrid S. Kendall |
Symbolic Itô calculus in AXIOM: An ongoing story. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 11(1), pp. 25-35, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Dan E. Willard |
Self-Verifying Axiom Systems, The Incompleteness Theorem and Related Reflection Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 66(2), pp. 536-596, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Lorenz Halbeisen, Saharon Shelah |
Relations between some cardinals in the absence of the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 7(2), pp. 237-261, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Michael Rathjen |
Kripke-Platek Set Theory and the Anti-Foundation Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 47(4), pp. 435-440, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Wolfgang Degen |
Rigid Unary Functions and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 47(2), pp. 197-204, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis, Eleftherios Tachtsis |
Compact Metric Spaces and Weak Forms of the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 47(1), pp. 117-128, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis |
The Vector Space Kinna-Wagner Principle is Equivalent to the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 47(2), pp. 205-210, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis, Eleftherios Tachtsis |
Some Weak Forms of the Axiom of Choice Restricted to the Real Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 47(3), pp. 413-422, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Dorella Bellè, Franco Parlamento |
The Decidability of the ∀*∃ Class and the Axiom of Foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 42(1), pp. 41-53, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Larry Wos |
Conquering the Meredith Single Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 27(2), pp. 175-199, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Olivier Esser |
Inconsistency of The Axiom of Choice with The Positive Theory GPK+infinite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 65(4), pp. 1911-1916, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Brendle |
Martin's Axiom and the Dual Distributivity Number. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 46(2), pp. 241-248, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Norbert Brunner, H. Reiju Mihara |
Arrow's Theorem, Weglorz' Models and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 46(3), pp. 335-359, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 46(2), pp. 219-232, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis, Eleftherios Tachtsis |
On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 46(1), pp. 35-44, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis |
The Compactness of 2R and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 46(4), pp. 569-571, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Karl-Heinz Diener |
On kappa-hereditary Sets and Consequences of the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 46(4), pp. 563-568, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | David Bennett |
A Single Axiom for Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 41(2), pp. 152-170, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Irek Ulidowski |
Finite axiom systems for testing preorder and De Simone process languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 239(1), pp. 97-139, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Paul Corazza |
The wholeness axiom and Laver sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 105(1-3), pp. 157-260, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Eugene W. Stark, Scott A. Smolka |
A complete axiom system for finite-state probabilistic processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proof, Language, and Interaction ![In: Proof, Language, and Interaction, Essays in Honour of Robin Milner, pp. 571-596, 2000, The MIT Press, 978-0-262-16188-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
16 | Martin Dunstan |
Larch/Aldor: a Larch BISL for AXIOM and Aldor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
16 | Grigori Mints |
Cut-Elimination for Simple Type Theory with An Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 64(2), pp. 479-485, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Xudong Luo, Chengqi Zhang |
An Axiom Foundation for Uncertain Reasonings in Rule-Based Expert Systems: NT-Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 1(4), pp. 415-433, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | J. Dodu, Marianne Morillon |
The Hahn-Banach Property and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 45, pp. 299-314, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Vladimir Kanovei, Michael Reeken |
Special Model Axiom in Nonstandard Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 45, pp. 371-384, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hum. Factors ![In: Hum. Factors 41(1), pp. 35-50, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Szepietowski |
There is no complete axiom system for shuffle expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 33(3), pp. 271-278, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Angelo Gargantini, Dino Mandrioli, Angelo Morzenti |
Dealing with Zero-Time Transitions in Axiom Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 150(2), pp. 119-131, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Stefano Berardi, Marc Bezem, Thierry Coquand |
On the Computational Content of the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 63(2), pp. 600-622, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 44, pp. 367-382, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis |
Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 44, pp. 359-366, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Kyriakos Keremedis |
Extending Independent Sets to Bases and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 44, pp. 92-98, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Teodor Rus, James S. Jones |
Phrase Parsers from Multi-Axiom Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 199(1-2), pp. 199-229, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Ian E. Pratt, Dominik J. Schoop |
A Complete Axiom System for Polygonal Mereotopology of the Real Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 27(6), pp. 621-658, 1998. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cmp-lg/9804005, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
16 | Melinda Lombard, Richard Vesley |
A Common Axiom Set for Classical and Intuitionistic Plane Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 95(1-3), pp. 229-255, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Joan Bagaria |
A Characterization of Martin's Axiom in Terms of Absoluteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 62(2), pp. 366-372, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej S. Nowak |
On an axiomatization of the banzhaf value without the additivity axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Game Theory ![In: Int. J. Game Theory 26(1), pp. 137-141, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Dan E. Willard |
The Tangibility Reflection Principle for Self-Verifying Axiom Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kurt Gödel Colloquium ![In: Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings, pp. 319-334, 1997, Springer, 3-540-63385-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Horst Herrlich |
Compactness and the axiom of choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 4(1), pp. 1-14, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Baaz, Norbert Brunner, Karl Svozil |
The Axiom of Choice in Quantum Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 42, pp. 319-340, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 42, pp. 341-348, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Dolph Ulrich |
The shortest possible length of the longest implicational axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 25(1), pp. 101-108, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Lawrence C. Paulson, Krzysztof Grabczewski |
Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/9612104, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
16 | Hubert Frank |
A new axiom system of fuzzy logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 77(2), pp. 203-205, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Uri Abraham, Saharon Shelah |
Martin's axiom and D21 well-ordering of the reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 35(5-6), pp. 287-298, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Timothy Williamson |
Some Admissible Rules in Modal Systems with the Brouwerian Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 4(2), pp. 283-303, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|