Author(s): Andrzej Mostowski (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 93, Part B
Publisher: Elsevier Science
Year: 1979
Language: English
Pages: ii-iv, vii-viii, 1-
Content:
Advisory Editorial Board
Page ii
Edited by
Page iii
Copyright page
Page iv
Editorial Note
Pages vii-viii
Countable Boolean fields and their application to general metamathematics Original Research Article
Pages 1-17
Andrzej Mostowski
On the independence of definitions of finiteness in a system of logic Original Research Article
Pages 18-67
Andrzej Mostowski
On some universal relations Original Research Article
Pages 68-69
A. Mostowski
On the independence of the axiom of choice and some of its consequences Original Research Article
Pages 70-74
Adolf Lindenbaum, Andrzej Mostowski
Boolean rings with an ordered basis Original Research Article
Pages 75-91
Andrzej Mostowski, Alfred Tarski
Axiom of choice for finite sets. Original Research Article
Pages 92-123
Andrzej Mostowski
On Absolute Properties of Relations Original Research Article
Pages 124-133
Andrzej Mostowski
On the principle of dependent choices. Original Research Article
Pages 134-137
Andrzej Mostowski
Proofs of Non-Deducibility in Intuitionistic Functional Calculus Original Research Article
Pages 138-141
Andrzej Mostowski
On A Set of Integers not Definable by Means of One-Quantifier Predicates Original Research Article
Pages 142-148
Andrzej Mostowski
On the Rules of Proof in the Pure Functional Calculus of the First Order Original Research Article
Pages 149-153
Andrzej Mostowski
Andrzej Mostowski: A Classification of Logical Systems
Pages 154-191
On models of axiomatic systems Original Research Article
Pages 192-217
A. Mostowski
On Direct Products of Theories Original Research Article
Pages 218-248
Andrzej Mostowbki
On a System of Axioms Which Has no Recursively Enumerable Arithmetic Model Original Research Article
Pages 249-254
A. Mostowski
A Lemma Concerning Recursive Functions and Its Applications Original Research Article
Pages 255-258
A. Mostowski
A formula with no recursively enumerable model Original Research Article
Pages 259-274
A. Mostowski
Examples of sets definable by means of two and three quantifiers Original Research Article
Pages 275-286
A. Mostowski
Contributions to the theory of definable sets and functions Original Research Article
Pages 287-291
A. Mostowski
A proof of Herbrand's theorem Original Research Article
Pages 292-297
J. ToЕ›, A. Mostowski, H. Rasiowa
A generalization of a theorem of M. Deuring Original Research Article
Pages 298-305
Andrzej Mostowski
Concerning A Problem of H. Scholz Original Research Article
Pages 306-310
Andrzej Mostowski
On a generalization of quantifiers Original Research Article
Pages 311-335
A. Mostowski
On computable sequences Original Research Article
Pages 336-350
A. Mostowski
On Recursive Models of Formalised Arithmetic Original Research Article
Pages 351-356
A. Mostowski
On A Problem of W. Kinna and K. Wagner Original Research Article
Pages 357-358
A. Mostowski
On Various Degrees of Constructivism Original Research Article
Pages 359-375
Andrzej Mostowski
A generalization of the incompleteness theorem Original Research Article
Pages 376-403
A. Mostowski
An Example of A Non-Axiomatizable Many Valued Logic Original Research Article
Pages 404-408
Andrzej Mostowski
Concerning The Problem of Axiomatizability of the Field of Real Numbers in the Weak Second Order Logic Original Research Article
Pages 409-426
Andrzej Mostowski
Definability of Sets in Models of Axiomatic Theories Original Research Article
Pages 427-431
A. Grzegorczyk, A. Mostowski, C. Ryll-Nardzewski
A Compact Space of Models of First Order Theories Original Research Article
Pages 432-436
A. Ehrenfeucht, A. Mostowski
An addition to the paper “A proof of Herbrand's theorem” Original Research Article
Pages 437-441
J. ЕЃoЕ›, H. Rasiowa, A. Mostowski
Axiomatizability of some many valued predicate calculi Original Research Article
Pages 442-467
A. Mostowski
Representability of Sets in Formal Systems Original Research Article
Pages 468-487
Andrzej Mostowski
A Problem in the Theory of Models Original Research Article
Pages 488-493
A. Mostowski
The Hilbert Epsilon Function in Many-Valued Logics Original Research Article
Pages 494-513
Andrzej Mostowski
On Models of Zermelo—Fraenkel Set Theory Satisfying the Axiom of Gonstructibility Original Research Article
Pages 514-523
Andrzej Mostowski
Craig's Interpolation Theorem in Some Extended Systems of Logic Original Research Article
Pages 524-540
A. Mostowski
Models of second order arithmetic with definable Skolem functions Original Research Article
Pages 541-552
Andrzej Mostowski
Errata to the paper “Models of second order arithmetic with definable Skolem functions”, Fundamenta Mathematicae 75 (1972), pp. 223–234
Page 553
Andrzej Mostowski
A Transfinite Sequence of П‰-Models Original Research Article
Pages 554-560
Andrzej Mostowski
Partial Orderings of the Family of П‰-Models Original Research Article
Pages 561-576
A. Mostowski
A Contribution To Teratology
Pages 577-589
A Remark on Models of the Gödel-Bernays Axioms for Set Theory Original Research Article
Pages 590-605
Andrzej Mostowski
