Copertina

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Coquand, Thierry, Lombardi, Henri, Neuwirth, Stefan
Natura:	Preprint
Pubblicazione:	2017
Soggetti:	Logic History and Overview 03G10, 01A60, 03-03, 03F05, 03F25, 03F65, 06-03, 06A12, 06B25, 06D05, 06E05, 06E10
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Maximal order types for sequences with gap condition
di: Uftring, Patrick
Pubblicazione: (2025)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
di: Knudstorp, Søren Brinck
Pubblicazione: (2025)

Cutsets in ${\mathcal P}(X)$
di: Ginsburg, John, et al.
Pubblicazione: (2025)

Reduced Products of Collapsing Algebras
di: Kurilić, Miloš S.
Pubblicazione: (2024)

Tukey-idempotency and strong p-points
di: Benhamou, Tom, et al.
Pubblicazione: (2025)

Copies of Monomorphic Structures
di: Kurilić, Miloš S.
Pubblicazione: (2023)

Forcing With Copies of Uncountable Ordinals
di: Kurilić, Miloš S.
Pubblicazione: (2023)

The Ordering Principle and Dependent Choice
di: Holy, Peter, et al.
Pubblicazione: (2025)

The Ordering Principle and Higher Dependent Choice
di: Holy, Peter, et al.
Pubblicazione: (2025)

Varieties generated by completions
di: Andréka, H., et al.
Pubblicazione: (2018)

Possibility Semantics
di: Holliday, Wesley H.
Pubblicazione: (2024)

Structural Infinite-Exponent Partition Relations and Weak Choice Principles
di: Gardiner, Lyra A., et al.
Pubblicazione: (2026)

Linear Orders in Presburger Arithmetic
di: Pakhomov, Fedor, et al.
Pubblicazione: (2022)

Algorithmic correspondence and analytic rules
di: De Domenico, Andrea, et al.
Pubblicazione: (2022)

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
di: Incatasciato, Guillermo L., et al.
Pubblicazione: (2024)

Cohen-like first order structures
di: Kostana, Ziemowit
Pubblicazione: (2020)

Diagrams of opposition: an algebraic viewpoint
di: Wu, Chai Wah
Pubblicazione: (2024)

(Extra)ordinary equivalences with the ascending/descending sequence principle
di: Fiori-Carones, Marta, et al.
Pubblicazione: (2021)

Monotone infinitary operations on ordinals (extended version)
di: Lipparini, Paolo
Pubblicazione: (2025)

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
di: Giustarini, Valeria, et al.
Pubblicazione: (2024)

Maximality Principles in Modal Logic and the Axiom of Choice
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Limit Semigroups with 2 Generators
di: Estrada, Felipe, et al.
Pubblicazione: (2025)

Infinite-Exponent Partition Relations on Higher Analogues of the Real Line
di: Gardiner, Lyra A., et al.
Pubblicazione: (2026)

Bourbaki--Zorn Normal Forms for Maximality Arguments
di: Liu, You-Chang
Pubblicazione: (2026)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
di: Fusco, Ludovico, et al.
Pubblicazione: (2025)

Infinite-Exponent Partition Relations on the Real Line
di: Gardiner, Lyra A.
Pubblicazione: (2025)

Untranscendable order types
di: Ervin, Garrett, et al.
Pubblicazione: (2026)

Algebraic structures arising from the finite condensation on linear orders
di: Brown, Jennifer, et al.
Pubblicazione: (2025)

Residuated lattices do not have the amalgamation property
di: Jipsen, Peter, et al.
Pubblicazione: (2025)

Ivanova contact join-semilattices are not finitely axiomatizable
di: Lipparini, Paolo
Pubblicazione: (2023)

The countable condensation on linear orders
di: Brown, Jennifer, et al.
Pubblicazione: (2025)

Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
di: Inamdar, Tanmay, et al.
Pubblicazione: (2024)

Locally Integral Involutive PO-Semigroups
di: Gil-Férez, José, et al.
Pubblicazione: (2023)

Length and ultraproducts
di: Garti, Shimon, et al.
Pubblicazione: (2018)

Interpolation in Hájek's Basic Logic
di: Fussner, Wesley, et al.
Pubblicazione: (2024)

Some questions on entangled linear orders
di: Carroy, Raphaël, et al.
Pubblicazione: (2025)

Representability for distributive quasi relation algebras via nested sums
di: Craig, Andrew, et al.
Pubblicazione: (2025)

Representable distributive quasi relation algebras
di: Craig, Andrew, et al.
Pubblicazione: (2023)

On Nash-Williams' Theorem regarding sequences with finite range
di: Pakhomov, Fedor, et al.
Pubblicazione: (2024)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
di: Knudstorp, Søren Brinck
Pubblicazione: (2025)