Buchumschlag

The calculus of names -- The legacy of Jan Łukasiewicz

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Pietruszczak, Andrzej
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic 03-03 (Primary) 03C55 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Definability over $\mathrm BΣ^0_2$-models
von: Chong, Chi Tat, et al.
Veröffentlicht: (2025)

Building models in small cardinals in local abstract elementary classes
von: Mazari-Armida, Marcos, et al.
Veröffentlicht: (2023)

On Stability and Existence of Models in Abstract Elementary Classes
von: Mazari-Armida, Marcos, et al.
Veröffentlicht: (2024)

Categoricity and amalgamation for AEC and $ κ$ measurable
von: Kolman, Oren, et al.
Veröffentlicht: (1996)

Game semantics for the constructive $μ$-calculus
von: Pacheco, Leonardo
Veröffentlicht: (2023)

Comment to "Almost disjoint sets, the dense set problem and the partition calculus"
von: Pereira, Júnio Luan
Veröffentlicht: (2026)

Different Theories of Parts
von: Pietruszczak, Andrzej
Veröffentlicht: (2024)

More on expressibility of satisfiability in submodels and extensions
von: Poliakov, Nikolai L., et al.
Veröffentlicht: (2026)

On Separating Wholeness Axioms
von: Jeon, Hanul
Veröffentlicht: (2023)

Very large set axioms over constructive set theories
von: Jeon, Hanul, et al.
Veröffentlicht: (2022)

Unthreadability with Small Conditions
von: Levine, Maxwell
Veröffentlicht: (2022)

On Some Infinitary Logics
von: Vaananen, Jouko, et al.
Veröffentlicht: (2024)

Disjoint Stationary Sequences on an Interval of Cardinals
von: Jakob, Hannes
Veröffentlicht: (2023)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
von: Massmann, Jayde Sylvie
Veröffentlicht: (2023)

Proper classes of maximal $θ$-independent families from large cardinals
von: Ryan-Smith, Calliope
Veröffentlicht: (2024)

Sub-sub-intuitionistic logic
von: Deakin, Jonte, et al.
Veröffentlicht: (2024)

Antichain of ordinals in intuitionistic set theory
von: Wang, Shuwei
Veröffentlicht: (2025)

The $κ$-Strongly Proper Forcing Axiom
von: Asperó, David, et al.
Veröffentlicht: (2019)

Clarifying ordinals
von: Schweber, Noah
Veröffentlicht: (2024)

An ordinal analysis of CM and its extensions
von: Wang, Shuwei
Veröffentlicht: (2025)

Critical embeddings
von: Karagila, Asaf, et al.
Veröffentlicht: (2024)

A Topological Rainbow Ramsey Theorem
von: Jakob, Hannes, et al.
Veröffentlicht: (2026)

A new model for all $C$-sequences are trivial
von: Rinot, Assaf, et al.
Veröffentlicht: (2025)

Iterated club shooting and the stationary-logic constructible model
von: Ya'ar, Ur
Veröffentlicht: (2022)

Some notes on plump ordinals
von: Wang, Shuwei
Veröffentlicht: (2026)

Universally Baire sets in $2^κ$
von: Ikegami, Daisuke, et al.
Veröffentlicht: (2024)

Monoidal Symmetric Models
von: Basak, Dianthe
Veröffentlicht: (2024)

Small measurable cardinals
von: Hayut, Yair, et al.
Veröffentlicht: (2022)

On compactness of weak square at singulars of uncountable cofinality
von: Levine, Maxwell
Veröffentlicht: (2022)

A model for global compactness
von: Jirattikansakul, Sittinon, et al.
Veröffentlicht: (2024)

An equiconsistency proof for $\mathrm{CZF} + V = L$
von: Wang, Shuwei
Veröffentlicht: (2026)

Models for short sequences of measures in the cofinality-$ω$ constructible model
von: Ya'ar, Ur
Veröffentlicht: (2021)

$Σ_n$-correct Forcing Axioms
von: Goodman, Ben
Veröffentlicht: (2024)

Broad Infinity and Generation Principles
von: Levy, Paul Blain
Veröffentlicht: (2021)

The first measurable can be the first inaccessible cardinal
von: Gitik, Moti, et al.
Veröffentlicht: (2024)

Increasing the second uniform indiscernible by strongly ssp forcing
von: De Bondt, Ben, et al.
Veröffentlicht: (2022)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
von: Ayhan, Sara
Veröffentlicht: (2023)

An NIP-like Notion in Abstract Elementary Classes
von: Yang, Wentao
Veröffentlicht: (2023)

Long limit models are isomorphic assuming a splitting-like relation
von: Beard, Jeremy
Veröffentlicht: (2025)

Stable formulas in ordered structures
von: Hoffmann, Daniel Max, et al.
Veröffentlicht: (2020)