CORE
đșđŠÂ
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
21 research outputs found
On the Proof-Theoretic Foundations of Set Theory
Author
AA Fraenkel
Azriel LĂ©vy
+6Â more
D Prawitz
D Prawitz
D Prawitz
L HallnÀs
L HallnÀs
P Schroeder-Heister
Publication venue
'Springer Science and Business Media LLC'
Publication date
01/01/2015
Field of study
Get PDF
Crossref
Springer - Publisher Connector
Thoralf Skolem. Bemerkungen zum Komprehensionsaxiom. Zeitschrift fĂŒr mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 1â17. - C. C. Chang. The axiom of comprehension in infinite valued logic. Mathematica Scandinavica, vol. 13 (1963), pp. 9â30. - Jens Erik Fenstad. On the consistency of the axiom of comprehension in the Ćukasiewicz infinite valued logic. Mathematica Scandinavica, vol. 14 (1964), pp. 65â74. - C. C. Chang. Infinite valued logic as a basis for set theory. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 93â100.
Author
Azriel LĂ©vy
Publication venue
'JSTOR'
Publication date
Field of study
No full text
Crossref
A. H. Kruse. A method of modelling the formalism of set theory in axiomatic set theory. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 20â34.
Author
Azriel LĂ©vy
Publication venue
'JSTOR'
Publication date
Field of study
No full text
Crossref
John Myhill. Remark on a system of Bernays. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 75â76.
Author
Azriel LĂ©vy
Publication venue
'JSTOR'
Publication date
Field of study
No full text
Crossref
C. C. Chang. Maximal n-disjointed sets and the axiom of choice. Fundamenta mathematicae, vol. 49 (1960), pp. 11â14.
Author
Azriel LĂ©vy
Publication venue
'JSTOR'
Publication date
Field of study
No full text
Crossref
A generalization of Gödel's notion of constructibility
Author
Azriel LĂ©vy
Publication venue
'JSTOR'
Publication date
Field of study
No full text
Crossref
AndrĂĄs Hajnal and LĂĄszlĂł KalmĂĄr. An elementary combinatorial theorem with an application to axiomatic set theory. Publicationes mathematlcae (Debrecen), vol. 4 (1956), pp. 431â449. - E. Burger. Eine Bemerkung zur Bernays-Godel-Mengenlehre. Zeitschrift fĂŒr mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 178â179.
Author
Azriel LĂ©vy
Publication venue
'JSTOR'
Publication date
Field of study
No full text
Crossref
H. J. Keisler and A. Tarski. From accessible to inaccessible cardinals. Fundamenta mathematicae, vol. 53 (1964), pp. 225â308. (See corrections, ibid., vol. 57 (1965), p. 119.)
Author
Azriel LĂ©vy
Publication venue
'JSTOR'
Publication date
Field of study
No full text
Crossref
Gisbert Hasenjaeger. Zur Axiomatisierung der k-zahlig allgemeingĂŒltigen AusdrĂŒcke des StufenkalkĂŒls. Zeitschrift fĂŒr mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 175â177.
Author
Azriel LĂ©vy
Publication venue
'JSTOR'
Publication date
Field of study
No full text
Crossref
R. O. Gandy. On the axiom of extensionality. The journal of symbolic logic, vol. 21 (1956), pp. 36â48, and vol. 24 no. 4 (for 1959, pub. 1961), pp. 287â300. - Dana Scott. More on the axiom of extensionality. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 115â131.
Author
Azriel LĂ©vy
Publication venue
'JSTOR'
Publication date
Field of study
No full text
Crossref
1
2
3