In memory of Andrzej Mostowski
From MaRDI portal
Publication:1237769
DOI10.1007/BF02121112zbMath0356.01020MaRDI QIDQ1237769
Publication date: 1977
Published in: Studia Logica (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Die Mathematische Logik auf dem Internationalen Mathematikerkongress in Amsterdam
- On some new metamathematical results concerning set theory
- Undecidable theories
- Examples of sets definable by means of two and three quantifiers
- A formula with no recursively enumerable model
- Contributions to the theory of definable sets and functions
- Models of axiomatic theories admitting automorphisms
- Concerning a problem of H. Scholz
- On computable sequences
- On a generalization of quantifiers
- The classical and the ω-complete arithmetic
- A generalization of the incompleteness theorem
- Axiomatizability of some many valued predicate calculi
- On ω-models which are not β-models
- An Example of a Non‐Axiomatizable Many Valued Logic
- Models of second order arithmetic with definable Skolem functions
- A transfinite sequence of ω-models
- Boolesche Ringe mit geordneter Basis
- Bemerkungen zum Begriff der inhaltlichen Widerspruchsfreiheit
- On absolute properties of relations
- On definable sets of positive integers
- On the principle of dependent choices
- Matrix development of the calculus of relations
- Un théorème sur les nombres cos 2πk/n
- An undecidable arithmetical statement
- Some impredicative definitions in the axiomatic set theory
- On the rules of proof in the pure functional calculus of the first order
- Groups connected with Boolean algebras. (Partial solution of the problem P92)
- Sur un problème de la théorie des groupes et son rapport à la topologie
- On direct products of theories
- Models of axiomatic systems
- On a system of axioms which has no recursively enumerable arithmetic model
- Axiom of choice for finite sets
This page was built for publication: In memory of Andrzej Mostowski
