Author(s) |
Title |
Year |
Journal |
Series |
Pages |
Comments |
Status |
Cantor, G.,
|
Ein Beitrag zur Mannigfaltigkeitslehre |
1878 |
J. Reine Angew. Math. |
84 |
242-258. |
NULL |
published |
Cantor, G.,
|
"Uber unendliche, lineare Punktmannichfaltigkeiten $V$" |
1883 |
Math. Ann. |
21 |
545-591. |
NULL |
published |
Cantor, G.,
|
Mitteilungen zur Lehre vom Transfiniten |
1887 |
Z. Philos. Philos. Kritik. |
91 |
"81-125, 252-270." |
NULL |
published |
Schröder, E.,
|
Über zwei Definitionen der Endlichkeit und G. Cantor’sche Sätze, |
1898 |
Deutch. Akad. Naturforscher, nova Acta Leopoldina. |
71 |
303-362 |
|
published |
Hilbert, D.,
|
Mathematische Probleme Vortrag, gehalten auf dem internationalem Mathematiker Kongress zu Paris |
1900 |
Bull. Amer. Math. Soc. |
8 |
437-479 |
Originally published in Nachrichten,
Akademie der Wissenschaften, Göttingen, 1900 |
published |
Whitehead, A.N.,
|
On Cardinal Numbers |
1902 |
Amer. J. Math. |
24 |
367-394 |
|
published |
Young, W.H.,
|
Overlapping intervals |
1903 |
Proc. London Math. Soc. |
35 |
384-388 |
NULL |
published |
Zermelo, E.,
|
Beweis das jede Menge wohlgeordnet kann |
1904 |
Math. Ann. |
59 |
514-516. |
NULL |
published |
Lebesgue, H.,
|
Sur les fonctions representables analytiquement |
1905 |
J. Math. Pures Appl. |
60 |
139-216. |
NULL |
published |
Lindelof, E.,
|
Remarque sur un th'eor`eme fondamental de $la$ th'eorie des ensembles |
1905 |
Acta Math. |
29 |
183-190. |
NULL |
published |
Hamel, G.,
|
Eine Basis aller Zahlen und die unstetigen Losungen der Functionalgleichung: \(f(x+y) = f(x) + f(y)\) |
1905 |
Math. Ann. |
60 |
459-462 |
|
published |
Russell, B.,
|
On some difficulties in the theory of transfinite numbers and order types |
1906 |
Proc. London Math. Soc. Ser. 2 |
4 |
29-53. |
NULL |
published |
Hausdorff, F.,
|
Über dichte Ordnungstypen |
1907 |
Jber. Deutsch. Math. |
16 |
541-546 |
|
published |
Schoenflies, A.,
|
Die Entwickelung der Lehre von den Punktmannichfaltigkeiten. Zweiten Teil |
1908 |
Jber. Deutsch. Math. |
2 |
1-331 |
|
published |
Bernstein, F.,
|
Zur Theorie der trigonometrischen Reihe |
1908 |
Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, Math.-Phys. Klasse, Sitzungsberichte |
60 |
325-338 |
Felix Bernstein |
published |
Zermelo, E.,
|
Neuer Beweis fur die wohlordnung |
1908a |
Math. Ann. |
65 |
107-128. |
NULL |
published |
Zermelo, E.,
|
Untersuchungen uber die Grundlagen der Mengenlehre I |
1908b |
Math. Ann. |
65 |
"261-281. (Translated in van Heijenoort 1, p 199-215.)" |
NULL |
published |
Sierpi'nski, W.,
|
Sur le r^ole de l'axiome de M. Zermelo dans l'analyse moderne |
1916 |
C. R. Acad. Sci. Paris S'er. A-B |
163 |
688-691. |
NULL |
published |
Sierpi'nski, W.,
|
Sur quelques probl`emes qui impliquent des fonctions non-mesur-ables |
1917 |
C. R. Acad. Sci. Paris S'er. A-B |
164 |
882-884. |
NULL |
published |
Luzin, N.,
Sierpi'nski, W.,
|
Sur une propri'et'e du continu |
1917 |
C. R. Acad. Sci. Paris S'er. A-B |
165 |
498-500. |
NULL |
published |
Sierpi'nski, W.,
|
L’axiome de M. Zermelo et son rˆole dans la th´eorie des ensembles et l’analyse |
1918 |
Bull. Int. Acad. Sci. Cracovie Cl. Math. Nat. |
|
97-152 |
|
published |
Sierpi'nski, W.,
|
Sur l''egalit'e 2m=2n pur les nombres cardinaux |
1922 |
Fund. Math. |
3 |
"1-6. Reprinted in Oevres Choisies, Vol 11, Warszawa 1975, 417-421." |
NULL |
published |
Fraenkel, A.,
|
Der Bergriff “definit” und der Unabhangigkeit des Auswahlaxioms |
1922 |
Sitzungsber. Preussichen Akad. Wiss., Math. Kl. |
|
253-257 |
|
published |
Banach, S.,
Tarski, A.,
|
Sur la decomposition des ensembles de points en parties respectivement congruents |
1924 |
Fund. Math. |
6 |
244-257. |
NULL |
published |
Moore, R.L.,
|
An extension of the theorem that no countable point set is perfect |
1924 |
Proc. Nat. Acad. Sci. U.S.A. |
10 |
168-170. |
NULL |
published |
Tarski, A.,
|
Sur les ensembles finis |
1924 |
Fund. Math. |
6 |
45-95. |
NULL |
published |
Urysohn, P.,
|
Uber die Metrisation der kompakten topologischen Raume |
1924 |
Math. Ann. |
92 |
275-293 |
NULL |
published |
Urysohn, P.,
|
Uber die Machtigkeit der zusammenhangenden Mengen |
1925 |
Math. Ann. |
94 |
262-295. |
NULL |
published |
Lindenbaum, A.,
Tarski, A.,
|
Communication sur les recherches de la th'eorie des ensembles |
1926 |
C. R. Soc. Sci. Lett. Varsovie |
19 |
299-330. |
NULL |
published |
Krull, W.,
|
Die Idealtheorie in Ringen ohne Endlichkeitsbedingungen |
1929 |
Math. Ann. |
101 |
729-744. |
NULL |
published |
Ramsey, Frank,
|
On a problem of formal logic |
1929 |
Proc. London Math. Soc. |
30 |
264-286 |
NULL |
published |
Tarski, A.,
|
Une contribution 'a la th'eorie de la mesure |
1930 |
Fund. Math. |
15 |
42-50. |
NULL |
published |
Tychonoff, A.,
|
Uber die topologische Erweiterung von Raumen |
1930 |
Math. Ann. |
102 |
544-561. |
NULL |
published |
Lowig, L.,
|
Uber die Dimension linearer Raume |
1934 |
Studia Math. |
5 |
18-23. |
NULL |
published |
Hall, P.,
|
On representatives of subsets |
1935 |
J. London Math. Soc. |
10 |
26-30. |
NULL |
published |
Stone, M.,
|
The theory of representations for Boolean algebras |
1936 |
Trans. Amer. Math. Soc. |
40 |
37-111. |
NULL |
published |
Mostowski, A.,
|
On the independence of the definitions of finiteness in a system of logic |
1938 |
Ann. Soc. Polon. Math. |
11 |
1-54. |
NULL |
published |
Tarski, A.,
|
Review of Mostowski 5 |
1938a |
J. Symbolic Logic |
3 |
115 |
NULL |
published |
Tarski, A.,
|
Ein Uberdeckungsatz fur endliche Mengen nebst enigen Bemerkungen uber die Definitionen der Endlichkeit |
1938b |
Fund. Math. |
30 |
156-163. |
NULL |
published |
Gelfand, I.,
Kolmogoroff, A.,
|
On rings of continuous functions on topological spaces |
1939 |
Dokl. Akad. Nauk SSSR |
22 |
25-38 |
|
published |
Alexander, J. W.,
|
"Ordered sets, complexes, and the problem of bicompactification" |
1939 |
Proc. Nat. Acad. Sci. U.S.A. |
22 |
296-298. |
NULL |
published |
Mostowski, A.,
|
Uber die Unabhangigkeit des Wohl-ord-nungs-satzes vom Ord-nungs-prin-zip |
1939 |
Fund. Math. |
32 |
201-252. |
NULL |
published |
Tarski, A.,
|
On well-ordered subsets of any set |
1939 |
Fund. Math. |
32 |
176-183. |
NULL |
published |
Birkhoff, G.,
|
Subdirect unions in universal algebra |
1944 |
Bull. Amer. Math. Soc. |
50 |
764-768. |
NULL |
published |
Mostowski, A.,
|
Axiom of choice for finite sets |
1945 |
Fund. Math. |
33 |
137-168. |
NULL |
published |
Sierpi'nski, W.,
|
Sur une proposition qui entraine l'existence des ensembles non mesurables |
1947 |
Fund. Math. |
34 |
157-162. |
NULL |
published |
Tarski, A.,
|
Algebraic and axiomatic aspects of two theorems on sums of cardinals |
1948 |
Fund. Math. |
35 |
79-104. |
NULL |
published |
Hall, M.,
|
Distinct representatives of subsets |
1948 |
Bull. Amer. Math. Soc. |
54 |
922-926. |
NULL |
published |
Mostowski, A.,
|
On the principle of dependent choices |
1948 |
Fund. Math. |
35 |
127-130. |
NULL |
published |
Stone, A.H.,
|
Paracompactness and product space |
1948 |
Bull. Amer. Math. Soc. |
54 |
977-982. |
NULL |
published |
Rado, R.,
|
Axiomatic treatment of rank in infinite sets |
1949 |
Canad. J. Math. |
1 |
337-343. |
NULL |
published |
Tarski, A.,
|
Cancellation laws in the arithmetic of cardinals |
1949b |
Fund. Math. |
36 |
77-92. |
NULL |
published |
Goodner, D. A.,
|
Projections in normed linear spaces |
1950 |
Trans. Amer. Math. Soc. |
69 |
89-108 |
|
published |
Rasiowa, H.,
Sikorski, R.,
|
A proof of the completeness theorem of Gödel |
1950 |
Fund. Math. |
37 |
193-200 |
|
published |
Sikorski, R.,
|
Cartesian products of Boolean algebras |
1950 |
Fund. Math. |
37 |
25-54. |
NULL |
published |
Federer, H.,
Jonsson, B.,
|
Some properties of free groups |
1950 |
Trans. Amer. Math. Soc. |
68 |
1-27. |
NULL |
published |
Kelley, J.L.,
|
Tychonoff's theorem implies AC |
1950 |
Fund. Math. |
37 |
75-76. |
NULL |
published |
L o's, J.,
Ryll-Nardzewski, C.,
|
On the application of Tychonoff's theorem in mathematical proofs |
1951 |
Fund. Math. |
38 |
233-237. |
NULL |
published |
Gottschalk, W. H.,
|
Choice functions and Tychonoff's theorem |
1951 |
Proc. Amer. Math. Soc. |
2 |
"172. MR 12.683, Zbl 43.54." |
NULL |
published |
Erdos, P.,
Rado, R.,
|
Combinatorial theorems on classification of subsets of a given set |
1952 |
Proc. London Math. Soc. |
2 |
417-439 |
NULL |
published |
Kurepa, D.,
|
Uber das Auswahlaxiom |
1953 |
Math. Ann. |
126 |
381-384. |
NULL |
published |
Rubin, H.,
Scott, D.,
|
Some topological theorems equivalent to the Boolean prime ideal theorem |
1954 |
Bull. Amer. Math. Soc. |
60 |
389 |
NULL |
published |
Sierpi'nski, W.,
|
Sur un proposition 'equivalente `a l'existence d'un ensemble de nombres r'eels de puissance $aleph _{1}$ |
1954 |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
2 |
53-54 |
NULL |
published |
L o's, J.,
Ryll-Nardzewski, C.,
|
Effectiveness of the representation theory for Boolean algebras |
1954 |
Fund. Math. |
41 |
49-56. |
NULL |
published |
Scott, D.,
|
Prime ideal theorems for rings lattices and Boolean algebras |
1954 |
Bull. Amer. Math. Soc. |
60 |
390 |
NULL |
published |
Tarski, A.,
|
Theorems on the existence of successors of cardinals and the axiom of choice |
1954a |
Indag. Math. |
16 |
26-32. |
NULL |
published |
Henkin, L.,
|
Metamathematical theorems equivalent to the prime ideal theorem for Boolean algebras |
1954a |
Bull. Amer. Math. Soc. |
60 |
378-388. |
NULL |
published |
Tarski, A.,
|
Prime ideal theorems for Boolean algebras and the axiom of choice |
1954b |
Bull. Amer. Math. Soc. |
60 |
390-391. |
NULL |
published |
Henkin, L.,
|
Boolean representations through propositional calculus |
1954b |
Fund. Math. |
41 |
89-96. |
NULL |
published |
Kinna, W.,
Wagner, K.,
|
Uber eine Abschwachung des Auswahlpostulates |
1955 |
Fund. Math. |
42 |
75-82. |
NULL |
published |
Specker, E.,
|
Zur Axiomatik der Mengenlehre |
1957 |
Z. Math. Logik Grundlagen Math. |
3 |
173-210. |
NULL |
published |
Levy, A.,
|
The independence of various definitions of finiteness |
1958 |
Fund. Math. |
46 |
1-13 |
|
published |
Mostowski, A.,
|
On a problem of W. Kinna and K. Wagner |
1958 |
Colloq. Math. |
6 |
207-208. |
NULL |
published |
Fraiss'e, R. J.,
|
Un mod`ele d'efinissant une th'eorie aberrant des ensembles ou sont nies les axiomes du choix et d'extensionalite |
1958 |
Publ. Sci. Univ. Alger Ser. A Math. |
5 |
17-98 |
NULL |
published |
Gleason, A.M.,
|
Projective topological spaces |
1958 |
Illinois J. Math. |
2 |
482-489. |
NULL |
published |
Rubin, H.,
|
Two propositions equivalent to the axiom of choice only under the axioms of extensionality and regularity |
1960 |
Notices Amer. Math. Soc. |
7 |
381 |
NULL |
published |
Levy, A.,
|
On models of set theory with urelements |
1960 |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
8 |
463-465. |
NULL |
published |
Banaschewski, B.,
|
On some theorems equivalent to the axiom of choice |
1961 |
Z. Math. Logik Grundlagen Math. |
|
{f 7 |
NULL |
published |
Mycielski, J.,
|
Some remarks and problems on the coloring of infinite graphs and the theorem of Kuratowski |
1961 |
Acta Math. Acad. Sci. Hungar. |
12 |
125-129. |
NULL |
published |
Halpern, J.D.,
|
Some structure in the hierarchy of maximal principles in set theory |
1962 |
Notices Amer. Math. Soc. |
9 |
315 |
NULL |
published |
Levy, A.,
|
Axioms of multiple choice |
1962 |
Fund. Math. |
50 |
475-483. |
NULL |
published |
Lauchli, H.,
|
Auswahlaxiom in der Algebra |
1962 |
Comment. Math. Helv. |
37 |
1-18. |
NULL |
published |
Ward, L.E.J.,
|
A weak Tychonoff theorem and the axiom of choice |
1962 |
Proc. Amer. Math. Soc. |
13 |
757-758. |
NULL |
published |
Cohen, P. J.,
|
The independence of the continuum hypothesis I |
1963 |
Proc. Nat. Acad. Sci. U.S.A. |
50 |
1143-1148 |
Both volume I and volume II are Cohen [1963] in the book |
published |
Kenyon, H.,
|
Problem 5077 |
1963 |
Amer. Math. Monthly |
70 |
216 |
NULL |
published |
Feferman, S.,
Levy, A.,
|
Independence results in set theory by Cohen's method II |
1963 |
Notices Amer. Math. Soc. |
10 |
593 |
NULL |
published |
Lauchli, H.,
|
The independence of the ordering principle from a restricted axiom of choice |
1964 |
Fund. Math. |
54 |
31-43. |
NULL |
published |
Levy, A.,
|
The interdependence of certain consequences of the axiom of choice |
1964 |
Fund. Math. |
54 |
137-157. |
NULL |
published |
Monro, G.P.,
|
On the axiom of determinateness |
1964 |
Fund. Math. |
53 |
205-224. |
NULL |
published |
Cohen, P. J.,
|
The independence of the continuum hypothesis II |
1964 |
Proc. Nat. Acad. Sci. U.S.A. |
51 |
105-110 |
The independence of the continuum hypothesis I & II are both Cohen [1963] in the book |
published |
Foster, B. L.,
|
Short proof of a theorem of Rado on graphs |
1964 |
Proc. Amer. Math. Soc. |
15 |
865-866 |
|
published |
Baker, I. N.,
|
Solution to problem 5077 |
1964 |
Amer. Math. Monthly |
71 |
219-220. |
NULL |
published |
Hales, A. W.,
|
On the non-existence of free complete Boolean algebras |
1964 |
Fund. Math. |
54 |
45-66. |
NULL |
published |
Bleicher, M.,
|
Some theorems on vector spaces and the axiom of choice |
1964 |
Fund. Math. |
54 |
95-107. |
NULL |
published |
Mycielski, J.,
|
Two remarks on Tychonoff's product theorem |
1964 |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
8 |
439-441. |
NULL |
published |
Halpern, J.D.,
Levy, A.,
|
The ordering theorem does not imply the axiom of choice |
1964 |
Notices Amer. Math. Soc. |
11 |
56 |
NULL |
published |
Felscher, W.,
|
Bemerkungen zu einem Lemma von E. Engeler und A. Robinson |
1964 |
Z. Math. Logik Grundlagen Math. |
10 |
15-16 |
|
published |
Knight, C. J.,
|
Boxtopologies |
1964 |
Quart. J. Math. Oxford Ser. |
15 |
41-54. |
NULL |
published |
Halpern, J.D.,
|
The independence of the axiom of choice from the Boolean prime ideal theorem |
1964 |
Fund. Math. |
55 |
57-66. |
NULL |
published |
Keisler, H.J.,
Tarski, A.,
|
From accessible to inaccessible cardinals |
1964 |
Fund. Math. |
53 |
225-308. |
NULL |
published |
Feferman, S.,
|
Independence of the axiom of choice from the axiom of dependent choices |
1964 |
J. Symbolic Logic |
29 |
226 |
NULL |
published |
Bleicher, M.,
|
Multiple choice axioms and the axiom of choice for finite sets |
1965 |
Fund. Math. |
57 |
247-252. |
NULL |
published |
Monteiro, A.,
|
G'en'eralization d'un th'eor`eme de R. Sikorski sur les alg`ebres de Boole |
1965 |
Bull. Sci. Math. |
89 |
65-74. |
NULL |
published |
Feferman, S.,
|
Applications of forcing and generic sets |
1965 |
Fund. Math. |
56 |
325-345. |
NULL |
published |
Tarski, A.,
|
On the existence of large sets of Dedekind cardinals |
1965 |
Notices Amer. Math. Soc. |
12 |
719 |
NULL |
published |
Kerkhoff, W.,
|
Eine Konstruktion absolut freier Algebren |
1965 |
Math. Ann. |
158 |
109-112. |
NULL |
published |
Solovay, R.M.,
|
The measure problem |
1965 |
Notices Amer. Math. Soc. |
12 |
217 |
NULL |
published |
Ellentuck, E.M.,
|
The universal properties of Dedekind finite cardinals |
1965 |
Ann. Math. Ser. 2 |
82 |
225-248. |
NULL |
published |
Jensen, R.B.,
|
Independence of the axiom of dependent choices from the countable axiom of choice |
1966 |
J. Symbolic Logic |
31 |
294 |
NULL |
published |
Halpern, J.D.,
|
Bases for vector spaces and the axiom of choice |
1966 |
Proc. Amer. Math. Soc. |
17 |
670-673 |
|
published |
Halpern, J.D.,
Lauchli, H.,
|
A partition theorem |
1966 |
Trans. Amer. Math. Soc. |
124 |
360-367. |
NULL |
published |
Jech, T.,
|
On cardinals and their successors |
1966a |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
14 |
533-537. |
NULL |
published |
Jech, T.,
Sochor, A.,
|
Applications of the $Theta $-model |
1966a |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
14 |
351-355. |
NULL |
published |
Jech, T.,
Sochor, A.,
|
On $Theta $-model of the set theory |
1966b |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
14 |
297-303. |
NULL |
published |
Jech, T.,
|
Interdependence of weakened forms of the axiom of choice |
1966b |
Comment. Math. Univ. Carolinae |
7 |
359-371. |
NULL |
published |
Jech, T.,
|
On the ordering of cardinalities |
1966c |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
14 |
293-296. |
NULL |
published |
Jensen, R.B.,
|
Consistency results for $ZF$ |
1967 |
Notices Amer. Math. Soc. |
14 |
137 |
NULL |
published |
Wolk, E.S.,
|
"On the theorems of Tychonoff, Alexander and Rado" |
1967 |
Proc. Amer. Math. Soc. |
18 |
113-115. |
NULL |
published |
Vopenka, P.,
|
General Theory of $Delta$-Models |
1967 |
Comment. Math. Univ. Carolinae |
8 |
145-170 |
NULL |
published |
Derrick, J.,
Drake, F.,
|
A model of Z-F set theory with $aleph(2^omega)= aleph_omega$ |
1967b |
J. Symbolic Logic |
32 |
559 |
NULL |
published |
Schnare, P. S.,
|
The maximal \(T_0\) (respectively \(T_1\)) lemma is equivalent to the axiom of choice |
1968 |
Amer. Math. Monthly |
65 |
761 |
NULL |
published |
Abian, A.,
|
A fixed point theorem |
1968 |
Nieuw Arch Wisk. |
16 |
184-185 |
|
published |
Mathias, A.R.D.,
|
On a generalization of Ramsey's theorem |
1968 |
University of Cambridge |
|
|
Bonn. |
thesis |
Gauntt, R.J.,
|
Some restricted versions of the axiom of choice |
1968 |
Notices Amer. Math. Soc. |
15 |
351 |
|
published |
Comfort, W. W.,
|
"A theorem of Stone-v Cech type, and a theorem of Tychonoff type, without the axiom of choice, and their real compact analogues" |
1968 |
Fund. Math. |
63 |
97-110. |
NULL |
published |
Pincus, D.,
|
Comparison of independence results in Mostowski's system (G) and $ZF$ set theory |
1968 |
Notices Amer. Math. Soc. |
15 |
234 |
NULL |
published |
Jech, T.,
|
\(\omega _{1}\) can be measurable |
1968a |
Israel J. Math. |
6 |
363-367. |
NULL |
published |
Makowski, A.,
Wi'sniewski, K.,
|
Generalization of Abian’s fixed point theorem |
1969 |
Comment. Math. Ann. Soc. Math. Polon. S'er. 1 |
13 |
63-65 |
|
published |
Plotkin, J. M.,
|
Generic embeddings |
1969 |
J. Symbolic Logic |
34 |
388-394. |
NULL |
published |
Morris, D.B.,
|
Choice and cofinal well-ordered subsets |
1969 |
Notices Amer. Math. Soc. |
16 |
1088 |
NULL |
published |
Parovicenko, I.I.,
|
Topological equivalents of the Tichonov theorem |
1969 |
Dokl. Akad. Nauk SSSR |
184 |
33-34. |
NULL |
published |
Alas, O. T.,
|
The axiom of choice and two particular forms of Tychonoff theorem |
1969 |
Portugal. Math. |
28 |
75-76. |
NULL |
published |
Pincus, D.,
|
Harvard University |
1969 |
Harvard University |
|
|
Doctoral Dissertation |
thesis |
Sacks, G. E.,
|
Measure theoretic uniformity in recursion theory and axiomatic set theory |
1969 |
Trans. Amer. Math. Soc. |
142 |
381-420 |
NULL |
published |
Kerkhoff, W.,
|
Uber verallgemeinerte Peano-Algebren |
1969 |
Math. Ann. |
179 |
251-256. |
NULL |
published |
Felgner, U.,
|
Die Existenz wohlgenordneter konfinaler Teilmengen in Ketten und das Aus-wahl-axiom |
1969 |
Math. Z. |
111 |
221-232. |
NULL |
published |
Weglorz, B.,
|
A model of set theory $Cal S$ over a given Boolean algebra |
1969 |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
17 |
201-202. |
NULL |
published |
Kleinberg, E.M.,
|
The independence of Ramsey's theorem |
1969 |
J. Symbolic Logic |
34 |
205-206. |
NULL |
published |
Zuckerman, M.M.,
|
On choosing subsets of $n$-element sets |
1969a |
Fund. Math. |
64 |
163-179. |
NULL |
published |
Zuckerman, M.M.,
|
A unifying condition for implications among the axioms of choice for finite sets |
1969b |
Pacific J. Math. |
28 |
233-242. |
NULL |
published |
Morris, D.B.,
|
A model of ZF which cannot be extended to a model of ZFC without adding ordinals |
1970 |
Notices Amer. Math. Soc. |
17 |
577 |
NULL |
published |
B'en'ejam, J. P.,
|
Un remarque sur des th'eor`emes de Rado et Fra\i ss'e |
1970 |
C. R. Acad. Sci. Paris S'er. A-B |
270 |
A1656-A1658. |
NULL |
published |
Solovay, R.M.,
|
A model of set theory in which every set of reals is Lebesgue measurable |
1970 |
Ann. Math. Ser. 2 |
92 |
1-56 |
|
published |
Halpern, J.D.,
Howard, P.,
|
Cardinals \(m\) such that \(2m = m\) |
1970 |
Proc. Amer. Math. Soc. |
26 |
487-490. |
NULL |
published |
Luxemburg, W.A.J.,
|
Two applications of the method of construction by ultrapowers to analysis |
1970 |
Proc. Symp. Pure. Math. |
18 (part 1) |
83-134 |
|
published |
Ellentuck, E.M.,
|
Extension methods in cardinal arithmetic |
1970 |
Trans. Amer. Math. Soc. |
149 |
307-325. |
NULL |
published |
Gauntt, R.J.,
|
Axiom of choice for finite sets - a solution of a problem of Mostowski |
1970 |
Notices Amer. Math. Soc. |
17 |
454 |
NULL |
published |
Keisler, H.J.,
|
Logic with the quantifier ``there exist uncountably many'' |
1970 |
Ann. Math. Logic |
1 |
1-93. |
NULL |
published |
Easton, W. B.,
|
Powers of regular cardinals |
1970 |
Ann. Math. Logic |
1 |
139-178. |
NULL |
published |
Conway, J. H.,
|
Effective Implications between the finite choice axioms |
1971 |
Lecture Notes in Mathematics |
337 |
439-458 |
|
published |
Cohen, P. J.,
|
Automorphisms of set theory |
1971 |
Proc. Symp. Pure. Math. |
25 |
325-330 |
Automorphisms of set theory, Tarski Symposium; Berkeley; L. Henkin,
J. Addison, C.C. Chang, W. Craig, D.S. Scott, and R. Vaught ed, Proceedings
of Symposia in Pure Mathematics 25, AMS, 1974, 325-330. |
published |
Solovay, R.M.,
Tennenbaum, S.,
|
Iterated Cohen extensions and Souslin's problem |
1971 |
Ann. Math. Ser. 2 |
94 |
201-245. |
NULL |
published |
Lauchli, H.,
|
Coloring infinite graphs and the Boolean prime ideal theorem |
1971 |
Israel J. Math. |
9 |
422-429. |
NULL |
published |
Myhill, J. R.,
Scott, D.,
|
Ordinal definability |
1971 |
Proc. Symp. Pure. Math. |
13 |
271-278 |
A.M.S., Providence |
published |
Pincus, D.,
|
Support structures for the axiom of choice |
1971 |
J. Symbolic Logic |
36 |
28-38. |
NULL |
published |
Zuckerman, M.M.,
|
Choices from finite sets and choices of finite subsets |
1971 |
Proc. Amer. Math. Soc. |
27 |
133-138. |
NULL |
published |
Bell, J.L.,
Jellett, F.,
|
On the relationship between the Boolean prime ideal theorem and two principles in functional analysis |
1971 |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
19 |
191-194. |
NULL |
published |
Felgner, U.,
|
Uber das Ordnungstheorem |
1971b |
Z. Math. Logik Grundlagen Math. |
17 |
257-272. |
NULL |
published |
Felgner, U.,
|
Comparison of the axioms of local and universal choice |
1971c |
Fund. Math. |
81 |
43-62. |
NULL |
published |
Monro, G.P.,
|
Models of \(ZF\) with the same sets of ordinals |
1972 |
Notices Amer. Math. Soc. |
19 |
534 |
NULL |
published |
Makowski, A.,
Wi'sniewski, K.,
|
On the axiom of choice for families of finite sets |
1972 |
Fund. Math. |
73 |
187-192 |
NULL |
published |
Armbrust, M.,
|
An algebraic equivalent of the multiple choice axiom |
1972 |
Fund. Math. |
74 |
145-146. |
NULL |
published |
Wi'sniewski, K.,
|
On the axiom of choice for families of finite sets |
1972 |
Fund. Math. |
73 |
187-192. |
NULL |
published |
Chandler, R. E.,
|
An alternative construction of $eta x$ and $mu x$ |
1972 |
Proc. Amer. Math. Soc. |
32 |
315-318. |
NULL |
published |
Bell, J.L.,
Fremlin, D.H.,
|
The maximal ideal theorem for lattices of sets |
1972 |
Bull. London Math. Soc. |
4 |
1-2. |
NULL |
published |
Hickman, J.L.,
|
On a cardinal equation in set theory |
1972 |
Bull. Amer. Math. Soc. |
6 |
447-457. |
NULL |
published |
Halpern, J.D.,
|
On a question of Tarski and a maximal theorem of Kurepa |
1972 |
Pacific J. Math. |
41 |
111-121. |
NULL |
published |
Pincus, D.,
|
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods |
1972a |
J. Symbolic Logic |
37 |
721-743. |
NULL |
published |
Bacsich, P. D.,
|
Extension of Boolean homomorphisms with bounding semi-morph-isms |
1972a |
J. Reine Angew. Math. |
253 |
24-27. |
NULL |
published |
Bacsich, P. D.,
|
Effective equivalents of the Rasiowa-Sikorski lemma |
1972b |
J. London Math. Soc. Ser. 2. |
4 |
513-518 |
|
published |
Pincus, D.,
|
Independence of the prime ideal theorem from the Hahn Banach theorem |
1972b |
Bull. Amer. Math. Soc. |
78 |
766-770. |
NULL |
published |
Pincus, D.,
|
The strength of the Hahn-Banach theorem |
1972c |
Lecture Notes in Mathematics |
369 |
203-248 |
|
published |
Welsh, P. J.,
|
On the number of overlapping subsets of a set |
1973 |
Notre Dame J. Formal Logic |
14 |
269-270. |
NULL |
published |
Fleischer, I.,
|
Das Zornsche Lemma fur Klassen |
1973 |
Z. Math. Logik Grundlagen Math. |
19 |
205-206. |
NULL |
published |
Cowen, R.H.,
|
Some combinatorial theorems equivalent to the prime ideal theorem |
1973 |
Proc. Amer. Math. Soc. |
41 |
268-273. |
NULL |
published |
Abian, A.,
|
Rado's theorem and solvability of systems of equations |
1973 |
Notre Dame J. Formal Logic |
14 |
145-150. |
NULL |
published |
Ellentuck, E.M.,
|
The structure of Dedekind cardinals |
1973 |
Trans. Amer. Math. Soc. |
180 |
109-125. |
NULL |
published |
Felgner, U.,
Jech, T.,
|
Variants of the axiom of choice in set theory with atoms |
1973 |
Fund. Math. |
79 |
79-85. |
NULL |
published |
Howard, P.,
|
Limitations on the Fraenkel-Mostowski method of independence proofs |
1973 |
J. Symbolic Logic |
38 |
416-422. |
NULL |
published |
Kleinberg, E.M.,
Seiferas, J.I.,
|
Infinite exponent partition relations and well-ordered choice |
1973 |
J. Symbolic Logic |
38 |
299-308. |
NULL |
published |
Truss, J. K.,
|
Convex sets of cardinals |
1973 |
Proc. London Math. Soc. Ser. 3. |
27 |
577-599 |
NULL |
published |
Howard, P.,
Rubin, H.,
Rubin, J.,
|
The relationship between two weak forms of the axiom of choice |
1973 |
Fund. Math. |
80 |
75-79. |
NULL |
published |
Dawson, J. W.,
|
Ordinal definability in the rank hierarchy |
1973 |
Ann. Math. Logic |
6 |
1-39. |
NULL |
published |
Wright, J.D.M.,
|
All operators on a Hilbert space are bounded |
1973 |
Bull. Amer. Math. Soc. |
79 |
1247-1250. |
NULL |
published |
Wi'sniewski, K.,
|
On functions without fixed points |
1973 |
Comment. Math. Prace Mat. |
17 |
227-228. |
NULL |
published |
Monro, G.P.,
|
Decomposable cardinals |
1973a |
Fund. Math. |
80 |
101-104. |
NULL |
published |
Truss, J. K.,
|
Finite axioms of choice |
1973a |
Ann. Math. Logic |
6 |
147-176. |
NULL |
published |
Truss, J. K.,
|
On certain arbitrarily long sequences of cardinals |
1973b |
Z. Math. Logik Grundlagen Math. |
19 |
209-210. |
NULL |
published |
Monro, G.P.,
|
Models of ZF with the same sets of sets of ordinals |
1973b |
Fund. Math. |
80 |
105-110. |
NULL |
published |
Truss, J. K.,
|
On successors in cardinal arithmetic |
1973c |
Fund. Math. |
78 |
7-21. |
NULL |
published |
Monro, G.P.,
|
Small sets with large power sets |
1973c |
Bull. Amer. Math. Soc. |
8 |
413-421. |
NULL |
published |
Truss, J. K.,
|
The well-ordered and well-orderable subsets of a set |
1973d |
Z. Math. Logik Grundlagen Math. |
19 |
211-214. |
NULL |
published |
Truss, J. K.,
|
Convex sets of cardinals |
1973e |
Proc. London Math. Soc. Ser. 3. |
27 |
577-599 |
|
published |
Ellentuck, E.M.,
|
A model of arithmetic |
1974 |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
22 |
353-355. |
NULL |
published |
Lampe, W. A.,
|
Subalgebra lattices of unary algebras and an axiom of choice |
1974 |
Colloq. Math. |
30 |
41-55. |
NULL |
published |
Kruse, A. H.,
|
Some results on partitions and Cartesian products in the absence of the axiom of choice |
1974 |
Z. Math. Logik Grundlagen Math. |
20 |
149-172. |
NULL |
published |
Flannagan, T. B.,
|
Axioms of choice |
1974 |
Lecture Notes in Mathematics |
499 |
190-247 |
|
published |
Baldwin, J.T.,
Blass, A.,
|
An axiomatic approach to rank in model theory |
1974 |
Ann. Math. Logic |
7 |
295-324. |
NULL |
published |
Felgner, U.,
|
Abzählbarkeit und Wohlordenbarkeit |
1974 |
Comment. Math. Helv. |
49 |
114-124. |
NULL |
published |
Rubin, A.,
Rubin, J.,
|
The cardinality of the set of Dedekind finite cardinals in Fraenkel-Mostowski models |
1974 |
Z. Math. Logik Grundlagen Math. |
20 |
517-528. |
NULL |
published |
Hodges, W.,
|
Six impossible rings |
1974 |
J. Algebra |
31 |
218-244. |
NULL |
published |
Pogorzelski, W.A.,
Prucnal, T.,
|
Equivalence of the structural completeness theorem for propositional calculus and the Boolean representation theorem |
1974 |
Rep. Math. Logic |
3 |
37-40. |
NULL |
published |
Monro, G.P.,
|
The cardinal equation $2m = m$ |
1974 |
Colloq. Math. |
29 |
1-5. |
NULL |
published |
Gardiner, G.,
|
The equivalence of the Boolean prime ideal theorem and a theorem of functional analysis |
1974 |
Fund. Math. |
84 |
81-86. |
NULL |
published |
Halpern, J.D.,
Howard, P.,
|
Cardinal addition and the axiom of choice |
1974 |
Bull. Amer. Math. Soc. |
80 |
584-586. |
NULL |
published |
Diel, J.H.,
|
Two definitions of finiteness |
1974 |
Notices Amer. Math. Soc. |
21 |
554-555 |
|
published |
Truss, J. K.,
|
Classes of Dedekind finite cardinals |
1974a |
Fund. Math. |
84 |
187-208. |
NULL |
published |
Pincus, D.,
|
Cardinal representatives |
1974a |
Israel J. Math. |
18 |
321-344. |
NULL |
published |
Pincus, D.,
|
On the independence of the Kinna Wagner principle |
1974b |
Z. Math. Logik Grundlagen Math. |
20 |
503-516. |
NULL |
published |
Truss, J. K.,
|
Models of set theory containing many perfect sets |
1974b |
Ann. Math. Logic |
7 |
197-219. |
NULL |
published |
van Benthem, J. F. A. K.,
|
A set theoretical equivalent for the prime ideal theorem for Boolean algebras |
1975 |
Fund. Math. |
89 |
151-153. |
NULL |
published |
Blass, A.,
|
A forcing proof of the Kechris-Moschovakis constructibility theorem |
1975 |
Proc. Amer. Math. Soc. |
47 |
195-197. |
NULL |
published |
Stavi, J.,
|
A model of ZF with an infinite free complete Boolean algebra |
1975 |
Israel J. Math. |
20 |
149-164. |
NULL |
published |
Howard, P.,
|
L os theorem and the Boolean prime ideal theorem imply the axiom of choice |
1975 |
Proc. Amer. Math. Soc. |
49 |
426-428. |
NULL |
published |
Sageev, G.,
|
An independence result concerning the axiom of choice |
1975 |
Ann. Math. Logic |
8 |
1-184. |
NULL |
published |
Felgner, U.,
|
On \(\aleph_0\)-categorical extra-special \(p\)-groups |
1975 |
Logique et Analyse |
71-71 |
407-428. |
NULL |
published |
Gross, W. F.,
|
Models with Dimension |
1975 |
Monash University |
|
|
thesis |
thesis |
Monro, G.P.,
|
Independence results concerning Dedekind finite sets |
1975 |
J. Austral. Math. Soc. Ser. A. |
19 |
35-46 |
NULL |
published |
Ash, C. J.,
|
consequence of the axiom of choice |
1975 |
J. Austral. Math. Soc. Ser. A. |
19 |
306-308 |
NULL |
published |
Truss, J. K.,
|
Some cases of König's lemma |
1975 |
Lecture Notes in Mathematics |
537 |
273-384 |
|
published |
Halpern, J.D.,
|
Non-standard combinatorics |
1975 |
Proc. London Math. Soc. Ser. 3. |
30 |
40-54 |
NULL |
published |
David, R.,
|
Un r'esultat de consistence relative concernant l''enonc'e $V=WO^{delta}$ |
1975 |
C. R. Acad. Sci. Paris S'er. A-B |
280 |
A981-A983. |
NULL |
published |
Hickman, J.L.,
|
General well-ordered sets |
1975 |
J. Austral. Math. Soc. Ser. A. |
19 |
20-Jul |
NULL |
published |
Dawson, J. W.,
Howard, P.,
|
Factorials of infinite cardinals |
1976 |
Fund. Math. |
93 |
185-195. |
NULL |
published |
Halpern, J.D.,
Howard, P.,
|
The law of infinite cardinal addition is weaker than the axiom of choice |
1976 |
Trans. Amer. Math. Soc. |
220 |
195-204. |
NULL |
published |
Guzicki, W.,
|
On weaker forms of choice in second order arithmetic |
1976 |
Fund. Math. |
93 |
131-144. |
NULL |
published |
Litman, A.,
|
The monadic theory of \(\omega_1\) |
1976 |
Israel J. Math. |
23 |
251-266. |
NULL |
published |
Caristi, J.,
|
Fixed point theorems for mappings satisfying inwardness conditions |
1976 |
Trans. Amer. Math. Soc. |
215 |
241-251. |
NULL |
published |
Plotkin, J. M.,
|
\(ZF\) and Boolean Algebras |
1976 |
Israel J. Math. |
23 |
298-308. |
NULL |
published |
Pincus, D.,
|
Two model theoretic ideas in independence proofs |
1976 |
Fund. Math. |
92 |
113-130. |
NULL |
published |
Harper, J.,
Rubin, J.,
|
Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle, Part I and II |
1976 |
Notre Dame J. Formal Logic |
27 |
565-588 and Notre Dame J. Formal Logic { |
NULL |
published |
Prikry, K.,
|
Determinateness and partitions |
1976 |
Proc. Amer. Math. Soc. |
54 |
303-306 |
|
published |
Ellentuck, E.M.,
|
Combinatorial functions and indecomposable cardinals |
1976 |
Proc. Amer. Math. Soc. |
57 |
311-317. |
NULL |
published |
Rav, Y.,
|
The ultrafilter principle implies that the projective limit of compact Hausdorff spaces is nonempty |
1976 |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
24 |
559-562. |
NULL |
published |
Hickman, J.L.,
|
Groups in models of set theory that fail the axiom of choice |
1976 |
Bull. Amer. Math. Soc. |
14 |
199-232. |
NULL |
published |
Kasahara, S.,
|
Remarks on some fixed point theorems |
1976 |
Math. Sem. Notes Kobe Univ. |
4 |
43-50. |
NULL |
published |
Gross, W. F.,
|
Models with dimension |
1976 |
Bull. Amer. Math. Soc. |
14 |
153-154. |
NULL |
published |
Hickin, K. K.,
Plotkin, J. M.,
|
A patching lemma |
1976 |
Notre Dame J. Formal Logic |
17 |
158-160. |
NULL |
published |
Hodges, W.,
|
Läuchli's algebraic closure of \(\Bbb Q\) |
1976a |
Math. Proc. Cambridge Philos. Soc. |
79 |
289-297. |
NULL |
published |
Hodges, W.,
|
On the effectivity of some field constructions |
1976b |
J. London Math. Soc. |
32 |
133-162 |
NULL |
published |
Howard, P.,
Rubin, J.,
|
The axiom of choice and linearly ordered sets |
1977 |
Fund. Math. |
98 |
111-122. |
NULL |
published |
Kanamori, A.,
Magidor, M.,
|
The evolution of large cardinal axioms in set theory |
1977 |
Lecture Notes in Mathematics |
669 |
99-275 |
|
published |
Rav, Y.,
|
Variants of Rado's selection lemma and their applications |
1977 |
Math. Nachr. |
79 |
145-165. |
NULL |
published |
Lolli, G.,
|
On Ramsey's theorem and the axiom of choice |
1977 |
Notre Dame J. Formal Logic |
18 |
599-601. |
NULL |
published |
Figura, Adam,
|
Collapsing functions and dependent choices |
1977 |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
25 |
99-103. |
NULL |
published |
Blair, C.E.,
|
The Baire Category Theorem implies the principle of dependent choices |
1977 |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
25 |
933-934 |
NULL |
published |
Pincus, D.,
Solovay, R.M.,
|
Definability of measures and ultrafilters |
1977 |
J. Symbolic Logic |
42 |
179-190. |
NULL |
published |
Zarach, Andrej,
|
Extensions of ZF models to models with the scheme of choice |
1977 |
Fund. Math. |
96 |
87-89. |
NULL |
published |
Szczepaniak, Z.,
|
The consistency of the Theory \(ZF + L^{1} \neq HOD\) |
1977 |
Lecture Notes in Mathematics |
619 |
285-290 |
|
published |
Tsukada, N.,
|
Cardinals and the Boolean prime ideal theorem |
1977 |
Sci. Rep. Tokyo Kyoiku Daigaku Sect. A |
13 |
276-283 |
|
published |
Blass, A.,
|
Ramsey's theorem in the hierarchy of choice principles |
1977a |
J. Symbolic Logic |
42 |
387-390. |
NULL |
published |
Cowen, R.H.,
|
Binary consistent choice on triples |
1977a |
Notre Dame J. Formal Logic |
18 |
310-312. |
NULL |
published |
Hickman, J.L.,
|
Quasi-minimal posets and lattices |
1977a |
J. Reine Angew. Math. |
296 |
10-13. |
NULL |
published |
Mathias, A.R.D.,
|
Happy families |
1977a |
Ann. Math. Logic |
12 |
59-111. |
NULL |
published |
Pincus, D.,
|
Adding dependent choice |
1977a |
Ann. Math. Logic |
11 |
105-145. |
NULL |
published |
Cowen, R.H.,
|
Generalizing Konigs infinity lemma |
1977b |
Notre Dame J. Formal Logic |
|
{f 18 |
NULL |
published |
Hickman, J.L.,
|
A remark on elementary Abelian groups |
1977b |
Bull. Austral. Math. Soc. |
16 |
213-217. |
NULL |
published |
Blass, A.,
|
A model without ultrafilters |
1977b |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
25 |
329-331 |
NULL |
published |
Mathias, A.R.D.,
|
The real line and the universe |
1977b |
Studies in Logic and the Foundations of Math. |
87 |
531-546 |
|
published |
Davies, R. O.,
|
The plane is the union of three rectilinearly accessible sets |
1978 |
Real Anal. Exchange. |
4 |
97-101 |
|
published |
Bull, E. L.,
|
Successive large cardinals |
1978 |
Ann. Math. Logic |
15 |
161-191. |
NULL |
published |
Pincus, D.,
|
A note on the cardinal factorial |
1978 |
Fund. Math. |
98 |
21-24. |
NULL |
published |
Truss, J. K.,
|
The axiom of choice for linearly ordered families |
1978 |
Fund. Math. |
99 |
133-139. |
NULL |
published |
Solovay, R.M.,
Reinhardt, W.,
Kanamori, A.,
|
Strong axioms of infinity and elementary embeddings |
1978 |
Ann. Math. Logic |
13 |
73-116. |
NULL |
published |
Pelc, A.,
|
On some weak forms of the axiom of choice in set theory |
1978 |
Bull. Acad. Polon. Sci. S'er. Sci. Math. Astronom. Phys. |
26 |
585-589. |
NULL |
published |
Kanovei, V.G.,
|
The non-emptyness of classes in axiomatic set theory |
1978 |
Izv. Akad. Nauk SSSR Ser. Mat. |
42 |
550-579. (Translated in Math. USSR-Izv. {f 42 |
NULL |
published |
Schrijver, A.,
|
The dependence of some logical axioms on disjoint transversals and linked systems |
1978 |
Colloq. Math. |
39 |
191-199. |
NULL |
published |
Rubin, A.,
|
Independence of the axiom of choice from the greatest lower bound property of cardinals |
1978 |
Notices Amer. Math. Soc. |
25 |
A-14. |
NULL |
published |
Felgner, U.,
Flannagan, T. B.,
|
Well ordered subclasses of proper classes |
1978 |
Lecture Notes in Mathematics |
699 |
1-14 |
|
published |
Howard, P.,
Rubin, A.,
Rubin, J.,
|
Independence results for class forms of the axiom of choice |
1978 |
J. Symbolic Logic |
43 |
673-684. |
NULL |
published |
Hickman, J.L.,
|
Dedekind finite fields |
1978a |
Bull. Amer. Math. Soc. |
19 |
117-124. |
NULL |
published |
Hickman, J.L.,
|
The ideal of orderable subsets of a set |
1978b |
Notre Dame J. Formal Logic |
19 |
593-598. |
NULL |
published |
Lembcke, J.,
|
Two extension theorems effectively equivalent to the axiom of choice |
1979 |
Bull. London Math. Soc. |
11 |
285-288. |
NULL |
published |
Kharazishvili, A. B.,
|
The axiom of choice in the general theory of systems |
1979 |
Soobv sv c. Akak. Nauk. Gruzin SSR |
94 |
533-536 |
|
published |
Mathias, A.R.D.,
|
A survey of recent results in set theory |
1979 |
Period. Math. Hungar. |
10 |
109-175. |
NULL |
published |
Hodges, W.,
|
Krull implies Zorn |
1979 |
J. London Math. Soc. Ser. 2. |
19 |
285-287 |
|
published |
Stern, J.,
|
Suites transfinies d'ensemble boreliens |
1979 |
C. R. Acad. Sci. Paris S'er. A-B |
288 |
A527-A529. |
NULL |
published |
Blass, A.,
|
Injectivity, projectivity and the axiom of choice |
1979 |
Trans. Amer. Math. Soc. |
255 |
31-59. |
NULL |
published |
Hickman, J.L.,
|
A class of near-finite order types |
1979a |
Z. Math. Logik Grundlagen Math. |
25 |
79-92. |
NULL |
published |
Hickman, J.L.,
|
Boundedness properties of cardinals |
1979b |
Z. Math. Logik Grundlagen Math. |
25 |
485-486. |
NULL |
published |
Hickman, J.L.,
|
On a remark by Sageev |
1979c |
Z. Math. Logik Grundlagen Math. |
25 |
373-374. |
NULL |
published |
Gitik, M.,
|
All uncountable cardinals can be singular |
1980 |
Israel J. Math. |
35 |
61-88. |
NULL |
published |
Strauch, O.,
|
A theorem equivalent to the axiom of choice |
1980 |
Acta Fac. Rerum Natur. Univ. Comenian. Math. |
36 |
121-123. |
NULL |
published |
Freyd, P.,
|
The axiom of choice |
1980 |
J. Pure Appl. Algebra |
19 |
103-125. |
NULL |
published |
Abian, A.,
|
A fundamental fixed point theorem revisited |
1980 |
Bull. Greek Math. Soc. |
21 |
12 and 4-11. |
NULL |
published |
Fourman, M. P.,
|
Sheaf models for set theory |
1980 |
J. Pure Appl. Algebra |
19 |
91-101. |
NULL |
published |
Andreka, H.,
Nemeti, I.,
|
Does \(SP K \supseteq PS K\) imply the axiom of choice? |
1980 |
Comment. Math. Univ. Carolinae |
21 |
699-706. |
NULL |
published |
Hodges, W.,
|
Constructing pure injective hulls |
1980 |
J. Symbolic Logic |
45 |
544-548. |
NULL |
published |
Spector, M.,
|
A measurable cardinal with non-well founded ultra-power |
1980 |
J. Symbolic Logic |
45 |
623-628. |
NULL |
published |
David, R.,
|
A result of relative consistency about the predicate \(WO(\delta ,x)\) |
1980 |
J. Symbolic Logic |
45 |
483-492. |
NULL |
published |
Brunner, N.,
|
Beiträge zur modelltheoretischen Topologie |
1980 |
Anz. Österreich. Akad. Wiss. Math.-Nat. KL |
117 |
168-172 |
|
published |
Kaniewski, J.,
Rogers, C.A.,
|
Double uniformization |
1980 |
J. London Math. Soc. |
22 |
521-533. |
NULL |
published |
Hickman, J.L.,
|
Some observations concerning medial fields |
1980a |
Z. Math. Logik Grundlagen Math. |
26 |
471-475. |
NULL |
published |
Hickman, J.L.,
|
\(\Lambda\) - minimal lattices |
1980b |
Z. Math. Logik Grundlagen Math. |
26 |
181-191. |
NULL |
published |
Plotkin, J. M.,
|
ZF and locally finite groups |
1981 |
Z. Math. Logik Grundlagen Math. |
27 |
375-379. |
NULL |
published |
Zuckerman, M.M.,
|
Choosing \(l\) element subsets of \(n\)-element sets |
1981 |
Pacific J. Math. |
96 |
247-250. |
NULL |
published |
Sageev, G.,
|
A model of \(ZF\) + there exists an inaccessible, in which the Dedekind cardinals constitute a natural, non-standard model of arithmetic |
1981 |
Ann. Math. Logic |
21 |
221-281. |
NULL |
published |
Banaschewski, B.,
|
Coherent Frames |
1981 |
Lecture Notes in Mathematics |
871 |
1-11 |
|
published |
Blass, A.,
|
The model of set theory generated by countably many generic reals |
1981 |
J. Symbolic Logic |
46 |
732-752. |
NULL |
published |
Krom, M.,
|
Equivalents of a weak axiom of choice |
1981 |
Notre Dame J. Formal Logic |
22 |
283-285. |
NULL |
published |
Andreka, H.,
Nemeti, I.,
|
HSP $K$ is an equational class without the axiom of choice |
1981 |
Algebra Universalis |
13 |
164-166. |
NULL |
published |
Hoft, H.,
Howard, P.,
|
"Representing multi-algebras by algebras, the axiom of choice and the axiom of dependent choice" |
1981 |
Algebra Universalis |
13 |
69-77. |
NULL |
published |
Brunner, N.,
|
Boxproducte und Auswahlaxiom |
1981a |
Anz. Österreich. Akad. Wiss. Math.-Nat. KL |
118 |
167-169 |
|
published |
Hickman, J.L.,
|
Automorphisms of medial fields |
1982 |
Z. Math. Logik Grundlagen Math. |
28 |
263-267. |
NULL |
published |
Smith, P(erry),
|
Three propositions equivalent to the axiom of choice |
1982 |
Publ. Inst. Math. (Beograd) |
32 |
165-166 |
|
published |
Raisonnier, Jean,
|
Ensembles non mesurables et filtres rapides |
1982 |
C. R. Acad. Sci. Paris S'er. I |
294 |
285-287. |
NULL |
published |
von Rimscha, M.,
|
Transitivitätsbedingungen (Transitivity conditions), |
1982 |
Z. Math. Logik Grundlagen Math. |
28 |
67-74 |
|
published |
Jech, T.,
|
On hereditarily countable sets |
1982 |
J. Symbolic Logic |
47 |
43-47. |
NULL |
published |
Cowen, R.H.,
|
Partition principles for properties of finite character |
1982 |
Rep. Math. Logic |
14 |
23-28. |
NULL |
published |
Brunner, N.,
|
Dedekind-Endlichkeit und Wohlordenbarkeit |
1982a |
Monatsh. Math. |
94 |
9-31. |
NULL |
published |
Brunner, N.,
|
$sigma$-kompakte Raume |
1982b |
Manuscripta Math. |
38 |
375-379. |
NULL |
published |
Brunner, N.,
|
Sequential continuity |
1982c |
Kyungpook Math. J. |
22 |
233 pp. |
NULL |
published |
Brunner, N.,
|
Lindelöf Raume und Auswahlaxiom (English Summary) |
1982d |
Anz. Österreich. Akad. Wiss. Math.-Nat. KL |
119 |
161-165 |
|
published |
Lewis, A.A.,
|
"A note on the relationship between the theorems of Tychonoff, Alexander and Rado" |
1983 |
Bull. Malaysian Math. Soc. |
6 |
69-72. |
NULL |
published |
Cowen, R.H.,
|
Compactness via prime semilattices |
1983 |
Notre Dame J. Formal Logic |
24 |
199-204. |
NULL |
published |
Bell, J.L.,
|
On the strength of the Sikorski extension theorem for Boolean algebras |
1983 |
J. Symbolic Logic |
48 |
841-845. |
NULL |
published |
Monro, G.P.,
|
On generic extensions without the axiom of choice |
1983 |
J. Symbolic Logic |
48 |
39-52. |
NULL |
published |
Wolk, E.S.,
|
On the principle of dependent choice and some forms of Zorn's Lemma |
1983 |
Canad. Math. Bull. |
26 |
365-367. |
NULL |
published |
Haussler, A.,
|
Defining cardinal addition by \(le\)-formulas |
1983 |
Fund. Math. |
115 |
195-205 |
MR 85e03111, Zbl 517#03017 |
published |
Brunner, N.,
|
Geordnete Lauchli Kontinuen |
1983a |
Fund. Math. |
117 |
67-73. |
NULL |
published |
Blass, A.,
|
Words, free algebras and coequalizers |
1983b |
Fund. Math. |
117 |
117-160. |
NULL |
published |
Brunner, N.,
|
Sequential compactness and the axiom of choice |
1983b |
Notre Dame J. Formal Logic |
24 |
89-92 |
|
published |
Brunner, N.,
|
Kategoriesatze und multiples Auswahlaxiom |
1983c |
Z. Math. Logik Grundlagen Math. |
29 |
435-443. |
NULL |
published |
Brunner, N.,
|
The axiom of choice in topology |
1983d |
Notre Dame J. Formal Logic |
24 |
305-317. |
NULL |
published |
Shelah, S.,
|
Can you take Solovay's inaccessible away? |
1984 |
Israel J. Math. |
48 |
Jan-47 |
NULL |
published |
Johnstone, P.T.,
|
Almost maximal ideals |
1984 |
Fund. Math. |
123 |
197-209. |
NULL |
published |
Truss, J. K.,
|
Cancellation laws for surjective cardinals |
1984 |
Ann. Pure Appl. Logic |
27 |
165-207. |
NULL |
published |
Raisonnier, Jean,
|
A mathematical proof of S.~Shelah's theorem on the measure problem and related results |
1984 |
Israel J. Math. |
48 |
48-56. |
NULL |
published |
Howard, P.,
|
Binary consistent choice on pairs and a generalization of Konig's infinity lemma |
1984a |
Fund. Math. |
121 |
17-31. |
NULL |
published |
Brunner, N.,
|
Hilbertraume mit amorphen Basen (English summary) |
1984a |
Compositio Math. |
52 |
"381-387. MR 85i: 03113, ZBl 554#47001." |
NULL |
published |
Blass, A.,
|
Existence of a basis implies the axiom of choice |
1984a |
Contemporary Mathematics |
31 |
31-33 |
Providence
MR 86a:04001
ZB1 557#18001 |
published |
Howard, P.,
|
Rado's selection lemma does not imply the Boolean prime ideal theorem |
1984b |
Z. Math. Logik Grundlagen Math. |
30 |
129-132. |
NULL |
published |
Brunner, N.,
|
Amorphe Potenzen kompakter Raume |
1984b |
Arch. Math. Logik Grundlagenforschung |
24 |
"119-135. MR 86k:03043, ZBl 553#47001." |
NULL |
published |
Brunner, N.,
|
P-Raüme and Auswahlaxiom |
1984c |
Rend. Circ. Mat. Palermo. |
2 (33) |
34-36 |
NULL |
published |
Brunner, N.,
|
Positive functionals and the axiom of choice |
1984d |
Rend. Sem. Mat. Univ. Padova. |
72 |
12-Sep |
NULL |
published |
Brunner, N.,
|
Lattice points in metric spaces |
1984e |
Rep. Math. Logic |
18 |
45-46. ZBl 557#03031. |
NULL |
published |
Brunner, N.,
|
Realisierung und Auswahlaxiom |
1984f |
Arch. Math. (Brno) |
20 |
39-42 |
NULL |
published |
Banaschewski, B.,
Harting, R.,
|
Lattice aspects of radical ideals and choice principles |
1985 |
Proc. London Math. Soc. Ser. 3. |
50 |
385-404 |
NULL |
published |
Forti, M.,
Honsell, F.,
|
The consistency of the axiom of universality for the ordering of cardinals |
1985 |
J. Symbolic Logic |
50 |
502-509. |
NULL |
published |
Goldblatt, R.,
|
On the role of the Baire category theorem and dependent choice in the foundations of logic |
1985 |
J. Symbolic Logic |
50 |
412-422. |
NULL |
published |
Abian, A.,
|
A fixed point theorem equivalent to the axiom of choice |
1985 |
Arch. Math. Logik Grundlagenforschung |
25 |
173-174. |
NULL |
published |
Forti, M.,
Furio, H.,
|
A model where cardinal ordering is universal |
1985 |
Z. Math. Logik Grundlagen Math. |
31 |
533-536. |
NULL |
published |
Shelah, S.,
|
On measure and category |
1985 |
Israel J. Math. |
52 |
110-114. |
NULL |
published |
van Douwen, E.K.,
|
Horrors of topology without AC: A non-normal orderable space |
1985 |
Proc. Amer. Math. Soc. |
95 |
101-105. |
NULL |
published |
Stern, J.,
|
Generic extensions which do not add random reals |
1985 |
Lecture Notes in Mathematics |
1130 |
395-407 |
|
published |
Howard, P.,
|
Subgroups of a free group and the axiom of choice |
1985 |
J. Symbolic Logic |
50 |
458-467. |
NULL |
published |
Gitik, M.,
|
Regular cardinals in models of \(ZF\) |
1985 |
Trans. Amer. Math. Soc. |
290 |
41-68. |
NULL |
published |
Apter, A.W.,
|
An AD-like model |
1985a |
J. Symbolic Logic |
50 |
531-543. |
NULL |
published |
Brunner, N.,
|
Products of compact spaces in the least permutation model |
1985a |
Z. Math. Logik Grundlagen Math. |
31 |
441-448. |
NULL |
published |
Apter, A.W.,
|
Successors of singular cardinals and measurability |
1985b |
Advances in Math. |
55 |
228-241. |
NULL |
published |
Brunner, N.,
|
Spaces of urelements |
1985c |
Rend. Sem. Mat. Univ. Padova. |
74 |
13-Jul |
NULL |
published |
Brunner, N.,
Rubin, J.,
|
Permutation models and topological groups |
1986 |
Rend. Sem. Mat. Univ. Padova. |
76 |
149-161. |
NULL |
published |
Armbrust, M.,
|
An equivalence-theoretic equivalent of the axiom of choice |
1986 |
Z. Math. Logik Grundlagen Math. |
32 |
95 |
NULL |
published |
Brunner, N.,
|
Ultraproducts and the axiom of choice |
1986 |
Arch. Math. (Brno) |
22 |
175-180 |
|
published |
Blass, A.,
|
Prime ideals yield almost maximal ideals |
1986 |
Fund. Math. |
127 |
57-66. |
NULL |
published |
Krom, M.,
|
A linearly ordered topological space that is not normal |
1986 |
Notre Dame J. Formal Logic |
27 |
12-13 |
|
published |
Gratzer, G.,
|
Birkhoff's representation theorem is equivalent to the axiom of choice |
1986 |
Algebra Universalis |
23 |
58-60. |
NULL |
published |
Howard, P.,
|
The existence of level sets in a free group implies the axiom of choice |
1987 |
Z. Math. Logik Grundlagen Math. |
33 |
315-316. |
NULL |
published |
Yorke, M.,
Howard, P.,
|
Maximal p-subgroups and the axiom of choice |
1987 |
Notre Dame J. Formal Logic |
28 |
276-283 |
|
published |
Brunner, N.,
|
Topologische Maximalprinzipien |
1987a |
Z. Math. Logik Grundlagen Math. |
33 |
135-139. |
NULL |
published |
Brunner, N.,
|
Spaces of urelements. II |
1987b |
Rend. Sem. Mat. Univ. Padova. |
77 |
305-315 |
NULL |
published |
Rav, Y.,
|
Subdirect decomposition of rings and the axiom of choice |
1988 |
Arch. Math. (Basel) |
51 |
125-127 |
NULL |
published |
McCarten, S. D.,
|
Topological equivalents of the axiom of choice |
1988 |
Irish Math. Soc. Bull. |
21 |
45-48. |
NULL |
published |
Morillon, M.,
|
Topologie, Analyse Nonstandard et Axiome du Choix |
1988 |
Universit\'e Blaise-Pascal |
|
|
|
thesis |
Shannon, G.P.,
|
Equivalent versions of a weak form of the axiom of choice |
1988 |
Notre Dame J. Formal Logic |
29 |
569-573. |
NULL |
published |
Banaschewski, B.,
|
Compact regular frames and the Sikorski theorem |
1988 |
Kyungpook Math. J. |
28 |
1-14. |
NULL |
published |
Degen, J.W.,
|
There can be a permutation which is not the product of two reflections |
1988 |
Z. Math. Logik Grundlagen Math. |
34 |
65-66. |
NULL |
published |
Apter, A.W.,
|
On a problem inspired by determinancy |
1988 |
Israel J. Math. |
61 |
256-270. |
NULL |
published |
Taskovi'c, M.,
|
Characterizations of inductive posets with applications |
1988 |
Proc. Amer. Math. Soc. |
104 |
650-660 |
|
published |
Spiusiak, L.,
Vojtas, P.,
|
Dependencies between definitions of finiteness |
1988 |
Czechoslovak Math. J. |
38 |
389-397. |
NULL |
published |
Kim, S.M.,
|
The Baire Category Theorem implies the principle of dependent choices |
1988 |
Bol. Soc. Paran. Mat. (2) |
9 |
177-181 |
NULL |
published |
Bell, J.L.,
|
Some propositions equivalent to the Sikorski extension theorem for Boolean algebras |
1988 |
Fund. Math. |
130 |
51-55. |
NULL |
published |
Manka, R(oman),
|
Some forms of the axiom of choice, |
1988a |
Jahrbuch der Kurt-Godel-Gesellschaft |
|
24-34 |
|
published |
Manka, R(oman),
|
Turinici's fixed point theorem and the axiom of choice |
1988b |
Rep. Math. Logic |
12 |
15-19 |
|
published |
Brunner, N.,
|
Set mappings on Dedekind sets |
1989 |
Notre Dame J. Formal Logic |
30 |
268-270. |
NULL |
published |
Ciesielski, K.,
Guzicki, W.,
|
Generic families and models of set theory with the axiom of choice |
1989 |
Proc. Amer. Math. Soc. |
106 |
199-206. |
NULL |
published |
Diener, Karl-Heinz,
|
Two new algebraic equivalents to the axiom of choice |
1989 |
Algebra Universalis |
26 |
189-195. |
NULL |
published |
Paseka, J.,
|
The Tychonoff product theorem for finite spaces and the Boolean ultra-filter theorem are equivalent |
1989 |
J. Univ. Kuwait Sci. |
16 |
223-227. |
NULL |
published |
Rav, Y.,
|
Lattice theoretical equivalencies of the ultrafilter principle |
1989 |
Z. Math. Logik Grundlagen Math. |
35 |
131-136. |
NULL |
published |
Howard, P.,
Yorke, M.,
|
Definitions of finite |
1989 |
Fund. Math. |
133 |
169-177. |
NULL |
published |
Banaschewski, B.,
|
On proving the Tychonoff product theorem |
1990 |
Kyungpook Math. J. |
30 |
65-73. |
NULL |
published |
Cowen, R.H.,
|
Two hypergraph theorems equivalent to BPI |
1990 |
Notre Dame J. Formal Logic |
31 |
232-240. |
NULL |
published |
Shannon, G.P.,
|
Provable forms of Martin's axiom |
1990 |
Notre Dame J. Formal Logic |
31 |
382-388. |
NULL |
published |
Banaschewski, B.,
Moore, G.H.,
|
The dual Cantor-Bernstein theorem and the partition principle |
1990 |
Notre Dame J. Formal Logic |
31 |
375-381. |
NULL |
published |
Apter, A.W.,
|
Successors of singular cardinals and measurability revisited |
1990 |
J. Symbolic Logic |
55 |
492-501. |
NULL |
published |
Brunner, N.,
|
"The Fraenkel-Mostowski method, revisited" |
1990 |
Notre Dame J. Formal Logic |
31 |
64-75. |
NULL |
published |
Howard, P.,
|
Definitions of compact |
1990 |
J. Symbolic Logic |
55 |
645-655. |
NULL |
published |
Haddad, L.,
Morillon, M.,
|
L'axiome de normalit'e pour les espaces totalement ordonn'es |
1990 |
J. Symbolic Logic |
55 |
277-283. |
NULL |
published |
Foreman, M.,
Wehrung, F.,
|
The Hahn-Banach theorem implies the existence of a non-Lebesgue measurable set |
1991 |
Fund. Math. |
138 |
13-19. |
NULL |
published |
Pawlikowski, J.,
|
The Hahn-Banach theorem implies the Banach-Tarski paradox |
1991 |
Fund. Math. |
138 |
21-22 |
|
published |
Kanovei, V.G.,
|
Cardinality of the set of Vitali equivalence classes |
1991 |
Mat. Zametki |
49 |
63-68. (Translated in Math. Notes {f 49 |
NULL |
published |
Spector, M.,
|
Extended ultrapowers and the Vopv enka-Hrb'av cek theorem without choice |
1991 |
J. Symbolic Logic |
56 |
592-607. |
NULL |
published |
Kolany, A.,
Wojtylak, P.,
|
Restricted versions of the compactness theorem |
1991 |
Rep. Math. Logic |
25 |
91-103. |
NULL |
published |
Apter, A.W.,
Henle, J.M.,
|
Relative consistency results via strong compactness |
1991 |
Fund. Math. |
139 |
133-149. |
NULL |
published |
Galvin, F.,
Komj'ath, P.,
|
Graph colorings and the axiom of choice |
1991 |
Period. Math. Hungar. |
22 |
592-607. |
NULL |
published |
Morillon, M.,
|
Extreme choices on complete lexicographic orders |
1991a |
Z. Math. Logik Grundlagen Math. |
37 |
353-355. |
NULL |
published |
Brunner, N.,
Howard, P.,
|
Russell's alternative to the axiom of choice |
1992 |
Z. Math. Logik Grundlagen Math. |
38 |
529-534. |
NULL |
published |
Kolany, A.,
|
Equivalents of the compactness theorem for locally finite sets of sentences |
1992 |
Bull. Sec. Logic Polish Acad. Sci. |
21 |
12-18. |
NULL |
published |
Banaschewski, B.,
|
Algebraic closures without choice |
1992 |
Z. Math. Logik Grundlagen Math. |
38 |
383-385. |
NULL |
published |
Malitz, J.,
|
"The axiom of choice, the Lowenheim-Skolem theorem and Borel models" |
1992 |
Fund. Math. |
140 |
197 |
NULL |
published |
Howard, P.,
|
The axiom of choice for countable sets of countable sets does not imply the countable union theorem |
1992 |
Notre Dame J. Formal Logic |
13 |
236-243. |
NULL |
published |
Schechter, E.,
|
Two topological equivalents of the axiom of choice |
1992 |
Z. Math. Logik Grundlagen Math. |
38 |
555-557. |
NULL |
published |
Shannon, G.P.,
|
A note on some weak forms of the axiom of choice |
1992 |
Notre Dame J. Formal Logic |
33 |
144-147. |
NULL |
published |
Apter, A.W.,
|
On the class of measurable cardinals without the axiom of choice |
1992 |
Israel J. Math. |
79 |
367-379. |
NULL |
published |
Taskovi'c, M.,
|
"The axiom of choice, fixed point theorems and inductive ordered sets" |
1992a |
Proc. Amer. Math. Soc. |
116 |
897-904. |
NULL |
published |
Taskovi'c, M.,
|
New maximal principles |
1992b |
Math. Japon. |
37 |
549-554. |
NULL |
published |
Howard, P.,
|
Variations of Rado's lemma |
1993 |
Math. Logic Quart. |
39 |
353-356. |
NULL |
published |
Howard, P.,
Solski, J.,
|
The strength of the $Delta$-system lemma |
1993 |
Notre Dame J. Formal Logic |
34 |
100-106. |
NULL |
published |
Spiusiak, L.,
|
Dependencies between definitions of finiteness II |
1993 |
Czechoslovak Math. J. |
43 |
391-407. |
NULL |
published |
Diener, Karl-Heinz,
|
A remark on ascending chain conditions, the countable axiom of choice, and the principle of dependent choices |
1994 |
Math. Logic Quart. |
40 |
415-421. |
NULL |
published |
Hoft, H.,
Howard, P.,
|
Well ordered subsets of linearly ordered sets |
1994 |
Notre Dame J. Formal Logic |
35 |
413-425. |
NULL |
published |
Smullyan, Raymond M.,
|
Double superinduction and Zorn's lemma |
1994 |
Indiana University Logic Group |
preprint no. IULG94-29 |
1-9 |
|
preprint |
Howard, P.,
|
Unions of well-ordered sets |
1994 |
J. Austral. Math. Soc. Ser. A. |
56 |
117-124 |
|
published |
Higasikawa, M.,
|
Partition principles and infinite sums of cardinal numbers |
1995 |
Notre Dame J. Formal Logic |
36 |
425-434. |
NULL |
published |
Truss, J. K.,
|
The structure of amorphous sets |
1995 |
Ann. Pure Appl. Logic |
73 |
191-233. |
NULL |
published |
Gluschankof, D.,
|
On the relative strength of the representation theorem for $l$-groups |
1995 |
Algebra Universalis |
34 |
380-390. |
NULL |
published |
Good, C.,
Tree, I. J.,
|
Continuing horrors of topology without choice |
1995 |
Topology and its Applications. |
63 |
79-90 |
|
published |
Howard, P.,
Rubin, J.,
|
Elementary Abelian $p$-groups revisited |
1995a |
Bull. Amer. Math. Soc. |
52 |
373-376. |
NULL |
published |
Gonzalez, C.,
|
"Dense orderings, partitions, and weak forms of choice" |
1995a |
Fund. Math. |
147 |
11-25. |
NULL |
published |
Howard, P.,
Rubin, J.,
|
The axiom of choice for well ordered families and for families of well-orderable sets |
1995b |
J. Symbolic Logic |
60 |
1115-1117. |
NULL |
published |
Brunner, N.,
|
75 years of independence proofs by Fraenkel-Mostowski permutation models |
1996 |
Math. Japon. |
43 |
177-199. |
NULL |
published |
Howard, P.,
Rubin, J.,
|
The Boolean prime ideal theorem plus countable choice do not imply dependent choice |
1996 |
Math. Logic Quart. |
42 |
410-420. |
NULL |
published |
Cowen, R.H.,
Emerson, W.,
|
A compactness theorem for linear equations |
1996 |
Studia Logica |
57 |
355-357 |
|
published |
Keremedis, K.,
|
Bases for vector spaces over the two element field and the axiom of choice |
1996a |
Proc. Amer. Math. Soc. |
124 |
2527-2531. |
NULL |
published |
Herrlich, H.,
|
Compactness and the axiom of choice |
1996a |
Appl. Categ. Structures |
4 |
1-14. |
NULL |
published |
Keremedis, K.,
|
Some equivalents of \(AC\) in algebra |
1996b |
Algebra Universalis |
36 |
564-572. |
NULL |
published |
Keremedis, K.,
|
Continuous real valued functions in \(T_4\) spaces |
1997 |
Math. Japon. |
46 |
503-508. |
NULL |
published |
Herrlich, H.,
Strekcer, E.,
|
When is \(\Bbb N\) Lindelöf |
1997 |
Comment. Math. Univ. Carolinae |
38 |
553-556. |
NULL |
published |
Herrlich, H.,
Steprans, J.,
|
"Maximal filters, continuity and choice principles" |
1997 |
Quaestiones Math. |
20 |
697-705. |
NULL |
published |
Howard, P.,
Rubin, A.,
Rubin, J.,
|
Kinna-Wagner selection principles, axioms of choice, and multiple choice |
1997 |
Monatsh. Math. |
123 |
309-319 |
|
published |
Brunner, N.,
Howard, P.,
Rubin, J.,
|
Choice principles in Wc eglorz' models |
1997 |
Fund. Math. |
154 |
97-121. |
NULL |
published |
Pincus, D.,
|
The dense linear ordering principle |
1997 |
J. Symbolic Logic |
62 |
438-456. |
NULL |
published |
Herrlich, H.,
|
Choice principles in elementary topology and analysis |
1997a |
Comment. Math. Univ. Carolinae |
38 |
545-552. |
NULL |
published |
Herrlich, H.,
|
The Ascoli theorem is equivalent to the Boolean prime ideal theorem |
1997b |
Rostock. Math. Kolloq. |
51 |
137-140. |
NULL |
published |
Banaschewski, B.,
|
Choice principles and compactness conditions |
1998 |
Math. Logic Quart. |
44 |
427-430. |
NULL |
published |
Bentley, H. L.,
Herrlich, H.,
|
Countable choice and pseudometric spaces |
1998 |
Topology and its Applications. |
85 |
153-164 |
|
published |
Fossy, J.,
Morillon, M.,
|
The Baire category property and some notions of compactness |
1998 |
J. London Math. Soc. |
57 |
1-19. |
NULL |
published |
Good, C.,
Tree, I. J.,
Watson, W. S.,
|
On Stone's Theorem and the Axiom of Choice |
1998 |
Proc. Amer. Math. Soc. |
|
1211-1218 |
|
published |
Manka, R(oman),
|
Some forms of the axiom of choice |
1998a |
Jahrbuch der Kurt-Godel-Gesellschaft |
|
24-34 |
|
published |
Howard, P.,
Keremedis, K.,
Rubin, H.,
Rubin, J.,
|
Versions of normality and some weak forms of the axiom of choice |
1998a |
Math. Logic Quart. |
44 |
367-382. |
NULL |
published |
De la Cruz, O.,
Di Prisco, C. A.,
|
Weak choice principles |
1998a |
Proc. Amer. Math. Soc. |
126 |
867-876. |
NULL |
published |
Howard, P.,
Keremedis, K.,
Rubin, J.,
|
Disjoint unions of topological spaces and choice |
1998a |
Math. Logic Quart. |
44 |
493-508 |
|
published |
Keremedis, K.,
|
Filters, antichains and towers in topological spaces and the axiom of choice |
1998a |
Math. Logic Quart. |
44 |
359-366. |
NULL |
published |
Howard, P.,
Keremedis, K.,
Rubin, H.,
Rubin, J.,
|
Disjoint unions of topological spaces and choice |
1998b |
Math. Logic Quart. |
44 |
493-508. |
NULL |
published |
Keremedis, K.,
|
Extending independent sets to bases and the axiom of choice |
1998c |
Math. Logic Quart. |
48 |
92-98. |
NULL |
published |
Felgner, U.,
Truss, J. K.,
|
Independence of the Boolean prime ideal theorem from the order extension principle |
1999 |
Math. Logic Quart. |
64 |
199-215. |
NULL |
published |
Herrlich, H.,
Keremedis, K.,
|
Products, the Baire category theorem, and the axiom of dependent choice |
1999 |
Comment. Math. Univ. Carolinae |
40 |
171-175. |
NULL |
published |
Howard, P.,
Rubin, J.,
Stanley, A.,
|
Von Rimsha's transitivity conditions |
1999 |
Math. Logic Quart. |
|
Accepted August. |
NULL |
published |
Dodu, J.,
Morillon, M.,
|
The Hahn-Banach property and the axiom of choice |
1999 |
Math. Logic Quart. |
45 |
299-314. |
NULL |
published |
Herrlich, H.,
Keremedis, K.,
|
Products, the Baire category theorem, and the axiom of dependent choice |
1999a |
Topology and its Applications. |
108 |
157-167 |
|
published |
Herrlich, H.,
Keremedis, K.,
|
On countable products of finite Hausdorff spaces |
1999b |
Math. Logic Quart. |
|
accepted |
NULL |
published |
Keremedis, K.,
Tachtsis, E.,
|
On the extensibility of closed filters in \(T_1\) spaces and the existence of well orderable filter bases |
1999b |
Comment. Math. Univ. Carolinae |
40 |
1-11. |
NULL |
published |
Delhomme, C.,
Morillon, M.,
|
Dependent Choice and Weak Compactness |
2000 |
Notre Dame J. Formal Logic |
40 |
568-573 |
Published in 1999 |
published |
Keremedis, K.,
|
On Weierstrass compact pseudometric spaces and a weak form of the axiom of choice |
2000 |
Topology and its Applications. |
108 |
75-78 |
|
published |
Keremedis, K.,
Tachtsis, E.,
|
On Lindelöf metric spaces and weak forms of the axiom of choice |
2000a |
Math. Logic Quart. |
46 |
35-44. |
NULL |
published |
Howard, P.,
Keremedis, K.,
Rubin, J.,
Stanley, A.,
|
Paracompactness of metric spaces and the axiom of choice |
2000a |
Math. Logic Quart. |
46 |
219-232. |
NULL |
published |
Keremedis, K.,
|
Disasters in metric topology without choice |
2000a |
Comment. Math. Univ. Carolinae |
43 |
165-174. |
NULL |
published |
Degen, J.W.,
|
Pigeonhole and choice principles |
2000a |
Math. Logic Quart. |
46 |
313-334. |
NULL |
published |
Howard, P.,
Keremedis, K.,
Rubin, J.,
Stanley, A.,
|
Compactness in countable Tychonoff products and choice |
2000b |
Math. Logic Quart. |
46 |
3-16. |
NULL |
published |
Keremedis, K.,
|
On the compactness of \(2^{\Bbb R}\) and some weak forms of the axiom of choice |
2000c |
Math. Logic Quart. |
|
accepted |
NULL |
published |
Luxemburg, W.A.J.,
Vath, M.,
|
The existence of non-trivial bounded functionals implies the Hahn-Banach extension theorem |
2001 |
J. Anal. and its Applications. |
20 |
267-279 |
|
published |
Howard, P.,
Keremedis, K.,
Rubin, J.,
Stanley, A.,
Tachtsis, E.,
|
Non-constructive properties of the real numbers |
2001 |
Math. Logic Quart. |
47 |
423-431. |
NULL |
published |
De la Cruz, O.,
Hall, E.,
Howard, P.,
Keremedis, K.,
Rubin, J.,
|
Products of compact spaces and the axiom of choice |
2001 |
Math. Logic Quart. |
|
July. |
NULL |
accepted |
Keremedis, K.,
Tachtsis, E.,
|
On Loeb and weakly Loeb Hausdorff spaces |
2001 |
Math. Japon. |
53 |
247-251 |
NULL |
published |
Keremedis, K.,
Tachtsis, E.,
|
Compact metric spaces and weak forms of the axiom of choice |
2001 |
Math. Logic Quart. |
47 |
117-128. |
NULL |
published |
Ern'e, M.,
|
Constructive order theory |
2001 |
Math. Logic Quart. |
47 |
211-222 |
|
published |
Keremedis, K.,
|
The vector space Kinna-Wagner Principle is equivalent to the axiom of choice |
2001a |
Math. Logic Quart. |
47 |
205-210. |
NULL |
published |
De la Cruz, O.,
Hall, E.,
Howard, P.,
Rubin, J.,
Stanley, A.,
|
Definitions of compactness and the axiom of choice |
2002 |
J. Symbolic Logic |
67 |
143-161. |
NULL |
published |
De la Cruz, O.,
Hall, E.,
Howard, P.,
Keremedis, K.,
Rubin, J.,
|
Products of compact spaces and the axiom of choice II |
2002 |
Math. Logic Quart. |
|
March. |
NULL |
accepted |
De la Cruz, O.,
|
Finiteness and choice |
2002 |
Fund. Math. |
173 |
57-76. |
NULL |
published |
Keremedis, K.,
|
The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces |
2002 |
Math. Logic Quart. |
|
accepted |
NULL |
published |
Herrlich, H.,
Keremedis, K.,
Tachtsis, E.,
|
Striking Differences between ZF and ZF + Weak Choice in view of Metric Spaces |
2002 |
Quaestiones Math. |
|
accepted |
NULL |
published |
De la Cruz, O.,
Hall, E.,
Howard, P.,
Keremedis, K.,
Rubin, J.,
|
Metric spaces and the axiom of choice |
2002A |
Math. Logic Quart. |
49 |
455-466 |
published in 2003 |
published |
De la Cruz, O.,
Hall, E.,
Howard, P.,
Keremedis, K.,
Rubin, J.,
|
Unions and the axiom of choice |
2002B |
Math. Logic Quart. |
54 |
620-633 |
Published in 2008 |
published |
Gutierres, G,
|
On first and second countable spaces and the axiom of choice |
2004 |
Topology and its Applications. |
143 |
93-103 |
|
published |
Gutierres, G,
|
What is a first countable space |
2006 |
Topology and its Applications. |
Volume 153, issue 18 |
3420-3429 |
|
published |