August 1–12, 1977
Wrocław — Poland
Logic Colloquium '77
European Meeting of the Association for Symbolic Logic
Thirty years before LC 2007, LICS 2007, ICALP 2007, and PPDP 2007
| Home | |
| Overview | |
| Invited lectures | |
| Contributed papers | |
| Registration | |
| Later conferences | |
| And 30 years later: | |
| » | Logic Colloquium 2007 |
| » | LICS 2007 |
| » | ICALP 2007 |
| » | PPDP 2007 |
| » | Satellite workshops |
Contributed papers
- On probability logic
- Cyclic indiscernibles
- Dimension-restricted free cyclic algebras and finitary logic of infinitary relations
- Toward a unified treatment of certain algebraic logics
- Injective Hull = algebraic closure
- The infinite fine spectrum of universal Horn theories
- The theory of Abelian p-groups with the unifier I is decidable
- Rigid Boolean algebras
- Remark on Yu. Gurevich's paper on “The decision problem for standard classes”
- Semantics of intuitionistic connectives
- Effective coloration of countable graphs of finite genus
- Monoids of normal forms
- Can syntax be ignored during translation?
- Invariant logics
- Theories on categories and applications
- Representation of a stochastic process by a space of models and measure extensions to describe subsets of it
- A new proof of the Skolem-Löwenheim theorem
- The not limit points of compact extremally disconnected spaces
- Some applications of topological models to intuitionistic formal theories
- Partitions of infinite products of trees
- Model theoretic properties of graphs of bounded valency
- An elementary theory for free products of groups
- Symmetries on Heyting algebras with operators
- Measure of information of mathematical statements
- On cardinality of ultraproducts
- If there is a trivial ordered differential field, then the prime ideal theorem for Boolean algebras is false
- A finite extension of Zermelo set theory
- Remark on continuum hypotheses
- The decision problem for sentences preserved under relations between structures
- A note on elementary end extension
- Set theory in model theory
- On probability measures for deductive systems: II, III
- A coherence theorem for Cartesian closed categories
- Partitions of sequence spaces
- Arithmetic ultrapowers
- Some remarks about abstract Löweheim-Skolem properties
- A question about model-completeness
- On the problem of recognition of group properties in alphabets with a small number of letters
- Number of countable models
- Ages belordonnés
- Syntax on graphs and extension by definition in elementary topos theory
- Splitting subsets of Pκ(λ)
- Development of first-order theories on graphs
- On a relationship between certain grammars and first-order predicate calculi
- Model theory for an intuitionistic logic
- On the model theory of finite-dimensional algebras
- Pseudo-randomness and constructive probability measures
- A conjecture in embedding theory
- Algorithmic formulas that axiomatize a finite data structure
- Sets in programming
- Gaps and limits under MA
- A note on SO.9
- Construction of models of categorical theories and the problem of finite axiomatizability
- Admissible sets using Lκκ
- Characterizing weak compactness
- The undecidability of the existence of regular extremally disconnected S-spaces
- On some infinite positional games
- Quantification for Peirce's preferred system of triadic logic
- On logic with the Härtig-quantifier
- The history of an error in the theory of representations of relation algebras
- The theory of Boolean algebras in languages with cardinality quantifiers
- Existentially complete strongly regular rings
- Model-complete theories of pseudo-algebraically closed fields
- “Small” universal Post systems
- Self-iterating schemes of ordinal diagrams
References
L. Pacholski, ed., European Meeting of the Association of Symbolic Logic — Wrocław 1977, J. Symbolic Logic 44 (3), Sept. 1979, 441–468.