Springer Science and Business Media LLC
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
Scott sentences for equivalence structures
Springer Science and Business Media LLC - Tập 59 - Trang 453-460 - 2019
For a computable structure $${\mathcal {A}}$$, if there is a computable infinitary Scott sentence, then the complexity of this sentence gives an upper bound for the complexity of the index set $$I({\mathcal {A}})$$. If we can also show that $$I({\mathcal {A}})$$ is m-complete at that level, then there is a correspondence between the complexity of the index set and the complexity of a Scott sentenc......
On the structure of linearly ordered pseudo-BCK-algebras
Springer Science and Business Media LLC - Tập 48 Số 8 - Trang 771-791 - 2009
Bases of ZF0-models
Springer Science and Business Media LLC - Tập 23 - Trang 11-19 - 1983
In this paper we want to describe the structure of certain ZF0-models (ZF0=ZF minus foundation). For this there will be introduced the notions of a base and a minimal base of a ZF0-model. We shall see, whether the existence of a definable (minimal) base is consistent with various axioms of universality. Necessary and sufficient conditions for the definability of a — minimal — base are given.
Tính đồng nhất của các chứng minh cho tính đồng nhất tuyến tính Dịch bởi AI
Springer Science and Business Media LLC - Tập 47 - Trang 549-565 - 2008
Bài báo này bàn về tính đồng nhất của các chứng minh trong đó xuất hiện một toán tử nhị phân xác định các thuộc tính của tính đồng nhất, bên cạnh phép giao và mệnh đề true hằng số. Các thuộc tính của tính đồng nhất được đề cập là những thuộc tính của quan hệ sắp xếp trước, thuộc tính của quan hệ tương đương và một số thuộc tính khác phù hợp với quan hệ đồng nhất trong logic tuyến tính. Ý tưởng chí......
#tính đồng nhất #chứng minh #quan hệ sắp xếp #logic tuyến tính #thể loại
The cardinal coefficients of the Ideal $${{\mathcal {I}}_{f}}$$
Springer Science and Business Media LLC - Tập 47 - Trang 653-671 - 2008
In 2002, Yorioka introduced the σ-ideal
$${{\mathcal {I}}_f}$$
for strictly increasing functions f from ω into ω to analyze the cofinality of the strong measure zero ideal. For each f, we study the cardinal coefficients (the additivity, covering number, uniformity and cofinality) of
......
Zusammenfassung von Mehreren Vollständigen Induktionen zu einer Einzigen
Springer Science and Business Media LLC - Tập 2 - Trang 1-3 - 1954
Positive logics
Springer Science and Business Media LLC - Tập 62 - Trang 207-223 - 2022
Lindström’s Theorem characterizes first order logic as the maximal logic satisfying the Compactness Theorem and the Downward Löwenheim-Skolem Theorem. If we do not assume that logics are closed under negation, there is an obvious extension of first order logic with the two model theoretic properties mentioned, namely existential second order logic. We show that existential second order logic has a......
Tổng số: 1,244
- 1
- 2
- 3
- 4
- 5
- 6
- 10