Some applications of Henkin quantifiers
- 1 March 1976
- journal article
- Published by Springer Nature in Israel Journal of Mathematics
- Vol. 25 (1) , 47-63
- https://doi.org/10.1007/bf02756560
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Some Eastern Two Cardinal TheoremsPublished by Springer Nature ,1977
- An introduction to recursively saturated and resplendent modelsThe Journal of Symbolic Logic, 1976
- Admissible Sets and StructuresPublished by Springer Nature ,1975
- Automorphisms of set theoryPublished by American Mathematical Society (AMS) ,1974
- Finite Partially‐Ordered QuantifiersMathematical Logic Quarterly, 1970
- How not to Characterize the Multiplicative Groups of FieldsJournal of the London Mathematical Society, 1969
- A Set of Independent Axioms for a Field and a Condition for a Group to be the Multiplicative Group of a FieldProceedings of the London Mathematical Society, 1968
- First order properties of pairs of cardinalsBulletin of the American Mathematical Society, 1966
- Some applications of infinitely long formulasThe Journal of Symbolic Logic, 1965
- On axiomatizability within a systemThe Journal of Symbolic Logic, 1953